Pages that link to "Item:Q1799100"

The following pages link to Efficient encodings of first-order Horn formulas in equational logic (Q1799100):

Displaying 6 items.

• Twee: an equational theorem prover (Q2055894) (← links)
• Ground joinability and connectedness in the superposition calculus (Q2104507) (← links)
• The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
• The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 (Q5145447) (← links)
• The CADE-27 Automated theorem proving System Competition – CASC-27 (Q5145460) (← links)
• The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)