Pages that link to "Item:Q2055894"
From MaRDI portal
The following pages link to Twee: an equational theorem prover (Q2055894):
Displaying 5 items.
- Twee: an equational theorem prover (Q2055894) (← links)
- Ground joinability and connectedness in the superposition calculus (Q2104507) (← links)
- Guiding an automated theorem prover with neural rewriting (Q2104548) (← links)
- AC simplifications and closure redundancies in the superposition calculus (Q2142076) (← links)
- The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
