A relaxation approach to splitting in an automatic theorem prover
- 31 May 1975
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 6 (1) , 25-39
- https://doi.org/10.1016/0004-3702(75)90014-4
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Plane geometry theorem proving using forward chainingArtificial Intelligence, 1975
- A Human Oriented Logic for Automatic Theorem-ProvingJournal of the ACM, 1974
- Computer proofs of limit theoremsArtificial Intelligence, 1972
- Experiments with a heuristic theorem-proving program for predicate calculus with equalityArtificial Intelligence, 1971
- Splitting and reduction heuristics in automatic theorem provingArtificial Intelligence, 1971
- REF-ARF: A system for solving problems stated as proceduresArtificial Intelligence, 1970
- Efficiency and Completeness of the Set of Support Strategy in Theorem ProvingJournal of the ACM, 1965