Resolution on formula-trees

DOI10.1007/BF02737109MaRDI QIDQ1098648zbMATH OpenOpenAlexWikidataFDO

Authors Ulf R. Schmerl

Publication date 1988

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02737109

zbMATH Keywords

formula-treesnonclausal resolution calculus

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4022664
• scientific article; zbMATH DE number 4039343
• Clause trees: A tool for understanding and implementing resolution in automated reasoning
• A resolution calculus for first-order schemata
• scientific article; zbMATH DE number 5173934

Cites work

• scientific article; zbMATH DE number 3167150 (Why is no real title available?)
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 4039343 (Why is no real title available?)
• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• scientific article; zbMATH DE number 3774914 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• An improved proof procedure1
• Completely non-clausal theorem proving
• Proof theory
• Seventy-five problems for testing automatic theorem provers
• Special relations in automated deduction
• Untersuchungen über das logische Schliessen. I

Cited in

(9)

• scientific article; zbMATH DE number 4106803 (Why is no real title available?)
• Liss — The logic inference search system
• scientific article; zbMATH DE number 4039343 (Why is no real title available?)
• scientific article; zbMATH DE number 2079036 (Why is no real title available?)
• Suprema of open and closed formulas and their application to resolution
• Structural resolution for logic programming
• scientific article; zbMATH DE number 4022664 (Why is no real title available?)
• scientific article; zbMATH DE number 517073 (Why is no real title available?)
• scientific article; zbMATH DE number 1534574 (Why is no real title available?)

This page was built for publication: Resolution on formula-trees

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