scientific article; zbMATH DE number 1761415

zbMATH Open0988.03506MaRDI QIDQ4537435FDOQ4537435

Authors: Uwe Petermann 

Publication date: 30 June 2002

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

Recommendations

• What you always wanted to know about rigid \(E\)-unification
• What you always wanted to know about rigid \(E\)-unification
• scientific article; zbMATH DE number 1552529
• scientific article; zbMATH DE number 64168
• Theorem proving with bounded rigid \(E\)-unification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (9)

• Simultaneous rigid E-unification is undecidable
• Title not available (Why is that?)
• Title not available (Why is that?)
• What you always wanted to know about rigid \(E\)-unification
• Superposition-based equality handling for analytic tableaux
• Title not available (Why is that?)
• Cyclic connections
• Connection calculus theorem proving with multiple built-in theories
• The undecidability of simultaneous rigid E-unification

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