scientific article; zbMATH DE number 1809863

MaRDI QIDQ3150302zbMATH OpenFDO

Authors Bernd Löchner, Th. Hillenbrand

Publication date 30 September 2002

zbMATH Keywords

WALDMEISTER prover

Mathematics Subject Classification ID

Recommendations

• Citius altius fortius: lessons learned from the theorem prover Waldmeister
• scientific article; zbMATH DE number 2090321
• scientific article; zbMATH DE number 3986667
• scientific article; zbMATH DE number 1765681
• System description: E 1.8

Cited in

(13)

• Twee: an equational theorem prover
• AC simplifications and closure redundancies in the superposition calculus
• Efficient instance retrieval with standard and relational path indexing
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Performance of clause selection heuristics for saturation-based theorem proving
• Waldmeister
• scientific article; zbMATH DE number 3986667 (Why is no real title available?)
• scientific article; zbMATH DE number 2090321 (Why is no real title available?)
• Simple and Efficient Clause Subsumption with Feature Vector Indexing
• Citius altius fortius: lessons learned from the theorem prover Waldmeister
• An empirical assessment of progress in automated theorem proving
• Knuth-Bendix completion of theories of commuting group endomorphisms
• Things to know when implementing KBO

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