scientific article; zbMATH DE number 4114098

MaRDI QIDQ4729409zbMATH OpenFDO

Authors Christoph Walther

Publication date 1989

zbMATH Keywords

many-sorted theorem proversresolution

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cited in

(9)

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