scientific article; zbMATH DE number 4200168

MaRDI QIDQ3348885zbMATH OpenFDO

Authors Tanel Tammet

Publication date 1990

zbMATH Keywords

decidable classesresolution methodresolution programspecial search strategy

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Mechanization of proofs and logical operations (03B35)

Recommendations

• An overview of resolution decision procedures
• scientific article; zbMATH DE number 3904558
• Using resolution for deciding solvable classes and building finite models
• scientific article; zbMATH DE number 1418449
• Publication:3487317

Cited in

(14)

• Condensed detachment is complete for relevance logic: A computer-aided proof
• A method for simultaneous search for refutations and models by equational constraint solving
• Resolution methods for the decision problem
• Deciding the E^+-class by an a posteriori, liftable order
• Deciding the guarded fragments by resolution
• scientific article; zbMATH DE number 4203763 (Why is no real title available?)
• scientific article; zbMATH DE number 4160687 (Why is no real title available?)
• scientific article; zbMATH DE number 4072433 (Why is no real title available?)
• scientific article; zbMATH DE number 2079036 (Why is no real title available?)
• Using resolution for deciding solvable classes and building finite models
• scientific article; zbMATH DE number 2090306 (Why is no real title available?)
• Completeness of Resolution for Definite Answers
• The search efficiency of theorem proving strategies
• Semantic tableaux with ordering restrictions

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 Q3348885)