scientific article; zbMATH DE number 4114098

MaRDI QIDQ4729409zbMATH OpenFDO

Authors Christoph Walther

Publication date 1989

zbMATH Keywords

resolutionmany-sorted theorem provers

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cited in

(8)

• scientific article; zbMATH DE number 2085285 (Why is no real title available?)
• Soft typing for ordered resolution
• scientific article; zbMATH DE number 67963 (Why is no real title available?)
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• scientific article; zbMATH DE number 3902617 (Why is no real title available?)
• One modification of the ordering strategy in the resolution method
• scientific article; zbMATH DE number 4088975 (Why is no real title available?)
• Stratified resolution

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