Implication of clauses is undecidable
- 31 August 1988
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 59 (3), 287-296
- https://doi.org/10.1016/0304-3975(88)90146-6
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Subsumption and implicationInformation Processing Letters, 1987
- Properties of substitutions and unificationsJournal of Symbolic Computation, 1985
- The unsolvability of the Gödel class with identityThe Journal of Symbolic Logic, 1984
- The decision problem for formulas with a small number of atomic subformulasThe Journal of Symbolic Logic, 1973
- Z-Resolution: Theorem-Proving with Compiled AxiomsJournal of the ACM, 1973
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965