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:
LOOPS « loop through « loose bytes « LOP »
lord high fixer » Lore » Lorem ipsum
|
