Paramodulated connection graphs
- 1 January 1980
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 13 (1) , 67-86
- https://doi.org/10.1007/bf00288537
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A Search Technique for Clause Interconnectivity GraphsIEEE Transactions on Computers, 1976
- Refutation graphsArtificial Intelligence, 1976
- Proving Theorems with the Modification MethodSIAM Journal on Computing, 1975
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975
- Maximal Models and Refutation Completeness: Semidecision Procedures in Automatic Theorem ProvingPublished by Elsevier ,1973
- Resolution graphsArtificial Intelligence, 1970
- A Machine-Oriented Logic Based on the Resolution PrinciplePublished by Springer Nature ,1965
- The Word ProblemAnnals of Mathematics, 1959