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

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

PrefixNamespace IRI
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n6http://dbpedia.org/resource/Palo_Alto,
dchttp://purl.org/dc/elements/1.1/
n8http://dbpedia.org/resource/Constructivism_(mathematics)
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
dbpedia:Grigori_Mints
rdfs:comment
Grigori Mints (June 7, 1939 – May 29, 2014) was a Russian philosopher and mathematician with worked in mathematical logic.He was born in St. Petersburg, Russia, and received his Ph.D. in 1965 from the Leningrad State University under Nikolai Aleksandrovich Shanin with a thesis entitled "On Predicate and Operator Variants for Building Theories of Constructive Mathematics". In 1990 he received his D.Sc.
foaf:name
Grigori Mints Mints, Grigori
dc:description
Russian mathematician
dbpedia-owl:alias
Mints, Grisha
dbpedia-owl:birthDate
1928-12-13Z 1939-06-07Z
dbpedia-owl:birthPlace
dbpedia:Saint_Petersburg dbpedia:Russia
dbpedia-owl:birthYear
1928-01-01Z 1939-01-01Z
dbpedia-owl:deathDate
2014-05-29Z
dbpedia-owl:deathPlace
dbpedia:California n6:_California
dbpedia-owl:deathYear
2014-01-01Z
dbpedia-owl:era
dbpedia:Proof_theory
dbpedia-owl:mainInterest
dbpedia:Foundations_of_mathematics dbpedia:Proof_theory n8:
dbpedia-owl:philosophicalSchool
dbpedia:Proof_theory
dbpedia-owl:region
dbpedia:Mathematical_logic