Experiments with semantic paramodulation

• 1 January 1985
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 1  (3)
• https://doi.org/10.1007/bf00244271

Abstract

Keywords

• AUTOMATED THEOREM PROVING
• EQUALITY
• HORN SETS
• PARAMODULATION
• SEMANTIC INFERENCE RULES
• SET OF SUPPORT