Pages that link to "Item:Q2142076"
From MaRDI portal
The following pages link to AC simplifications and closure redundancies in the superposition calculus (Q2142076):
Displaying 4 items.
- Ground joinability and connectedness in the superposition calculus (Q2104507) (← links)
- AC simplifications and closure redundancies in the superposition calculus (Q2142076) (← links)
- The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)
