From The Free On-line Dictionary of Computing (19 January 2023): 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)].
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)].
