Pages that link to "Item:Q1820598"
From MaRDI portal
The following pages link to Problem corner: Reasoning about equality (Q1820598):
Displaying 6 items.
- Theorem-proving with resolution and superposition (Q757094) (← links)
- Automated proof of ring commutativity problems by algebraic methods (Q912612) (← links)
- A mechanical solution of Schubert's steamroller by many-sorted resolution (Q1060859) (← links)
- A foray into combinatory logic (Q1098335) (← links)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- Consider only general superpositions in completion procedures (Q5055743) (← links)
