Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/CADE_ATP_System_Competition> }
Showing triples 1 to 16 of
16
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.
- CASC isCitedBy CADE_ATP_System_Competition.
- 19f892c24d40a9bb819a52b9a609fbf58addadafc16b89db297e6a9e9ffb8db0 isCitedBy CADE_ATP_System_Competition.
- 9000e0013aff4aa001b67e26cab944a2e48f7b88ea0dcb85609cde55cfe24053 isCitedBy CADE_ATP_System_Competition.
- 98b7faaf719b956c9e4eadaaaa0ecfba88fa70fb01586b50cd2b0019911624cb isCitedBy CADE_ATP_System_Competition.
- Geoff_Sutcliffe knownFor CADE_ATP_System_Competition.
- CADE_ATP_System_Competition primaryTopic CADE_ATP_System_Competition.