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

The act of trivializing.

Any fly of the family Phoridae.

(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...