CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgr:
Tim_Denvir
Property
Value
rdf:
type
International Computers Limited person
Formal methods person
Academic of City, University of London
owl:
NamedIndividual
1939 birth
Alumnus of Trinity College, Cambridge
British software engineer
Living person
Scientist
Academic of Brunel University London
rdfs:
label
Tim Denvir
owl:
sameAs
dbr:
Tim_Denvir
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:International_Computers_Limited_people
http://en.wikipedia.org/wiki/Category:1939_births
http://en.wikipedia.org/wiki/Category:Alumni_of_Trinity_College,_Cambridge
http://en.wikipedia.org/wiki/Category:British_software_engineers
http://en.wikipedia.org/wiki/Category:Lists_of_living_people
http://en.wikipedia.org/wiki/Category:Lists_of_scientists
http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_award
http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_field
http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_membership
http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_nationality
http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_religion
http://en.wikipedia.org/wiki/Category:Living_people
http://en.wikipedia.org/wiki/Category:Naturalists_by_century
http://en.wikipedia.org/wiki/Category:Scientists
http://en.wikipedia.org/wiki/Category:Scientists_by_century
http://en.wikipedia.org/wiki/Category:Scientists_by_century_and_nationality
http://en.wikipedia.org/wiki/Category:Scientists_by_city
http://en.wikipedia.org/wiki/Category:Scientists_by_continent
http://en.wikipedia.org/wiki/Category:Scientists_by_country_and_city
http://en.wikipedia.org/wiki/Category:Scientists_by_ethnicity
http://en.wikipedia.org/wiki/Category:Scientists_by_field
http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_continent
http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_nationality
http://en.wikipedia.org/wiki/Category:Scientists_by_institution
http://en.wikipedia.org/wiki/Category:Scientists_by_nationality
http://en.wikipedia.org/wiki/Category:Scientists_by_nationality_and_century
http://en.wikipedia.org/wiki/Category:Scientists_by_period
http://en.wikipedia.org/wiki/Category:Scientists_by_religion
http://en.wikipedia.org/wiki/List_of_alumni_of_Trinity_College,_Cambridge
http://en.wikipedia.org/wiki/List_of_living_people
http://en.wikipedia.org/wiki/Category:Formal_methods_people
http://en.wikipedia.org/wiki/Category:Academics_of_Brunel_University_London
http://en.wikipedia.org/wiki/Category:Academics_of_City,_University_of_London
skos:
prefLabel
Tim Denvir
clgo:
academicDiscipline
Computer science
clgo:
almaMater
Trinity College, Cambridge
clgo:
award
Standard Telecommunication Laboratories
clgo:
birthPlace
London
clgo:
birthYear
1939
clgo:
citizenship
United Kingdom
clgo:
institution
Brunel University London
clgo:
knownFor
Formal methods
Software engineering
is
clgo:
keyPerson
of
BCS-FACS