Hyper-chaining and knowledge-based theorem proving
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 469-486
- https://doi.org/10.1007/bfb0012850
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The Linked Inference Principle, II: The User’s ViewpointPublished by Springer Nature ,1984
- Variable elimination and chaining in a resolution-based prover for inequalitiesPublished by Springer Nature ,1980
- Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and SetsJournal of the ACM, 1972
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965