Pages that link to "Item:Q6488518"

The following pages link to A theorem prover for a computational logic (Q6488518):

Displaying 4 items.

• Fermat, Euler, Wilson -- three case studies in number theory (Q1707601) (← links)
• Induction using term orders (Q1915132) (← links)
• Combining induction and saturation-based theorem proving (Q2303240) (← links)
• A mechanical proof of the Church-Rosser theorem (Q3801105) (← links)