About: dbpedia-fr:Jean-Louis

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Jean-Louis_Krivine Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdf:type	Thing foaf:Person person schema:Person wikidata:Q19088 wikidata:Q215627 Human wikidata:Q729 dul:NaturalPerson animal eukaryote species
rdfs:label	Jean-Louis Krivine (fr)
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). (fr)
rdfs:seeAlso	http://ci.nii.ac.jp/author/DA01374436 http://isni.org/isni/0000_0001_0924_9003 http://nla.gov.au/anbd.aut-an35429690 https://zbmath.org/authors/?q=ai:krivine.jean-louis http://genealogy.math.ndsu.nodak.edu/id.php?id=74339 http://data.rero.ch/02-A005662272 http://aut.nkp.cz/mub20201064963 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=13113
sameAs	http://data.bnf.fr/ark:/12148/cb12162908k#about https://data.bibliotheken.nl/doc/thes/p074133667 http://www.idref.fr/030156149/id https://d-nb.info/gnd/1158137362 http://viaf.org/viaf/92399890 https://dblp.org/pid/15/5034 https://id.loc.gov/authorities/names/n84804514 wikidata:Q1684974 dbpedia-de:Jean-Louis_Krivine http://g.co/kg/g/1230jvjs https://livedata.bibsys.no/authority/90806215
Wikipage page ID	460458 (xsd:integer)
Wikipage revision ID	189007475 (xsd:integer)
dbo:wikiPageWikiLink	1939 dbpedia-fr:Agrégation_de_mathématiques Alexander Grothendieck category-fr:Agrégé_de_mathématiques category-fr:Logicien_français category-fr:Mathématicien_français_du_XXIe_siècle category-fr:Mathématicien_français_du_XXe_siècle category-fr:Naissance_en_1939 category-fr:Personnalité_en_informatique_théorique category-fr:Personnalité_en_théorie_de_la_démonstration category-fr:Professeur_à_l'université_Paris-VII_(Diderot) category-fr:Théorie_des_types category-fr:Élève_de_l'École_normale_supérieure Curry–Howard correspondence dbpedia-fr:Diplôme_national_de_doctorat_(France) Banach space dbpedia-fr:Forcing France dbpedia-fr:Georg_Kreisel dbpedia-fr:Géométrie_algébrique dbpedia-fr:Institut_de_recherche_en_informatique_fondamentale Jacques Stern dbpedia-fr:Jean-Pierre_Kahane dbpedia-fr:Jean-Yves_Girard Lambda calculus dbpedia-fr:Logique_mathématique Krivine machine dbpedia-fr:Preuves,_Programmes_et_Systèmes dbpedia-fr:Professeur_des_universités dbpedia-fr:Professeur_émérite Richard Kadison dbpedia-fr:Réalisabilité Rewriting dbpedia-fr:Terme_(logique) dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Théorie_des_modèles dbpedia-fr:Ultraproduit Unité mixte de recherche Paris Diderot University École normale supérieure (Paris) dbpedia-fr:Mathématicien
Link from a Wikipage to an external page	http://www.irif.fr/~krivine/ http://cel.archives-ouvertes.fr/cel-00574575/fr/%7Ctexte=Archives http://www.pps.univ-paris-diderot.fr/~krivine/articles/Elements_logic.pdf http://www.pps.univ-paris-diderot.fr/~krivine/articles/Elements_logique.pdf http://www.pps.univ-paris-diderot.fr/~krivine/articles/Lambda.pdf
page length (characters) of wiki page	6913 (xsd:nonNegativeInteger)
dct:subject	category-fr:Agrégé_de_mathématiques category-fr:Logicien_français category-fr:Mathématicien_français_du_XXIe_siècle category-fr:Mathématicien_français_du_XXe_siècle category-fr:Naissance_en_1939 category-fr:Personnalité_en_informatique_théorique category-fr:Personnalité_en_théorie_de_la_démonstration category-fr:Professeur_à_l'université_Paris-VII_(Diderot) category-fr:Théorie_des_types category-fr:Élève_de_l'École_normale_supérieure
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:2e dbpedia-fr:Modèle:Article_connexe dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Infobox_Biographie2 dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 17 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software