This HTML5 document contains 46 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n6http://en.wikipedia.org/wiki/Category:
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
clgohttp://caligraph.org/ontology/
n5http://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
clgrhttp://caligraph.org/resource/
Subject Item
clgr:Geoff_Sutcliffe
rdf:type
clgo:1961_birth clgo:Zambian_person_of_English_descent clgo:Australian_expatriate_in_the_United_States clgo:Zambian_emigrant_to_South_Africa owl:NamedIndividual clgo:Australian_computer_scientist clgo:Zambian_emigrant_to_Australia clgo:British_computer_scientist clgo:Logic_programming_researcher clgo:Living_person
rdfs:label
Geoff Sutcliffe
owl:sameAs
dbr:Geoff_Sutcliffe
prov:wasDerivedFrom
n5:List_of_living_people n6:Zambian_people_of_English_descent n6:Australian_computer_scientists n6:British_computer_scientists n6:Lists_of_living_people n6:Living_people n6:Logic_programming_researchers n6:Zambian_emigrants_to_Australia n6:Zambian_emigrants_to_South_Africa n6:1961_births n6:Australian_expatriates_in_the_United_States
skos:prefLabel
Geoff Sutcliffe
clgo:academicDiscipline
clgr:Parallel_computing clgr:Automated_theorem_proving clgr:Distributed_computing clgr:Artificial_intelligence clgr:Computer_science clgr:Logic_programming
clgo:almaMater
clgr:University_of_Natal clgr:University_of_Western_Australia
clgo:birthDate
1961-10-28
clgo:birthPlace
clgr:Zambia clgr:Ndola
clgo:birthYear
1961
clgo:institution
clgr:James_Cook_University clgr:Edith_Cowan_University clgr:University_of_Durban-Westville clgr:University_of_Natal clgr:University_of_Miami
clgo:knownFor
clgr:Thousands_of_Problems_for_Theorem_Provers clgr:CADE_ATP_System_Competition
clgo:nationality
clgr:British_nationality_law clgr:Australians clgr:Australian_nationality_law