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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
n12https://dblp.org/pid/g/
dbohttp://dbpedia.org/ontology/
n32https://www.era.lib.ed.ac.uk/handle/1842/
foafhttp://xmlns.com/foaf/0.1/
n7http://www4.wiwiss.fu-berlin.de/dblp/resource/person/
n28https://global.dbpedia.org/id/
umbel-rchttp://umbel.org/umbel/rc/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n31http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n29http://www.cl.cam.ac.uk/users/mjcg/
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-simplehttp://simple.dbpedia.org/resource/
n14http://viaf.org/viaf/
n13http://commons.wikimedia.org/wiki/Special:FilePath/
n33http://www.w3.org/2006/03/wn/wn20/instances/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n26http://data.bibliotheken.nl/id/thes/
n23http://d-nb.info/gnd/

Statements

Subject Item
dbr:Michael_J._C._Gordon
rdf:type
dbo:Person yago:Intellectual109621545 yago:Scholar110557854 yago:LivingThing100004258 yago:WikicatAlumniOfGonvilleAndCaiusCollege,Cambridge wikidata:Q729 yago:PhysicalEntity100001930 schema:Person umbel-rc:Scientist yago:WikicatEnglishComputerScientists dbo:Eukaryote foaf:Person wikidata:Q901 yago:WikicatFellowsOfTheRoyalSociety yago:YagoLegalActor yago:YagoLegalActorGeo yago:Colleague109935990 yago:Alumnus109786338 owl:Thing yago:Scientist110560637 wikidata:Q19088 yago:WikicatPeopleFromRipon yago:Associate109816771 wikidata:Q215627 yago:CausalAgent100007347 yago:ComputerUser109951274 dbo:Scientist yago:ComputerScientist109951070 yago:Peer109626238 dbo:Species yago:Person100007846 n31:NaturalPerson yago:WikicatFormalMethodsPeople yago:Organism100004475 yago:Object100002684 yago:Whole100003553 yago:WikicatAlumniOfTheUniversityOfEdinburgh wikidata:Q5 yago:WikicatLivingPeople dbo:Animal
rdfs:label
Michael John Caldwell Gordon ميخائيل جاي س. غوردون Michael J. C. Gordon
rdfs:comment
ميخائيل جاي س. غوردون (بالإنجليزية: Michael J. C. Gordon)‏ هو عالم حاسوب ومهندس بريطاني، ولد في 28 فبراير 1948 في ريبون في المملكة المتحدة، وتوفي في 22 أغسطس 2017 في كامبريدج في المملكة المتحدة بسبب سرطان البنكرياس. Michael John Caldwell Gordon FRS (28 February 1948 – 22 August 2017) was a British computer scientist. Michael John Caldwell Gordon (Ripon, Yorkshire, Inglaterra, 28 de fevereiro de 1948) é um cientista da computação britânico.
foaf:name
Michael J. C. Gordon
dbp:name
Michael J. C. Gordon
foaf:depiction
n13:ProfessorMichaelJCGordon.jpg
dbo:birthPlace
dbr:England dbr:Yorkshire dbr:Ripon
dbo:deathPlace
dbr:Cambridge dbr:England
dbp:deathPlace
Cambridge, England
dbo:deathDate
2017-08-22
dbp:birthPlace
Ripon, Yorkshire, England
dbo:birthDate
1948-02-28
dcterms:subject
dbc:People_from_Ripon dbc:Members_of_the_University_of_Cambridge_Computer_Laboratory dbc:People_educated_at_Bedales_School dbc:2017_deaths dbc:Alumni_of_the_University_of_Edinburgh dbc:English_computer_scientists dbc:Alumni_of_Gonville_and_Caius_College,_Cambridge dbc:Fellows_of_the_Royal_Society dbc:Formal_methods_people dbc:1948_births
dbo:wikiPageID
2669026
dbo:wikiPageRevisionID
1109891290
dbo:wikiPageWikiLink
dbr:Ripon dbr:Rod_Burstall dbr:Professor dbc:People_from_Ripon dbc:Members_of_the_University_of_Cambridge_Computer_Laboratory dbr:Fellow_of_the_Royal_Society dbr:Engineering dbr:John_McCarthy_(computer_scientist) dbr:Computer_scientist dbr:Theorem_proving dbr:Gonville_and_Caius_College,_Cambridge dbr:PhD_degree dbc:2017_deaths dbr:Stanford_University dbr:University_of_Cambridge dbc:Alumni_of_the_University_of_Edinburgh dbr:Higher-order_logic dbc:People_educated_at_Bedales_School dbc:English_computer_scientists dbr:California dbr:Cambridge_University_Computer_Laboratory dbr:National_Physical_Laboratory_(United_Kingdom) dbr:Computer_Science dbc:Fellows_of_the_Royal_Society dbr:Robin_Milner dbc:Alumni_of_Gonville_and_Caius_College,_Cambridge dbr:Cambridge dbr:Mathematics dbc:Formal_methods_people dbr:ML_(programming_language) dbr:Dartington_Hall_School dbc:1948_births dbr:England dbr:Reader_(academic_rank) dbr:London dbr:Yorkshire dbr:Bedales_School dbr:Avra_Cohn dbr:LISP dbr:Stanford_Artificial_Intelligence_Laboratory dbr:University_of_Edinburgh dbr:HOL_theorem_prover
dbo:wikiPageExternalLink
n29: n32:6654
owl:sameAs
wikidata:Q6831376 n7:108258 n12:MichaelJCGordon dbpedia-pt:Michael_John_Caldwell_Gordon n14:93782851 freebase:m.07wq57 n23:134262557 yago-res:Michael_J._C._Gordon n26:p073708569 dbpedia-simple:Michael_J._C._Gordon n28:4rt41 dbpedia-ar:ميخائيل_جاي_س._غوردون
dbp:thesisTitle
Evaluation and denotation of pure LISP programs: a worked example in semantics
dbp:thesisUrl
n32:6654
dbp:thesisYear
1973
dbp:workInstitution
dbr:Stanford_University dbr:University_of_Cambridge
dbp:wikiPageUsesTemplate
dbt:FRS_1994 dbt:Use_British_English dbt:Use_dmy_dates dbt:Birth_date dbt:Authority_control dbt:Reflist dbt:Short_description dbt:Infobox_scientist dbt:Death_date_and_age
dbo:thumbnail
n13:ProfessorMichaelJCGordon.jpg?width=300
dbp:almaMater
dbr:University_of_Edinburgh dbr:Gonville_and_Caius_College,_Cambridge
dbp:birthDate
1948-02-28
dbp:deathDate
2017-08-22
dbp:field
dbr:Computer_Science
dbp:imageSize
200
dbp:knownFor
dbr:HOL_theorem_prover
dbo:abstract
Michael John Caldwell Gordon (Ripon, Yorkshire, Inglaterra, 28 de fevereiro de 1948) é um cientista da computação britânico. ميخائيل جاي س. غوردون (بالإنجليزية: Michael J. C. Gordon)‏ هو عالم حاسوب ومهندس بريطاني، ولد في 28 فبراير 1948 في ريبون في المملكة المتحدة، وتوفي في 22 أغسطس 2017 في كامبريدج في المملكة المتحدة بسبب سرطان البنكرياس. Michael John Caldwell Gordon FRS (28 February 1948 – 22 August 2017) was a British computer scientist.
dbp:doctoralAdvisor
dbr:Rod_Burstall
dbo:doctoralAdvisor
dbr:Rod_Burstall
gold:hypernym
dbr:Gordon
schema:sameAs
n14:93782851
dbp:wordnet_type
n33:synset-scientist-noun-1
prov:wasDerivedFrom
wikipedia-en:Michael_J._C._Gordon?oldid=1109891290&ns=0
dbo:wikiPageLength
7048
dbo:academicDiscipline
dbr:Computer_Science
dbo:almaMater
dbr:Gonville_and_Caius_College,_Cambridge dbr:University_of_Edinburgh
dbo:knownFor
dbr:HOL_theorem_prover
foaf:isPrimaryTopicOf
wikipedia-en:Michael_J._C._Gordon