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



< Previous Terms Terms Containing LOP Next Terms >
loop fusion
LOOPN
LOOPS
loop through
loose bytes
20-GATE
32-bit application
3Station
6.001
9PAC
lord high fixer
Lore
Lorem ipsum
Lorenz attractor
LORIA