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 |
annual
|
https://www.w3.org/2000/01/rdf-schema#label |
CADE ATP System Competition
|
gptkbp:organizedBy |
gptkb:CADE_conference
|
gptkbp:startYear |
1996
|
gptkbp:website |
http://www.tptp.org/CASC/
|
gptkbp:bfsParent |
gptkb:Conference_on_Automated_Deduction
|
gptkbp:bfsLayer |
6
|