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:
Jeremy_Avigad
Property
Value
rdf:
type
owl:
NamedIndividual
1968 birth
20th-century American mathematician
21st-century American mathematician
Harvard College alumnus
Living person
Philosopher born in the 20th century
American logician
Philosopher of mathematics
rdfs:
label
Jeremy Avigad
owl:
sameAs
dbr:
Jeremy_Avigad
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:1968_births
http://en.wikipedia.org/wiki/Category:20th-century_American_mathematicians
http://en.wikipedia.org/wiki/Category:21st-century_American_mathematicians
http://en.wikipedia.org/wiki/Category:Harvard_College_alumni
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_living_people
http://en.wikipedia.org/wiki/List_of_philosophers_born_in_the_20th_century
http://en.wikipedia.org/wiki/Category:American_logicians
http://en.wikipedia.org/wiki/Category:Philosophers_of_mathematics
skos:
prefLabel
Jeremy Avigad
skos:
altLabel
Avigad, Jeremy
J. Avigad
clgo:
almaMater
Harvard University
clgo:
birthDate
1968-01-09
clgo:
birthPlace
New York City
clgo:
birthYear
1968
clgo:
era
Contemporary philosophy
clgo:
mainInterest
Proof theory
Logic
Formal verification
Philosophy of mathematics
clgo:
philosophicalSchool
Analytic philosophy
clgo:
region
Western philosophy
is
clgo:
doctoralStudent
of
Jack Silver