Pages that link to "Item:Q40345"

The following pages link to MadMax (Q40345):

Displaying 4 items.

• Twee: an equational theorem prover (Q2055894) (← links)
• Ground joinability and connectedness in the superposition calculus (Q2104507) (← links)
• AC simplifications and closure redundancies in the superposition calculus (Q2142076) (← links)
• Certified equational reasoning via ordered completion (Q2305436) (← links)