Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/CADE_ATP_System_Competition> }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Andrei_Voronkov award CADE_ATP_System_Competition.
- Geoff_Sutcliffe knownFor CADE_ATP_System_Competition.
- CASC wikiPageDisambiguates CADE_ATP_System_Competition.
- Andrei_Voronkov wikiPageWikiLink CADE_ATP_System_Competition.
- Automated_theorem_proving wikiPageWikiLink CADE_ATP_System_Competition.
- CASC wikiPageWikiLink CADE_ATP_System_Competition.
- Competitions_and_prizes_in_artificial_intelligence wikiPageWikiLink CADE_ATP_System_Competition.
- E_theorem_prover wikiPageWikiLink CADE_ATP_System_Competition.
- Geoff_Sutcliffe wikiPageWikiLink CADE_ATP_System_Competition.
- Vampire_(theorem_prover) wikiPageWikiLink CADE_ATP_System_Competition.
- Geoff_Sutcliffe knownFor CADE_ATP_System_Competition.
- CADE_ATP_System_Competition primaryTopic CADE_ATP_System_Competition.