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:
Eric_Hehner
Property
Value
rdf:
type
Formal methods person
owl:
NamedIndividual
1947 birth
Carleton University alumnus
Living person
Canadian computer scientist
Programmer
rdfs:
label
Eric Hehner
owl:
sameAs
dbr:
Eric_Hehner
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:1947_births
http://en.wikipedia.org/wiki/Category:Lists_of_living_people
http://en.wikipedia.org/wiki/Category:Living_people
http://en.wikipedia.org/wiki/List_of_computer_scientists
http://en.wikipedia.org/wiki/List_of_living_people
http://en.wikipedia.org/wiki/Category:Formal_methods_people
http://en.wikipedia.org/wiki/Category:Carleton_University_alumni
http://en.wikipedia.org/wiki/List_of_programmers
http://en.wikipedia.org/wiki/Category:Canadian_computer_scientists
http://en.wikipedia.org/wiki/IFIP_Working_Group_2.1
skos:
prefLabel
Eric Hehner
skos:
altLabel
Eric C.R. Hehner
clgo:
academicDiscipline
Computer science
Computer programming
clgo:
birthDate
1947-09-16
clgo:
birthPlace
Ontario
Ottawa
Canada
clgo:
birthYear
1947
clgo:
citizenship
Canada
clgo:
influenced
Tony Hoare
clgo:
institution
University of Toronto
clgo:
knownFor
Predicative programming
P-adic number
ALGOL
Formal methods
clgo:
nationality
Canadians