scientific article; zbMATH DE number 1761415

MaRDI QIDQ4537435zbMATH OpenFDO

Authors Uwe Petermann

Publication date 30 June 2002

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

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

Cited in

(9)

• Simultaneous rigid E-unification is undecidable
• scientific article; zbMATH DE number 1950264 (Why is no real title available?)
• scientific article; zbMATH DE number 64168 (Why is no real title available?)
• What you always wanted to know about rigid \(E\)-unification
• Superposition-based equality handling for analytic tableaux
• scientific article; zbMATH DE number 517084 (Why is no real title available?)
• Cyclic connections
• The undecidability of simultaneous rigid E-unification
• Connection calculus theorem proving with multiple built-in theories

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