scientific article; zbMATH DE number 1765681

MaRDI QIDQ4539621zbMATH OpenFDO

Authors Stephan Schulz

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830370

Mathematics Subject Classification ID

Recommendations

• Automated Reasoning
• System description: E 1.8
• scientific article; zbMATH DE number 1809862
• Extending E prover with similarity based clause selection strategies
• scientific article; zbMATH DE number 2043541

Cited in

(13)

• A rewriting approach to satisfiability procedures.
• Limited resource strategy in resolution theorem proving
• Twee: an equational theorem prover
• E Theorem Prover
• Faster, higher, stronger: E 2.3
• Extending E prover with similarity based clause selection strategies
• System description: E 1.8
• scientific article; zbMATH DE number 1809862 (Why is no real title available?)
• scientific article; zbMATH DE number 1809863 (Why is no real title available?)
• Combinations of Theories for Decidable Fragments of First-Order Logic
• scientific article; zbMATH DE number 2043541 (Why is no real title available?)
• scientific article; zbMATH DE number 1765682 (Why is no real title available?)
• Automated Reasoning

Describes a project that uses

Uses Software

• TPTP

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