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

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

PrefixNamespace IRI
n8http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(I%E2%80%93Q)
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n4http://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/
n13http://en.wikipedia.org/wiki/School_of_Informatics,
n10http://caligraph.org/resource/BCS,
n6http://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:Michael_Fourman
rdf:type
clgo:Formal_methods_person clgo:Academic_of_the_University_of_Edinburgh clgo:Fellow_of_the_British_Computer_Society clgo:British_computer_scientist owl:NamedIndividual clgo:Alumnus_of_the_University_of_Oxford clgo:Alumnus_of_the_University_of_Bristol clgo:1950_birth clgo:21st-century_British_mathematician clgo:British_blogger clgo:Academic_of_Brunel_University_London clgo:20th-century_British_mathematician clgo:Living_person clgo:University_of_Edinburgh_people clgo:British_logician
rdfs:label
Michael Fourman
owl:sameAs
dbr:Michael_Fourman
prov:wasDerivedFrom
n4:1950_births n6:Open_Rights_Group n4:British_bloggers n6:List_of_logicians n8: n4:Living_people n4:Fellows_of_the_British_Computer_Society n6:List_of_living_people n4:Alumni_of_the_University_of_Bristol n4:British_computer_scientists n4:Alumni_of_the_University_of_Oxford_by_college n4:Alumni_of_the_University_of_Oxford n4:Lists_of_living_people n6:List_of_University_of_Edinburgh_people n4:20th-century_British_mathematicians n4:British_logicians n4:Formal_methods_people n4:Academics_of_Brunel_University_London n13:_University_of_Edinburgh n4:Academics_of_the_University_of_Edinburgh n4:21st-century_British_mathematicians
skos:prefLabel
Michael Fourman
clgo:academicDiscipline
clgr:Logic clgr:Computer_science clgr:Computer_scientist
clgo:almaMater
clgr:University_of_Bristol clgr:University_of_Oxford
clgo:award
n10:_The_Chartered_Institute_for_IT
clgo:birthDate
1950-09-12
clgo:birthPlace
clgr:London clgr:Oxford clgr:Edinburgh
clgo:birthYear
1950
clgo:doctoralAdvisor
clgr:Dana_Scott clgr:Robin_Gandy
clgo:institution
clgr:Brunel_University_London
clgo:residence
clgr:Scotland
Subject Item
clgr:Dana_Scott
clgo:doctoralStudent
clgr:Michael_Fourman