SETHEO: A high-performance theorem prover

• 1 April 1992
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 8  (2) , 183-212
• https://doi.org/10.1007/bf00244282

Abstract

Keywords

• THEOREM PROVING
• FIRST-ORDER LOGIC
• PREPROCESSING
• CONNECTION METHOD
• MODEL ELIMINATION
• ABSTRACT MACHINE TECHNOLOGY