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

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

Namespace Prefixes

PrefixIRI
n30http://www.mathnet.ru/rus/
n33http://isni.org/isni/
n12https://zbmath.org/authors/?q=ai:
dbrhttp://dbpedia.org/resource/
n26http://fr.dbpedia.org/resource/Modèle:
n13http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n17http://viaf.org/viaf/
schemahttp://schema.org/
n23http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n6http://g.co/kg/m/
n29http://ht.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n14http://genealogy.math.ndsu.nodak.edu/
n35https://id.loc.gov/authorities/names/
n31https://scholar.google.com/
xsdhhttp://www.w3.org/2001/XMLSchema#
n25https://dl.acm.org/
dbpedia-ukhttp://uk.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
n34https://dblp.org/pid/l/
n36http://commons.dbpedia.org/resource/Category:
dbpedia-dehttp://de.dbpedia.org/resource/
n19http://www.cs.bu.edu/~lnd/
dbpedia-thhttp://th.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n40https://commons.wikimedia.org/wiki/Category:
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-kohttp://ko.dbpedia.org/resource/
n39http://arz.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Leonid_Levin
rdf:type
wikidata:Q729 dbo:Scientist wikidata:Q5 dbo:Animal n13:NaturalPerson wikidata:Q901 dbo:Person wikidata:Q215627 wikidata:Q19088 foaf:Person owl:Thing dbo:Eukaryote schema:Person dbo:Species
rdfs:label
Левин, Леонид Анатольевич Leonid Levin Leonid Levin Левін Леонід Анатолійович ليونيد ليڤين Leonid Levin
rdfs:comment
Leonid Anatolievich Levin (russe : Леонид Анатольевич Левин, né le 2 novembre 1948 à Dnipropetrovsk, RSS d'Ukraine) est un informaticien et logicien russo-ukraino-américain. Il est connu notamment pour avoir découvert la notion de NP-complétude en même temps que Stephen Cook et pour des résultats renforçant les théorèmes d'incomplétude de Gödel.
rdfs:seeAlso
n12:levin.leonid-a n14:id.php?id=17519 n25:author_page.cfm?id=81332511759 n30:person24873 n31:citations?user=qe_J1w4AAAAJ n33:0000_0000_2761_7298 n40:Leonid_Levin
owl:sameAs
n6:024169 dbpedia-uk:Левін_Леонід_Анатолійович dbpedia-ko:레오니드_레빈 dbpedia-sk:Leonid_Anatolievič_Levin dbpedia-th:เลโอนิด_เลวิน n17:70440154 dbpedia-fa:لیونید_لوین dbr:Leonid_Levin dbpedia-pt:Leonid_Levin n29:Leonid_Levin wikidata:Q92966 dbpedia-ru:Левин,_Леонид_Анатольевич n34:LeonidALevin n35:n87126894 n36:Leonid_Levin dbpedia-de:Leonid_Levin dbpedia-es:Leonid_Levin n39:ليونيد_ليڤين
dbo:birthPlace
dbpedia-fr:République_socialiste_soviétique_d'Ukraine dbpedia-fr:Dnipro
dbo:birthDate
1948-11-02
dbo:wikiPageID
4863459
dbo:wikiPageRevisionID
190302307
dbo:wikiPageWikiLink
category-fr:Docteur_du_Massachusetts_Institute_of_Technology dbpedia-fr:Théorie_de_l'information dbpedia-fr:Jean-Paul_Delahaye category-fr:Personnalité_en_informatique_théorique dbpedia-fr:Problème_de_la_décision dbpedia-fr:Théorème_de_Cook dbpedia-fr:Problèmes_du_prix_du_millénaire dbpedia-fr:République_socialiste_soviétique_d'Ukraine dbpedia-fr:Probabilité_algorithmique dbpedia-fr:Université_de_Boston category-fr:Étudiant_de_l'université_d'État_de_Moscou dbpedia-fr:Stephen_Cook dbpedia-fr:Albert_R._Meyer dbpedia-fr:Andreï_Kolmogorov dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Hasard dbpedia-fr:Problème_P_≟_NP dbpedia-fr:Institut_de_mathématiques_Clay dbpedia-fr:Problème_NP-complet category-fr:Personnalité_américaine_en_informatique category-fr:Logicien dbpedia-fr:Université_d'État_de_Moscou dbpedia-fr:Dnipro category-fr:Naissance_à_Dnipropetrovsk dbpedia-fr:États-Unis category-fr:Lauréat_du_prix_Knuth dbpedia-fr:Algorithme_probabiliste dbpedia-fr:Machine_de_Turing dbpedia-fr:Axiomes_de_Peano dbpedia-fr:Massachusetts_Institute_of_Technology category-fr:Professeur_à_l'université_de_Boston dbpedia-fr:Complexité_en_moyenne_des_algorithmes category-fr:Naissance_en_novembre_1948 dbpedia-fr:Pour_la_science dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel dbpedia-fr:Informatique
dbo:wikiPageExternalLink
n19:
dbo:wikiPageLength
6060
dct:subject
category-fr:Étudiant_de_l'université_d'État_de_Moscou category-fr:Professeur_à_l'université_de_Boston category-fr:Logicien category-fr:Personnalité_en_informatique_théorique category-fr:Personnalité_américaine_en_informatique category-fr:Docteur_du_Massachusetts_Institute_of_Technology category-fr:Naissance_en_novembre_1948 category-fr:Naissance_à_Dnipropetrovsk category-fr:Lauréat_du_prix_Knuth
foaf:name
Leonid Anatolievich Levin
prop-fr:wikiPageUsesTemplate
n26:Références n26:Portail n26:Infobox_Scientifique n26:Date n26:Date- n26:Confusion n26:Homonyme n26:En
prov:wasDerivedFrom
wikipedia-fr:Leonid_Levin?oldid=190302307&ns=0
foaf:depiction
n23:LeonidLevin2010.jpg
prop-fr:dateDeNaissance
1948-11-02
prop-fr:lieuDeNaissance
dbpedia-fr:Dnipro
prop-fr:légende
Leonid Levin en 2010
prop-fr:nom
Leonid Anatolievich Levin
prop-fr:paysDeNaissance
dbpedia-fr:République_socialiste_soviétique_d'Ukraine
prop-fr:renomméPour
dbpedia-fr:Théorème_de_Cook
dbo:thumbnail
n23:LeonidLevin2010.jpg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Leonid_Levin
dbo:employer
dbpedia-fr:Université_de_Boston
dbo:doctoralStudent
wikidata:Q102402462 wikidata:Q102402691 wikidata:Q102157413
dbo:birthYear
1948-01-01
dbo:thumbnailCaption
Leonid Levin en 2010
dbo:abstract
Leonid Anatolievich Levin (russe : Леонид Анатольевич Левин, né le 2 novembre 1948 à Dnipropetrovsk, RSS d'Ukraine) est un informaticien et logicien russo-ukraino-américain. Il est connu notamment pour avoir découvert la notion de NP-complétude en même temps que Stephen Cook et pour des résultats renforçant les théorèmes d'incomplétude de Gödel.
dbo:citizenship
dbpedia-fr:Union_des_républiques_socialistes_soviétiques dbpedia-fr:États-Unis
dbo:award
wikidata:Q28854612 dbpedia-fr:Prix_de_recherche_Humboldt dbpedia-fr:Prix_Donald_E._Knuth
dbo:knownFor
dbpedia-fr:Théorème_de_Cook
dbo:occupation
dbpedia-fr:Mathématicien dbpedia-fr:Informaticien
dbo:discipline
dbpedia-fr:Théorie_des_probabilités wikidata:Q4027615
dbo:almaMater
dbpedia-fr:Massachusetts_Institute_of_Technology wikidata:Q2367115 dbpedia-fr:Université_d'État_de_Moscou
dbo:doctoralAdvisor
dbpedia-fr:Albert_R._Meyer dbpedia-fr:Andreï_Kolmogorov