scientific article; zbMATH DE number 67963

MaRDI QIDQ4013971zbMATH OpenFDO

Authors Christoph Walther

Publication date 27 September 1992

zbMATH Keywords

many-sorted logicmany-sorted unificationmany- sorted paramodulationmany-sorted resolution

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 43237
• scientific article; zbMATH DE number 3902617
• Publication:4729409
• scientific article; zbMATH DE number 4049132
• Completing sort hierarchies

Cited in

(12)

• Completing sort hierarchies
• A First Class Boolean Sort in First-Order Theorem Proving and TPTP
• First-order automated reasoning with theories: when deduction modulo theory meets practice
• scientific article; zbMATH DE number 4114098 (Why is no real title available?)
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• scientific article; zbMATH DE number 4049132 (Why is no real title available?)
• scientific article; zbMATH DE number 217097 (Why is no real title available?)
• Abstract valuation semantics
• scientific article; zbMATH DE number 3902617 (Why is no real title available?)
• Unsorted functional translations
• Bayesian ranking for strategy scheduling in automated theorem provers
• Reasoning with preorders and dynamic sorts using free variable tableaux

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