Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/19f892c24d40a9bb819a52b9a609fbf58addadafc16b89db297e6a9e9ffb8db0> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 19f892c24d40a9bb819a52b9a609fbf58addadafc16b89db297e6a9e9ffb8db0 first "Geoff".
- 19f892c24d40a9bb819a52b9a609fbf58addadafc16b89db297e6a9e9ffb8db0 isCitedBy CADE_ATP_System_Competition.
- 19f892c24d40a9bb819a52b9a609fbf58addadafc16b89db297e6a9e9ffb8db0 issue "1".
- 19f892c24d40a9bb819a52b9a609fbf58addadafc16b89db297e6a9e9ffb8db0 journal "AI Communications".
- 19f892c24d40a9bb819a52b9a609fbf58addadafc16b89db297e6a9e9ffb8db0 last "Sutcliffe".
- 19f892c24d40a9bb819a52b9a609fbf58addadafc16b89db297e6a9e9ffb8db0 pages "75–89".
- 19f892c24d40a9bb819a52b9a609fbf58addadafc16b89db297e6a9e9ffb8db0 title "The 5th IJCAR Automated Theorem Proving System Competition - CASC-J5".
- 19f892c24d40a9bb819a52b9a609fbf58addadafc16b89db297e6a9e9ffb8db0 volume "24".
- 19f892c24d40a9bb819a52b9a609fbf58addadafc16b89db297e6a9e9ffb8db0 year "2011".