Experimental tests of resolution-based theorem-proving strategies

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)

Mathematics Subject Classification ID

Pattern recognition, speech recognition (68T10) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

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