An implementation of hyper-resolution
- 1 June 1975
- journal article
- Published by Elsevier in Computers & Mathematics with Applications
- Vol. 1 (2) , 201-214
- https://doi.org/10.1016/0898-1221(75)90019-x
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A New Class of Automated Theorem-Proving AlgorithmsJournal of the ACM, 1974
- The Concept of Demodulation in Theorem ProvingJournal of the ACM, 1967
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965