DBpedia 2015-10

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Geoff_Sutcliffe> ?p ?o }

Showing triples 1 to 92 of 92 with 100 triples per page.

Geoff_Sutcliffe abstract "Geoff Sutcliffe is a US-based computer scientist working in the field of automated reasoning.He is of both British and Australian nationality.He was born in the former British colony of Northern Rhodesia (now Zambia),grew up in South Africa, and earned his Ph.D. in Australia. He works at the University of Miami.He is the developer of the Thousands of Problems for Theorem Provers (TPTP) problem library, and of the TPTP language for formal specification of Automated theorem proving problems and solutions. Since 1996 he has been organizing the annual CADE ATP System Competition (CASC), associated with the Conference on Automated Deduction and International Joint Conference on Automated Reasoning. He has been a co-organizer of several Automated reasoning challenges, including The Modal Logic $100 Challenge, The MPTP $100 Challenges, and The SUMO $100 Challenges. Together with Stephan Schulz, Sutcliffe founded and has been organizing the ES* Workshop series, a venue for presentation and publishing of practically oriented Automated Reasoning research.".
Geoff_Sutcliffe knownFor CADE_ATP_System_Competition.
Geoff_Sutcliffe knownFor Thousands_of_Problems_for_Theorem_Provers.
Geoff_Sutcliffe nationality Australians.
Geoff_Sutcliffe nationality United_Kingdom.
Geoff_Sutcliffe thumbnail GeoffSutcliffe_LPAR2004_Montevideo.jpg?width=300.
Geoff_Sutcliffe wikiPageExternalLink ~geoff.
Geoff_Sutcliffe wikiPageExternalLink www.tptp.org.
Geoff_Sutcliffe wikiPageExternalLink HHDC.
Geoff_Sutcliffe wikiPageExternalLink MPTPChallenge.
Geoff_Sutcliffe wikiPageExternalLink SUMOChallenge.
Geoff_Sutcliffe wikiPageID "19336649".
Geoff_Sutcliffe wikiPageLength "2498".
Geoff_Sutcliffe wikiPageOutDegree "26".
Geoff_Sutcliffe wikiPageRevisionID "574519239".
Geoff_Sutcliffe wikiPageWikiLink Australia.
Geoff_Sutcliffe wikiPageWikiLink Australian.
Geoff_Sutcliffe wikiPageWikiLink Australians.
Geoff_Sutcliffe wikiPageWikiLink Automated_reasoning.
Geoff_Sutcliffe wikiPageWikiLink Automated_theorem_proving.
Geoff_Sutcliffe wikiPageWikiLink CADE_ATP_System_Competition.
Geoff_Sutcliffe wikiPageWikiLink Category:Australian_expatriates_in_the_United_States.
Geoff_Sutcliffe wikiPageWikiLink Category:Living_people.
Geoff_Sutcliffe wikiPageWikiLink Category:Zambian_emigrants_to_Australia.
Geoff_Sutcliffe wikiPageWikiLink Category:Zambian_emigrants_to_South_Africa.
Geoff_Sutcliffe wikiPageWikiLink Category:Zambian_people_of_British_descent.
Geoff_Sutcliffe wikiPageWikiLink Category:Zambian_people_of_English_descent.
Geoff_Sutcliffe wikiPageWikiLink Computer_scientist.
Geoff_Sutcliffe wikiPageWikiLink Conference_on_Automated_Deduction.
Geoff_Sutcliffe wikiPageWikiLink E_theorem_prover.
Geoff_Sutcliffe wikiPageWikiLink International_Joint_Conference_on_Automated_Reasoning.
Geoff_Sutcliffe wikiPageWikiLink Northern_Rhodesia.
Geoff_Sutcliffe wikiPageWikiLink South_Africa.
Geoff_Sutcliffe wikiPageWikiLink Stephan_Schulz.
Geoff_Sutcliffe wikiPageWikiLink TPTP_language.
Geoff_Sutcliffe wikiPageWikiLink Thousands_of_Problems_for_Theorem_Provers.
Geoff_Sutcliffe wikiPageWikiLink United_Kingdom.
Geoff_Sutcliffe wikiPageWikiLink University_of_Miami.
Geoff_Sutcliffe wikiPageWikiLink Zambia.
Geoff_Sutcliffe wikiPageWikiLinkText "Geoff Sutcliffe".
Geoff_Sutcliffe caption "Geoff Sutcliffe".
Geoff_Sutcliffe field "Computer Technology".
Geoff_Sutcliffe hasPhotoCollection Geoff_Sutcliffe.
Geoff_Sutcliffe imageSize "200".
Geoff_Sutcliffe knownFor CADE_ATP_System_Competition.
Geoff_Sutcliffe knownFor Thousands_of_Problems_for_Theorem_Provers.
Geoff_Sutcliffe name "Geoff Sutcliffe".
Geoff_Sutcliffe name "Sutcliffe, Geoff".
Geoff_Sutcliffe nationality "Australian, British".
Geoff_Sutcliffe residence "USA".
Geoff_Sutcliffe shortDescription "Australian computer scientist".
Geoff_Sutcliffe wikiPageUsesTemplate Template:Infobox_scientist.
Geoff_Sutcliffe wikiPageUsesTemplate Template:Persondata.
Geoff_Sutcliffe wikiPageUsesTemplate Template:Primarysources.
Geoff_Sutcliffe wikiPageUsesTemplate Template:Reflist.
Geoff_Sutcliffe workInstitution University_of_Miami.
Geoff_Sutcliffe description "Australian computer scientist".
Geoff_Sutcliffe description "Australian computer scientist".
Geoff_Sutcliffe subject Category:Australian_expatriates_in_the_United_States.
Geoff_Sutcliffe subject Category:Living_people.
Geoff_Sutcliffe subject Category:Zambian_emigrants_to_Australia.
Geoff_Sutcliffe subject Category:Zambian_emigrants_to_South_Africa.
Geoff_Sutcliffe subject Category:Zambian_people_of_British_descent.
Geoff_Sutcliffe subject Category:Zambian_people_of_English_descent.
Geoff_Sutcliffe hypernym Scientist.
Geoff_Sutcliffe type Agent.
Geoff_Sutcliffe type Article.
Geoff_Sutcliffe type List.
Geoff_Sutcliffe type Person.
Geoff_Sutcliffe type Scientist.
Geoff_Sutcliffe type Article.
Geoff_Sutcliffe type List.
Geoff_Sutcliffe type Person.
Geoff_Sutcliffe type Agent.
Geoff_Sutcliffe type NaturalPerson.
Geoff_Sutcliffe type Thing.
Geoff_Sutcliffe type Q215627.
Geoff_Sutcliffe type Q5.
Geoff_Sutcliffe type Q901.
Geoff_Sutcliffe type Person.
Geoff_Sutcliffe comment "Geoff Sutcliffe is a US-based computer scientist working in the field of automated reasoning.He is of both British and Australian nationality.He was born in the former British colony of Northern Rhodesia (now Zambia),grew up in South Africa, and earned his Ph.D. in Australia.".
Geoff_Sutcliffe label "Geoff Sutcliffe".
Geoff_Sutcliffe sameAs m.04m_v7w.
Geoff_Sutcliffe sameAs Q5534338.
Geoff_Sutcliffe sameAs Q5534338.
Geoff_Sutcliffe wasDerivedFrom Geoff_Sutcliffe?oldid=574519239.
Geoff_Sutcliffe depiction GeoffSutcliffe_LPAR2004_Montevideo.jpg.
Geoff_Sutcliffe givenName "Geoff".
Geoff_Sutcliffe isPrimaryTopicOf Geoff_Sutcliffe.
Geoff_Sutcliffe name "Geoff Sutcliffe".
Geoff_Sutcliffe name "Sutcliffe, Geoff".
Geoff_Sutcliffe surname "Sutcliffe".