RRTP - A Replacement Rule Theorem Prover

• 1 January 1997
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 18  (2) , 221-226
• https://doi.org/10.1023/a:1005847700447

Abstract

Keywords

• AUTOMATED THEOREM PROVING
• COMPETITION
• RRTP
• REPLACEMENT
• INSTANCE BASED THEOREM PROVER
• PROPOSITIONAL CALCULUS DECISION PROCEDURE