Ordered paramodulation and resolution as decision procedure
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 122-133
- https://doi.org/10.1007/3-540-56944-8_47
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Superposition with simplification as a decision procedure for the monadic class with equalityPublished by Springer Nature ,2005
- Removing redundancy from a clauseArtificial Intelligence, 1993
- Resolution Methods for the Decision ProblemPublished by Springer Nature ,1993
- Proving refutational completeness of theorem-proving strategiesJournal of the ACM, 1991
- Machine Models and SimulationsPublished by Elsevier ,1990
- Resolution Strategies as Decision ProceduresJournal of the ACM, 1976