(historical) The period of Egyptian history from the end of the Old Kingdom to the start of the Middle Kingdom (comprising the Seventh/Eighth, Ninth, Tenth, and early Eleventh dynasties), character...

The act of trivializing.

Any fly of the family Phoridae.

(mathematics, logic) A decision problem of finding a way to decide whether a formula is true or provable within a given system.