scientific article; zbMATH DE number 1543303

MaRDI QIDQ4520770zbMATH OpenFDO

Authors Frieder Stolzenburg

Publication date 27 February 2001

Full work available at URL http://www.jucs.org/jucs_5_3/loop_detection_in_hyper

zbMATH Keywords

algebra systemautomated reasoning systemsintegrates computermodel generationtableau-based theorem proving

Mathematics Subject Classification ID

Recommendations

• Hyper tableaux
• HyperS tableaux -- heuristic hyper tableaux
• scientific article; zbMATH DE number 1189096
• Hyper Tableaux with Equality
• scientific article; zbMATH DE number 5661162

Cited in

(2)

• Towards a unified model of search in theorem-proving: subgoal-reduction strategies
• A probabilistic model revealing shortcomings in Lua's hybrid tables

Describes a project that uses

Uses Software

• SCOTT

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