scientific article; zbMATH DE number 4114098

zbMATH Open0679.68175MaRDI QIDQ4729409FDOQ4729409

Authors: Christoph Walther 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 43237
• scientific article; zbMATH DE number 3902617
• scientific article; zbMATH DE number 67963
• scientific article; zbMATH DE number 217097
• scientific article; zbMATH DE number 4088975

zbMATH Keywords

resolutionmany-sorted theorem provers

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cited In (8)

• Stratified resolution
• One modification of the ordering strategy in the resolution method
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)