Matches in DBpedia 2014 for { <http://dbpedia.org/resource/CADE_ATP_System_Competition> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- CADE_ATP_System_Competition abstract "The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical first order logic. CASC is associated with the Conference on Automated Deduction and the International Joint Conference on Automated Reasoning organized by the Association for Automated Reasoning.The first CASC, CASC-13, was held as part of the 13th Conference on Automated Deduction at Rutgers University, New Brunswick, NJ, in 1996.".
- CADE_ATP_System_Competition wikiPageExternalLink CASC.
- CADE_ATP_System_Competition wikiPageID "19906973".
- CADE_ATP_System_Competition wikiPageRevisionID "545477834".
- CADE_ATP_System_Competition hasPhotoCollection CADE_ATP_System_Competition.
- CADE_ATP_System_Competition subject Category:Computer_science_competitions.
- CADE_ATP_System_Competition type Abstraction100002137.
- CADE_ATP_System_Competition type ComputerScienceCompetitions.
- CADE_ATP_System_Competition type Contest107456188.
- CADE_ATP_System_Competition type Event100029378.
- CADE_ATP_System_Competition type PsychologicalFeature100023100.
- CADE_ATP_System_Competition type SocialEvent107288639.
- CADE_ATP_System_Competition type YagoPermanentlyLocatedEntity.
- CADE_ATP_System_Competition comment "The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical first order logic. CASC is associated with the Conference on Automated Deduction and the International Joint Conference on Automated Reasoning organized by the Association for Automated Reasoning.The first CASC, CASC-13, was held as part of the 13th Conference on Automated Deduction at Rutgers University, New Brunswick, NJ, in 1996.".
- CADE_ATP_System_Competition label "CADE ATP System Competition".
- CADE_ATP_System_Competition label "CADE ATP System Competition".
- CADE_ATP_System_Competition sameAs CADE_ATP_System_Competition.
- CADE_ATP_System_Competition sameAs m.04q7frt.
- CADE_ATP_System_Competition sameAs Q5008555.
- CADE_ATP_System_Competition sameAs Q5008555.
- CADE_ATP_System_Competition sameAs CADE_ATP_System_Competition.
- CADE_ATP_System_Competition wasDerivedFrom CADE_ATP_System_Competition?oldid=545477834.
- CADE_ATP_System_Competition isPrimaryTopicOf CADE_ATP_System_Competition.