article Open AccessTop 10% cited
A machine program for theorem-proving
Communications of the ACM · 1962 · Vol. 5(7) · pp. 394–397
Martin Davis✉(Courant Institute of Mathematical Sciences)George Logemann(New York University)Donald Loveland(New York University)
Abstract
The programming of a proof procedure is discussed in connection with trial runs and possible improvements.
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in VerificationComputer scienceAutomated theorem provingProgramming languageCalculus (dental)
Citations
3,154
FWCI
9.02
field-weighted impact
References
4
Percentile
97%
vs. same field & year
Citations per year
Citation Network
How this paper connects to the literature. Drag to explore, click any node to open that paper.