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

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

Namespace Prefixes

PrefixIRI
n24http://g.co/kg/g/
dbpedia-dehttp://de.dbpedia.org/resource/
n28http://cel.archives-ouvertes.fr/cel-00574575/fr/
n34https://dblp.org/pid/15/
dcthttp://purl.org/dc/terms/
n17http://data.bnf.fr/ark:/12148/cb12162908k#
n21http://catalogo.share-cat.unina.it/sharecat/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n25https://livedata.bibsys.no/authority/
n7http://www.pps.univ-paris-diderot.fr/~krivine/articles/
n18http://www.irif.fr/~krivine/
schemahttp://schema.org/
n33http://ci.nii.ac.jp/author/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n31https://d-nb.info/gnd/
n35http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n29http://isni.org/isni/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n32https://zbmath.org/authors/?q=ai:
n20http://genealogy.math.ndsu.nodak.edu/
n22http://data.rero.ch/
n16http://fr.dbpedia.org/resource/Modèle:
n12http://viaf.org/viaf/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n36http://www.idref.fr/030156149/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n14https://id.loc.gov/authorities/names/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
n26https://data.bibliotheken.nl/doc/thes/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
n30http://aut.nkp.cz/
n27http://nla.gov.au/

Statements

Subject Item
dbpedia-fr:Jean-Louis_Krivine
rdf:type
dbo:Eukaryote dbo:Species schema:Person owl:Thing foaf:Person wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Person n35:NaturalPerson dbo:Animal
rdfs:label
Jean-Louis Krivine
rdfs:comment
Jean-Louis Krivine, né en 1939, est un mathématicien français spécialisé en logique mathématique. Il est ancien élève de l'École normale supérieure de Paris (promotion 1957), agrégé de mathématiques (1960), docteur d'État en mathématiques (1967) sous la direction de Jean-Pierre Kahane, professeur des universités (professeur émérite à l'université Paris-Diderot), membre associé de l'unité mixte de recherche Preuves, Programmes et Systèmes, maintenant partie de l'Institut de recherche en informatique fondamentale (IRIF).
rdfs:seeAlso
n20:id.php?id=74339 n21:searchNames?n_cluster_id=13113 n22:02-A005662272 n27:anbd.aut-an35429690 n29:0000_0001_0924_9003 n30:mub20201064963 n32:krivine.jean-louis n33:DA01374436
owl:sameAs
n12:92399890 wikidata:Q1684974 n14:n84804514 dbpedia-de:Jean-Louis_Krivine n17:about n24:1230jvjs n25:90806215 n26:p074133667 n31:1158137362 n34:5034 n36:id
dbo:wikiPageID
460458
dbo:wikiPageRevisionID
189007475
dbo:wikiPageWikiLink
dbpedia-fr:Preuves,_Programmes_et_Systèmes category-fr:Personnalité_en_théorie_de_la_démonstration dbpedia-fr:France dbpedia-fr:Réalisabilité dbpedia-fr:Ultraproduit dbpedia-fr:Réécriture_(informatique) dbpedia-fr:Jean-Pierre_Kahane dbpedia-fr:Forcing dbpedia-fr:Jean-Yves_Girard dbpedia-fr:Alexandre_Grothendieck dbpedia-fr:Machine_de_Krivine dbpedia-fr:Logique_mathématique category-fr:Personnalité_en_informatique_théorique dbpedia-fr:Université_Paris-Diderot dbpedia-fr:Théorie_des_modèles dbpedia-fr:Agrégation_de_mathématiques dbpedia-fr:Georg_Kreisel dbpedia-fr:École_normale_supérieure_(Paris) category-fr:Élève_de_l'École_normale_supérieure dbpedia-fr:Terme_(logique) dbpedia-fr:Mathématicien dbpedia-fr:Lambda-calcul dbpedia-fr:Institut_de_recherche_en_informatique_fondamentale dbpedia-fr:Correspondance_de_Curry-Howard dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Espace_de_Banach dbpedia-fr:Professeur_émérite dbpedia-fr:Richard_Kadison category-fr:Mathématicien_français_du_XXe_siècle dbpedia-fr:1939 category-fr:Mathématicien_français_du_XXIe_siècle dbpedia-fr:Professeur_des_universités dbpedia-fr:Unité_mixte_de_recherche category-fr:Professeur_à_l'université_Paris-VII_(Diderot) dbpedia-fr:Jacques_Stern_(cryptologue) category-fr:Naissance_en_1939 category-fr:Logicien_français dbpedia-fr:Diplôme_national_de_doctorat_(France) category-fr:Théorie_des_types category-fr:Agrégé_de_mathématiques dbpedia-fr:Géométrie_algébrique
dbo:wikiPageExternalLink
n7:Elements_logic.pdf n7:Elements_logique.pdf n7:Lambda.pdf n18: n28:%7Ctexte=Archives
dbo:wikiPageLength
6913
dct:subject
category-fr:Logicien_français category-fr:Élève_de_l'École_normale_supérieure category-fr:Mathématicien_français_du_XXe_siècle category-fr:Mathématicien_français_du_XXIe_siècle category-fr:Théorie_des_types category-fr:Naissance_en_1939 category-fr:Professeur_à_l'université_Paris-VII_(Diderot) category-fr:Personnalité_en_informatique_théorique category-fr:Personnalité_en_théorie_de_la_démonstration category-fr:Agrégé_de_mathématiques
prop-fr:wikiPageUsesTemplate
n16:Ouvrage n16:Ébauche n16:2e n16:Autorité n16:Voir_homonymes n16:Bases_recherche n16:Article_connexe n16:, n16:Portail n16:Infobox_Biographie2 n16:Références n16:Lire_en_ligne
prov:wasDerivedFrom
wikipedia-fr:Jean-Louis_Krivine?oldid=189007475&ns=0
prop-fr:année
2007
prop-fr:annéePremièreÉdition
1998
prop-fr:collection
Nouvelle bibliothèque mathématique
prop-fr:isbn
978
prop-fr:lieu
Paris
prop-fr:pagesTotales
271
prop-fr:titre
Théorie des ensembles
prop-fr:éditeur
Cassini
prop-fr:numéroD'édition
2
prop-fr:maître
-
prop-fr:intituléÉlève
Anciens élèves
prop-fr:élève
Jean-Yves Girard, Daniel Lascar, Jacques Stern et Serge Grigorieff
foaf:isPrimaryTopicOf
wikipedia-fr:Jean-Louis_Krivine
dbo:employer
dbpedia-fr:Institut_de_recherche_en_informatique_fondamentale
dbo:doctoralStudent
dbpedia-fr:Jean-Yves_Girard dbpedia-fr:Élisabeth_Bouscaren wikidata:Q102123643 wikidata:Q102413057 wikidata:Q102124231 dbpedia-fr:Jacques_Stern_(cryptologue) wikidata:Q102304595
dbo:abstract
Jean-Louis Krivine, né en 1939, est un mathématicien français spécialisé en logique mathématique. Il est ancien élève de l'École normale supérieure de Paris (promotion 1957), agrégé de mathématiques (1960), docteur d'État en mathématiques (1967) sous la direction de Jean-Pierre Kahane, professeur des universités (professeur émérite à l'université Paris-Diderot), membre associé de l'unité mixte de recherche Preuves, Programmes et Systèmes, maintenant partie de l'Institut de recherche en informatique fondamentale (IRIF).
dbo:citizenship
dbpedia-fr:France
dbo:occupation
dbpedia-fr:Mathématicien
dbo:almaMater
dbpedia-fr:Université_de_Paris_(1896-1970) dbpedia-fr:École_normale_supérieure_(Paris)
dbo:doctoralAdvisor
dbpedia-fr:Jean-Pierre_Kahane