Erratum: “Mechanical theorem-proving by model elimination”
Abstract
No abstract available.
Reference
[1]
DONALD W. LOVELAND, "Mechanical Theorem-Proving by Model Elimination," J . ACM 15, 2 (Apr. 1968), 236-251.
Index Terms
- Erratum: “Mechanical theorem-proving by model elimination”
Recommendations
Theorem Proving Modulo
AbstractDeduction modulo is a way to remove computational arguments from proofs by reasoning modulo a congruence on propositions. Such a technique, issued from automated theorem proving, is of general interest because it permits one to separate ...
Comments
Information & Contributors
Information
Published In
![cover image Journal of the ACM](/cms/asset/a2112c16-d703-43c7-891e-d159a575b59e/default_cover.jpg)
Copyright © 1969 ACM.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 October 1969
Published in JACM Volume 16, Issue 4
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 436Total Downloads
- Downloads (Last 12 months)20
- Downloads (Last 6 weeks)7
Reflects downloads up to 11 Aug 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in