scientific article; zbMATH DE number 5074301

MaRDI QIDQ3409868zbMATH OpenFDO

Authors Irena Atanasova

Publication date 20 November 2006

zbMATH Keywords

resolutionSkolemizationtableau system

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Recommendations

• scientific article; zbMATH DE number 3972241
• scientific article; zbMATH DE number 417877
• Automated deduction by theory resolution
• scientific article; zbMATH DE number 89224
• Automated deduction in Gödel logic
• scientific article; zbMATH DE number 4037276
• Automatic proving with disjunctive proving methods
• Automated deduction for many-valued logics
• scientific article; zbMATH DE number 2100042

Cited in

(1)

• scientific article; zbMATH DE number 3972241 (Why is no real title available?)

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