Mechanical Theorem-Proving by Model Elimination
Work
Year: 1968
Type: article
Abstract: A proof procedure based on a theorem of Herbrand and utilizing the matching technique of Prawitz is presented. In general, Herbrand-type proof procedures proceed by generating over increasing numbers ... more
Source: Journal of the ACM
Author Donald W. Loveland
Institutions Carnegie Mellon University, New York University
Cites: 7
Cited by: 197
Related to: 10
FWCI: 6.925
Citation percentile (by year/subfield): 98.21
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze