scientific article; zbMATH DE number 1765683

MaRDI QIDQ4539623zbMATH OpenFDO

Authors Reinhold Letz, Gernot Stenz

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830381

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1950272
• Proof and model generation with disconnection tableaux
• The disconnection tableau calculus
• Automated Reasoning with Analytic Tableaux and Related Methods
• Universal variables in disconnection tableaux

Cited in

(12)

• Automated Reasoning with Analytic Tableaux and Related Methods
• The Relative Power of Semantics and Unification
• Semantically-guided goal-sensitive reasoning: inference system and completeness
• Semantically-guided goal-sensitive reasoning: model representation
• The disconnection tableau calculus
• DCTP
• scientific article; zbMATH DE number 1950272 (Why is no real title available?)
• Proof and model generation with disconnection tableaux
• Universal variables in disconnection tableaux
• Towards a unified model of search in theorem-proving: subgoal-reduction strategies
• History and prospects for first-order automated deduction
• A relevance restriction strategy for automated deduction

Describes a project that uses

Uses Software

• SETHEO

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