scientific article

zbMATH Open0745.68096MaRDI QIDQ4012183

Axel Präcklein, Christoph Lingenfelder

Publication date: 27 September 1992

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

zbMATH Keywords

equational reasoningresolutionParamodulationextended refutation graphs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Rewrite method for theorem proving in first order theory with equality 👍 👎
• Transforming equality logic to propositional logic 👍 👎
• Inductive proofs by specification transformations 👍 👎
• Automated Deduction – CADE-20 👍 👎
• Proof Transformations and Structural Invariance 👍 👎
• Towards a Proof-Theoretic Semantics of Equalities 👍 👎

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