Pages that link to "Item:Q5145427"

The following pages link to The CADE-26 automated theorem proving system competition – CASC-26 (Q5145427):

Displaying 2 items.

• The 10th IJCAR automated theorem proving system competition – CASC-J10 (Q5019796) (← links)
• The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 (Q5145447) (← links)