scientific article; zbMATH DE number 2219496

MaRDI QIDQ5698235zbMATH OpenFDO

Authors Jigui Sun, Xia Wu, Sha-Sha Feng

Publication date 27 October 2005

zbMATH Keywords

equalityfirst-order logichyper tableau calculussuperposition

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Hyper Tableaux with Equality
• The hyper tableaux calculus with equality and an application to finite model computation
• scientific article; zbMATH DE number 1950258
• Superposition-based equality handling for analytic tableaux
• Hyper tableaux

Cited in

(7)

• Equality reasoning in sequent-based calculi
• The hyper tableaux calculus with equality and an application to finite model computation
• Hyper Tableaux with Equality
• scientific article; zbMATH DE number 1189096 (Why is no real title available?)
• scientific article; zbMATH DE number 1841823 (Why is no real title available?)
• Superposition-based equality handling for analytic tableaux
• Connection tableaux with lazy paramodulation

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