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

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

PrefixNamespace IRI
n19http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_D,_E,
n16http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_J,_K,
n20http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_S,_T,_U,
n15http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_G,_H,
n22http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_M,_N,
n14http://caligraph.org/resource/HOL_(proof_assistant)
n23http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_P,_Q,
n27http://caligraph.org/ontology/Alumnus_of_Gonville_and_Caius_College,
n25http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_(health_and_human_sciences)
skoshttp://www.w3.org/2004/02/skos/core#
n13http://en.wikipedia.org/wiki/Category:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n5http://dbpedia.org/resource/Michael_J._C.
n17http://en.wikipedia.org/wiki/Department_of_Computer_Science_and_Technology,
n10http://en.wikipedia.org/wiki/Category:Alumni_of_Gonville_and_Caius_College,
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
clgohttp://caligraph.org/ontology/
n24http://en.wikipedia.org/wiki/School_of_Informatics,
n8http://en.wikipedia.org/wiki/
n2http://caligraph.org/resource/Michael_J._C.
provhttp://www.w3.org/ns/prov#
n21http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_W,_X,_Y,
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_A,_B,
n11http://caligraph.org/resource/Gonville_and_Caius_College,
n12http://en.wikipedia.org/wiki/List_of_alumni_of_Gonville_and_Caius_College,
clgrhttp://caligraph.org/resource/
Subject Item
clgr:Jonathan_Bowen
clgo:influencedBy
n2:_Gordon
Subject Item
clgr:Rod_Burstall
clgo:doctoralStudent
n2:_Gordon
Subject Item
n2:_Gordon
rdf:type
clgo:2017_death clgo:1948_birth owl:NamedIndividual clgo:Alumnus_of_the_University_of_Edinburgh clgo:Formal_methods_person clgo:Person_educated_at_Bedales_School clgo:Person_from_Ripon clgo:English_computer_scientist clgo:Member_of_the_University_of_Cambridge_Computer_Laboratory clgo:Fellow_of_the_Royal_Society_elected_in_1994 n27:_Cambridge
rdfs:label
Michael J. C. Gordon
owl:sameAs
n5:_Gordon
prov:wasDerivedFrom
n8:August_22 n8:Bedales_School n8:Endorsements_in_the_2016_United_Kingdom_European_Union_membership_referendum n10:_Cambridge n8:2014_Toronto_mayoral_election n12:_Cambridge n13:English_computer_scientists n13:People_educated_at_Bedales_School n8:2017_in_the_United_Kingdom n15:_I n8:2008_New_Year_Honours n16:_L n17:_University_of_Cambridge n18:_C n13:1948_births n19:_F n20:_V n13:Members_of_the_University_of_Cambridge_Computer_Laboratory n21:_Z n8:Gordon_Cummins n22:_O n23:_R n13:People_from_Ripon n8:Deaths_in_August_2017 n8:List_of_fellows_of_the_Royal_Society_by_election_year n24:_University_of_Edinburgh n13:Fellows_of_the_Royal_Society n13:Alumni_of_the_University_of_Edinburgh n13:Lists_of_fellows_of_the_Royal_Society_by_year n13:2017_deaths n13:Lists_of_fellows_of_the_Royal_Society n8:Fenway_Sports_Group n13:Formal_methods_people n8:List_of_fellows_of_the_Royal_Society n25: n8:List_of_fellows_of_the_Royal_Society_elected_in_1994
skos:prefLabel
Michael J. C. Gordon
skos:altLabel
Mike Gordon Michael J. C. Gordon#Life Michael Gordon Michael John Caldwell Gordon
clgo:academicDiscipline
clgr:Computer_science
clgo:almaMater
clgr:University_of_Edinburgh n11:_Cambridge
clgo:birthDate
1948-02-28
clgo:birthPlace
clgr:Petersfield clgr:England clgr:Yorkshire clgr:Hampshire clgr:North_Yorkshire clgr:Ripon
clgo:birthYear
1948
clgo:citizenship
clgr:United_Kingdom
clgo:deathDate
2017-08-22
clgo:deathPlace
clgr:Cambridge clgr:England
clgo:deathYear
2017
clgo:doctoralAdvisor
clgr:Rod_Burstall
clgo:education
clgr:Bedales_School
clgo:knownFor
n14:
clgo:nationality
clgr:United_Kingdom
Subject Item
n14:
clgo:designer
n2:_Gordon