Experimental tests of resolution-based theorem-proving strategies

DOI10.1016/S0020-0255(76)90698-8MaRDI QIDQ1230669zbMATH OpenFDO

Authors J. Dennis Lawrence, J. Denbigh Starkey

Publication date 1976

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0020-0255(76)90698-8

Mathematics Subject Classification ID

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

Cites work

• A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
• A Machine-Oriented Logic Based on the Resolution Principle
• Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
• Experimental tests of resolution-based theorem-proving strategies
• scientific article; zbMATH DE number 3219316 (Why is no real title available?)
• scientific article; zbMATH DE number 3254919 (Why is no real title available?)
• scientific article; zbMATH DE number 3273551 (Why is no real title available?)
• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• scientific article; zbMATH DE number 3313862 (Why is no real title available?)
• scientific article; zbMATH DE number 3320385 (Why is no real title available?)
• scientific article; zbMATH DE number 3420251 (Why is no real title available?)
• scientific article; zbMATH DE number 3190627 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Resolution With Merging
• Theorem-Proving for Computers: Some Results on Resolution and Renaming
• Two Results on Ordering for Resolution with Merging and Linear Format

Cited in

(2)

• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• Experimental tests of resolution-based theorem-proving strategies

This page was built for publication: Experimental tests of resolution-based theorem-proving strategies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1230669)