Experimental tests of resolution-based theorem-proving strategies
From MaRDI portal
Publication:1230669
DOI10.1016/S0020-0255(76)90698-8zbMath0338.68065MaRDI QIDQ1230669
J. Dennis Lawrence, J. Denbigh Starkey
Publication date: 1976
Published in: Information Sciences (Search for Journal in Brave)
68T10: Pattern recognition, speech recognition
68N01: General topics in the theory of software
68W99: Algorithms in computer science
Related Items
A Prolog technology theorem prover: Implementation by an extended Prolog compiler, Experimental tests of resolution-based theorem-proving strategies
Cites Work
- Experimental tests of resolution-based theorem-proving strategies
- Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
- A Machine-Oriented Logic Based on the Resolution Principle
- Theorem-Proving for Computers: Some Results on Resolution and Renaming
- Resolution With Merging
- A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
- Two Results on Ordering for Resolution with Merging and Linear Format
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item