scientific article; zbMATH DE number 1552524

zbMATH Open0977.68076MaRDI QIDQ4524784FDOQ4524784

Authors: Peter Baumgartner, Ulrich Furbach 

Publication date: 29 July 2001

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

Recommendations

• Hyper tableaux
• scientific article; zbMATH DE number 1748583
• scientific article; zbMATH DE number 1841823
• scientific article; zbMATH DE number 1088202
• Proof and model generation with disconnection tableaux

zbMATH Keywords

proof theoryautomated theorem provingtableau calculusconnection tableauxrestart model elimination

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (10)

• Set of support, demodulation, paramodulation: a historical perspective
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantically-guided goal-sensitive reasoning: model representation
• Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards a unified model of search in theorem-proving: subgoal-reduction strategies
• Model elimination and connection tableau procedures
• Hyper 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 Q4524784)