LOP
A language based on first-order logic. ["SETHEO - A High-Perormance Theorem Prover for First-Order Logic", Reinhold Letz et al, J Automated Reasoning 8(2):183-212 (1992)].Nearby terms:
loop through ♦ loose bytes ♦ LOP ♦ lord high fixer ♦ Lore ♦ Lorem ipsum
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
