scientific article; zbMATH DE number 1418449

zbMATH Open0958.03008MaRDI QIDQ4942004FDOQ4942004

Authors Alexander Leitsch

Publication date 19 March 2001

zbMATH Keywords

automated deductiondecision procedureresolution principledecision problemhyperresolution

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• Resolution decision procedures
• scientific article; zbMATH DE number 19146
• An overview of resolution decision procedures
• Resolution methods for the decision problem
• scientific article; zbMATH DE number 976360

Cited in

(14)

• Principles and Practice of Constraint Programming – CP 2003
• scientific article; zbMATH DE number 4029278 (Why is no real title available?)
• scientific article; zbMATH DE number 4101136 (Why is no real title available?)
• Decision tactics for derivation search in the resolution method
• scientific article; zbMATH DE number 3715502 (Why is no real title available?)
• scientific article; zbMATH DE number 516992 (Why is no real title available?)
• Defining answer classes using resolution refutation
• Resolution theorem proving
• Automated deduction by theory resolution
• Resolution methods for the decision problem
• Resolution decision procedures
• Decision problems and recursiveness in formal logic systems
• From decision problems to dethroned dictators
• An overview of resolution decision procedures

This page was built for publication:

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