scientific article; zbMATH DE number 1765683

zbMATH Open0988.68589MaRDI QIDQ4539623FDOQ4539623

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

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

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

Mathematics Subject Classification ID

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
• Title not available (Why is that?)
• DCTP
• 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

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)