HyperS tableaux -- heuristic hyper tableaux

MaRDI QIDQ5475621zbMATH OpenFDO

Authors Gergely Kovásznai

Publication date 27 June 2006

zbMATH Keywords

HyperS tableauxtheorem proving in first-order logic

Mathematics Subject Classification ID

Recommendations

• Hyper tableaux
• scientific article; zbMATH DE number 1189096
• scientific article; zbMATH DE number 1552522
• Hyper Tableaux with Equality
• The hyper tableaux calculus with equality and an application to finite model computation

Cited in

(6)

• scientific article; zbMATH DE number 1189096 (Why is no real title available?)
• Sofia
• scientific article; zbMATH DE number 1301855 (Why is no real title available?)
• scientific article; zbMATH DE number 1543303 (Why is no real title available?)
• scientific article; zbMATH DE number 2099381 (Why is no real title available?)
• Hyper tableaux

This page was built for publication: HyperS tableaux -- heuristic hyper tableaux

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5475621)