many-sorted predicate calculus
many-sorted predicate calculus (many-sorted first-order logic) See predicate calculus.
More From encyclopedia.com
sorting , sorting Rearranging information into ascending or descending order by means of sortkeys. Sorting may be useful in three ways: to identify and count a… Consort , con·sort1 • n. / ˈkänˌsôrt/ a wife, husband, or companion, in particular the spouse of a reigning monarch. ∎ a ship sailing in company with another.… Patterned Ground , patterned ground An assemblage of small-scale, geometric features typically found at the surface of a regolith that has been disturbed by frost actio… Contourites , contourites Sediments that have been deposited by contour currents on the continental rise. The sediments are thinbedded silts, sands, and muds. The… Sortilege , Sortilege
Divination by lots, one of the most ancient and common superstitions. It was used among Oriental nations to detect a guilty person, as when… Muet, Pierre Le , Muet, Pierre Le (1591–1669). French architect and writer, his most important work was Manière de bastir pour toutes sortes de personnes (Manner of Bu…
About this article
many-sorted predicate calculus
You Might Also Like
NEARBY TERMS
many-sorted predicate calculus