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)

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

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)