Pages that link to "Item:Q1272605"

The following pages link to Christian Suttner (Q1272605):

Displaying 12 items.

• The CADE-14 ATP system competition (Q1272606) (← links)
• The TPTP problem library. CNF release v1. 2. 1 (Q1272614) (← links)
• SPS-parallelism+SETHEO=SPTHEO (Q1284705) (← links)
• Evaluating general purpose automated theorem proving systems (Q1606324) (← links)
• The IJCAR ATP system competition (Q1610672) (← links)
• (Q3150299) (← links)
• (Q3979280) (← links)
• (Q4524776) (← links)
• The design of the CADE-13 ATP system competition (Q4647509) (← links)
• The TPTP problem library (Q5210777) (← links)
• Automated Reasoning (Q5307082) (← links)
• (Q5486135) (← links)