MædMax: a maximal ordered completion tool

DOI10.1007/978-3-319-94205-6_31OpenAlexW2810893545MaRDI QIDQ1799107

Georg Moser, Sarah Winkler

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94205-6_31

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (7)

Automatically Proving and Disproving Feasibility Conditions ⋮ AC simplifications and closure redundancies in the superposition calculus ⋮ Twee: an equational theorem prover ⋮ Certified equational reasoning via ordered completion ⋮ Extending Maximal Completion (Invited Talk) ⋮ MadMax ⋮ Ground joinability and connectedness in the superposition calculus

Uses Software

• VAMPIRE
• TPTP
• E Theorem Prover

This page was built for publication: MædMax: a maximal ordered completion tool