Pages that link to "Item:Q1799107"
From MaRDI portal
The following pages link to MædMax: a maximal ordered completion tool (Q1799107):
Displaying 7 items.
- MadMax (Q40345) (← links)
- 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)
- Automatically Proving and Disproving Feasibility Conditions (Q5049020) (← links)
- Extending Maximal Completion (Invited Talk) (Q5089002) (← links)
