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 |
