Pages that link to "Item:Q1404987"
From MaRDI portal
The following pages link to On using ground joinable equations in equational theorem proving (Q1404987):
Displaying 8 items.
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← 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)
- Citius altius fortius (Q4916218) (← links)
- Implementing Superposition in iProver (System Description) (Q5049017) (← links)
- Extending Maximal Completion (Invited Talk) (Q5089002) (← links)
