Analytic resolution in theorem proving

DOI10.1016/0004-3702(76)90010-2MaRDI QIDQ1233325zbMATH OpenOpenAlexFDO

Authors Daniel Brand

Publication date 1976

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(76)90010-2

Mathematics Subject Classification ID

Cites work

• 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 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3310921 (Why is no real title available?)
• scientific article; zbMATH DE number 3313862 (Why is no real title available?)
• scientific article; zbMATH DE number 3346109 (Why is no real title available?)
• scientific article; zbMATH DE number 3407196 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• An Implementation of the Model Elimination Proof Procedure
• Proving Theorems with the Modification Method
• The Concept of Demodulation in Theorem Proving

This page was built for publication: Analytic resolution in theorem proving

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