Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/CADE_ATP_System_Competition> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples 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 wikiPageLength "1331".
- CADE_ATP_System_Competition wikiPageOutDegree "8".
- CADE_ATP_System_Competition wikiPageRevisionID "545477834".
- CADE_ATP_System_Competition wikiPageWikiLink Association_for_Automated_Reasoning.
- CADE_ATP_System_Competition wikiPageWikiLink Automated_theorem_proving.
- CADE_ATP_System_Competition wikiPageWikiLink Category:Computer_science_competitions.
- CADE_ATP_System_Competition wikiPageWikiLink Conference_on_Automated_Deduction.
- CADE_ATP_System_Competition wikiPageWikiLink First-order_logic.
- CADE_ATP_System_Competition wikiPageWikiLink Geoff_Sutcliffe.
- CADE_ATP_System_Competition wikiPageWikiLink International_Joint_Conference_on_Automated_Reasoning.
- CADE_ATP_System_Competition wikiPageWikiLink Rutgers_University.
- CADE_ATP_System_Competition wikiPageWikiLinkText "CADE ATP System Competition".
- CADE_ATP_System_Competition wikiPageWikiLinkText "CASC".
- CADE_ATP_System_Competition wikiPageUsesTemplate Template:Cite_journal.
- CADE_ATP_System_Competition wikiPageUsesTemplate Template:Cite_web.
- CADE_ATP_System_Competition wikiPageUsesTemplate Template:Compsci-stub.
- CADE_ATP_System_Competition wikiPageUsesTemplate Template:Reflist.
- CADE_ATP_System_Competition subject Category:Computer_science_competitions.
- CADE_ATP_System_Competition hypernym Competition.
- CADE_ATP_System_Competition type Award.
- CADE_ATP_System_Competition type Competition.
- CADE_ATP_System_Competition type Event.
- CADE_ATP_System_Competition type SoccerTournament.
- CADE_ATP_System_Competition type Award.
- CADE_ATP_System_Competition type Competition.
- CADE_ATP_System_Competition type Event.
- CADE_ATP_System_Competition type Organization.
- CADE_ATP_System_Competition type Organization.
- 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 sameAs Q5008555.
- 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 wasDerivedFrom CADE_ATP_System_Competition?oldid=545477834.
- CADE_ATP_System_Competition isPrimaryTopicOf CADE_ATP_System_Competition.