Pages that link to "Item:Q1799100"

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

Displaying 3 items.

• Twee: an equational theorem prover (Q2055894) (← links)
• Ground joinability and connectedness in the superposition calculus (Q2104507) (← links)
• The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)