MadMax

MaRDI QIDQ40345swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-319-94205-6_31

Described by source

• MædMax: a maximal ordered completion tool

Cited in

(7)

• AC simplifications and closure redundancies in the superposition calculus
• ConCon
• Twee
• Twee: an equational theorem prover
• Jukebox
• Ground joinability and connectedness in the superposition calculus
• Certified equational reasoning via ordered completion

This page was built for software: MadMax