Concepedia

J. A. Robinson. Automatic deduction with hyper-resolution. International journal of computer mathematics, vol. 1 no. 3 (1965), pp. 227–234.

Journal of Symbolic Logic · 1974 · 191 citations · 6 references

Concepts

ComputingComputer ScienceMathematicsAlgorithmsLogicTheory Of ComputationAlgebraic ProofAutomated ReasoningDeductive ReasoningPredicate LogicTheorem ProvingAutomated Theorem ProvingAutomated Theorem Proving In AlgebraAutomatic Theorem ProvingFormal Proof SystemsMathematics In Computer ScienceResolutions

Abstract

An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.

References

6

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +15

A Proof Method for Quantification Theory: Its Justification and Realization

Paul C. Gilmore · IBM Journal of Research and Development · 1960 · 159 citations

Computing, Computer Science, Mathematics +14

The unit preference strategy in theorem proving

L. Wos, Daniel F. Carson, George Robinson · 1964 · 123 citations · Full text

Computing, Computer Science, Mathematics +10

Theorem-Proving on the Computer

John A. Robinson · Journal of the ACM · 1963 · 78 citations · Full text

Humanities, Computer Science, Philosophy +5