Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:football
|
| gptkbp:alsoKnownAs |
gptkb:CASC
|
| gptkbp:field |
automated theorem proving
|
| gptkbp:focus |
automated theorem proving systems
|
| gptkbp:frequency |
gptkb:annual
|
| gptkbp:organizedBy |
gptkb:CADE_conference
|
| gptkbp:startYear |
1996
|
| gptkbp:website |
http://www.tptp.org/CASC/
|
| gptkbp:bfsParent |
gptkb:Conference_on_Automated_Deduction
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
CADE ATP System Competition
|