Matches in DBpedia 2016-04 for { <http://www.cs.miami.edu/~tptp/CASC/> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- CASC accessdate "2008-10-23".
- CASC accessdate "2009-03-24".
- CASC accessdate "2012-05-16".
- CASC author Geoff_Sutcliffe.
- CASC first "Geoff".
- CASC isCitedBy CADE_ATP_System_Competition.
- CASC isCitedBy E_theorem_prover.
- CASC isCitedBy Tanel_Tammet.
- CASC last "Sutcliffe".
- CASC publisher "University of Miami".
- CASC title "The CADE ATP System Competition".
- CASC url "http://www.cs.miami.edu/~tptp/CASC/".
- CASC work "CADE".