Automatic Theorem Proving With Renamable and Semantic Resolution

A Machine-Oriented Logic Based on the Resolution Principle

1965 • 3,880 citations

A Computing Procedure for Quantification Theory

1960 • 2,592 citations

Computers and Thought

1963 • 931 citations

Programs with common sense

1960 • 841 citations

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

1965 • 308 citations

Realization of a Geometry-Theorem Proving Machine

1983 • 224 citations

Empirical explorations of the logic theory machine

1957 • 223 citations

The unit preference strategy in theorem proving

1964 • 121 citations

Experiments with a deductive question-answering program

1965 • 68 citations

Theorem-Proving for Computers: Some Results on Resolution and Renaming

1966 • 59 citations

Empirical explorations of the geometry theorem machine

1960 • 55 citations

A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus.

1959 • 16 citations