Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
Data up to Jan 2025
Total Citations Per Year
Abstract
References (18)
A Machine-Oriented Logic Based on the Resolution Principle
1965 • 3,880 citations
A Computing Procedure for Quantification Theory
1960 • 2,592 citations
An Introduction to Mathematical Logic
2005 • 1,818 citations
Programs with common sense
1960 • 841 citations
Introduction to Mathematical Logic
1987 • 553 citations
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
1965 • 308 citations
Automatic Theorem Proving With Renamable and Semantic Resolution
1967 • 171 citations
A Proof Method for Quantification Theory: Its Justification and Realization
1960 • 159 citations
Artificial intelligence : the heuristic programming approach
1971 • 145 citations
The unit preference strategy in theorem proving
1964 • 121 citations
The use of theorem-proving techniques in question-answering systems
1968 • 118 citations
A review of automatic theorem-proving
1967 • 53 citations
Maximal Models and Refutation Completeness: Semidecision Procedures in Automatic Theorem Proving
1983 • 37 citations
Completeness results for e-resolution
1970 • 34 citations
An Interactive Theorem-Proving Program
1983 • 33 citations
Interpolation Theorems for Resolution in Lower Predicate Calculus
1970 • 26 citations
Renamable paramodulation for automatic theorem proving with equality
1970 • 13 citations
Theorem provers as question answerers
1969 • 4 citations