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

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

Namespace Prefixes

PrefixIRI
n14http://www.cobiss.si/scripts/
n37http://nla.gov.au/
n51https://dblp.org/pid/d/
n49http://isni.org/isni/
n15http://id.ndl.go.jp/auth/ndlna/
n45http://azb.dbpedia.org/resource/
dbpedia-nohttp://no.dbpedia.org/resource/
n31https://zbmath.org/authors/?q=ai:
n59http://www.idref.fr/031840620/
dbrhttp://dbpedia.org/resource/
n21http://id.worldcat.org/fast/
n30http://www.ams.org/notices/200805/
n22http://fr.dbpedia.org/resource/Modèle:
dbpedia-arhttp://ar.dbpedia.org/resource/
n26http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n41http://viaf.org/viaf/
schemahttp://schema.org/
n39http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
n29http://data.nlg.gr/resource/authority/
n52http://snaccooperative.org/ark:/99166/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n48http://ht.dbpedia.org/resource/
n19http://g.co/kg/m/
n27https://d-nb.info/gnd/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n57https://lira.lanet.lv/
n50http://genealogy.math.ndsu.nodak.edu/
n61http://data.bnf.fr/ark:/12148/cb12298096f#
n40https://id.loc.gov/authorities/names/
xsdhhttp://www.w3.org/2001/XMLSchema#
n47http://fr.dbpedia.org/resource/Modèle:Traduction/
dbpedia-ukhttp://uk.dbpedia.org/resource/
n53https://dl.acm.org/
prop-frhttp://fr.dbpedia.org/property/
n28http://catalogo.share-cat.unina.it/sharecat/
dbohttp://dbpedia.org/ontology/
dbpedia-vihttp://vi.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
n34http://www.bib.ub.edu/fileadmin/autoritats/permanent/
n54http://www-gap.dcs.st-and.ac.uk/~history/Biographies/
n58http://commons.dbpedia.org/resource/Category:
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n35http://www.cs.nyu.edu/cs/faculty/davism/
n38http://aut.nkp.cz/
n64http://www.alicebot.org/articles/wallace/
n42https://commons.wikimedia.org/wiki/Category:
dbpedia-ithttp://it.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n44https://livedata.bibsys.no/authority/
n46http://cantic.bnc.cat/registres/CUCId/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n25http://datos.bne.es/resource/
n36http://arz.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
n43https://data.bibliotheken.nl/doc/thes/
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:Martin_Davis
rdf:type
wikidata:Q215627 wikidata:Q19088 foaf:Person dbo:Scientist wikidata:Q729 wikidata:Q5 owl:Thing dbo:Animal n26:NaturalPerson wikidata:Q901 dbo:Eukaryote dbo:Species dbo:Person schema:Person
rdfs:label
Martin Davis Martin Davis Martin Davis Мартін Девіс Martin Davis 马丁·戴维·戴维斯 Martin Davis (mathematician) Martin Davis
rdfs:comment
Martin Davis, ou Martin David Davis (né en 1928 à New York) est un mathématicien américain connu pour ses travaux sur le dixième problème de Hilbert. Il a obtenu son doctorat de l’Université de Princeton en 1950, sous la direction d'Alonzo Church. Il est professeur émérite de l'université de New York. Il est co-inventeur des algorithmes de Davis-Putnam et DPLL. Il est coauteur, avec Ron Sigal et (en), de l'article Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Calculabilité, complexité et langages, seconde édition : Les fondements de l'informatique théorique), un livre sur la théorie de la calculabilité. Il est aussi connu pour son modèle de (en).
rdfs:seeAlso
n14:cobiss?command=DISPLAY&base=CONOR&rid=46588771 n28:searchNames?n_cluster_id=51851 n31:davis.martin-d n34:a1101319 n37:nla.party-499756 n38:xx0012596 n42:Martin_Davis n46:a1121000x n49:0000_0001_0921_5209 n50:id.php?id=8018 n52:w67h29sz n53:author_page.cfm?id=81100601584 n54:Davis.html n57:F?func=direct&local_base=lnc10&doc_number=000048716
owl:sameAs
dbpedia-vi:Martin_Davis dbpedia-de:Martin_Davis dbpedia-es:Martin_Davis dbpedia-zh:马丁·戴维·戴维斯 dbpedia-pl:Martin_Davis n15:00437365 dbpedia-fa:مارتین_دیویس n19:03syk6 dbpedia-no:Martin_Davis n21:1434449 n25:XX1498790 n27:116040866 n29:record269393 dbpedia-ar:مارتن_ديفيس dbr:Martin_Davis_(mathematician) n36:مارتن_ديفيس n40:n50035603 n41:85381152 n43:p067955827 n44:90594044 n45:مارتین_دیویس n48:Martin_Davis n51:MartinDDavis dbpedia-ru:Дэвис,_Мартин_(математик) wikidata:Q1239172 n58:Martin_Davis n59:id dbpedia-pt:Martin_Davis n61:about dbpedia-uk:Мартін_Девіс dbpedia-it:Martin_Davis
dbo:birthPlace
dbpedia-fr:New_York dbpedia-fr:États-Unis
dbo:birthDate
1928-03-08
dbo:wikiPageID
5900489
dbo:wikiPageRevisionID
189888845
dbo:wikiPageWikiLink
category-fr:Personnalité_américaine_en_informatique dbpedia-fr:Algorithmique dbpedia-fr:Rhode_Island dbpedia-fr:Université_de_New_York dbpedia-fr:Théorie_de_la_calculabilité category-fr:Lauréat_du_prix_Leroy_P._Steele category-fr:Naissance_en_mars_1928 dbpedia-fr:American_Mathematical_Society dbpedia-fr:Professeur_émérite category-fr:Étudiant_de_l'université_de_Princeton dbpedia-fr:New_York dbpedia-fr:États-Unis dbpedia-fr:Dixième_problème_de_Hilbert dbpedia-fr:Łódź category-fr:Mathématicien_américain_du_XXe_siècle dbpedia-fr:Algorithme_de_Davis-Putnam category-fr:Logicien_américain dbpedia-fr:Informatique dbpedia-fr:Pologne dbpedia-fr:Mathématicien dbpedia-fr:Mathématiques dbpedia-fr:Bronx dbpedia-fr:Université_de_Princeton category-fr:Théoricien_des_nombres dbpedia-fr:Providence_(Rhode_Island) dbpedia-fr:Notices_of_the_American_Mathematical_Society dbpedia-fr:Alonzo_Church dbpedia-fr:Algorithme_DPLL
dbo:wikiPageExternalLink
n30:tx080500560p.pdf n35: n64:mathematicians.html
dbo:wikiPageLength
3652
dct:subject
category-fr:Lauréat_du_prix_Leroy_P._Steele category-fr:Naissance_en_mars_1928 category-fr:Personnalité_américaine_en_informatique category-fr:Logicien_américain category-fr:Étudiant_de_l'université_de_Princeton category-fr:Théoricien_des_nombres category-fr:Mathématicien_américain_du_XXe_siècle
foaf:name
Martin Davis
prop-fr:wikiPageUsesTemplate
n22:MathGenealogy n22:Ouvrage n22:Autorité n22:Voir_homonymes n22:Infobox_Scientifique n22:Article n47:Référence n22:Références n22:Portail n22:Date n22:Lien
prov:wasDerivedFrom
wikipedia-fr:Martin_Davis?oldid=189888845&ns=0
foaf:depiction
n39:Martin_Davis.jpg
prop-fr:année
2007 1965
prop-fr:commentaire
Recueil de textes
prop-fr:dateDeNaissance
--03-08
prop-fr:directeur
oui
prop-fr:fr
machines Post-Turing
prop-fr:issn
2
prop-fr:lang
en
prop-fr:langue
en
prop-fr:lieu
dbpedia-fr:Rhode_Island dbpedia-fr:Providence_(Rhode_Island)
prop-fr:lieuDeNaissance
dbpedia-fr:New_York
prop-fr:légende
Photo de George M. Bergman
prop-fr:mois
septembre
prop-fr:nationalité
dbpedia-fr:États-Unis
prop-fr:nom
Martin Davis Davis Jackson
prop-fr:numéro
5
prop-fr:oclc
1480366
prop-fr:passage
560
prop-fr:prénom
Allyn Martin
prop-fr:périodique
dbpedia-fr:Notices_of_the_American_Mathematical_Society
prop-fr:titre
Interview with Martin Davis The Undecidable : Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions
prop-fr:trad
Post–Turing machine
prop-fr:url
n30:tx080500560p.pdf
prop-fr:volume
55
prop-fr:éditeur
Dover Publication dbpedia-fr:American_Mathematical_Society
prop-fr:champs
dbpedia-fr:Algorithmique dbpedia-fr:Mathématiques dbpedia-fr:Informatique
prop-fr:diplôme
dbpedia-fr:Université_de_Princeton
prop-fr:directeurThèse
dbpedia-fr:Alonzo_Church
prop-fr:paysDeNaissance
dbpedia-fr:États-Unis
prop-fr:renomméPour
dbpedia-fr:Algorithme_DPLL dbpedia-fr:Algorithme_de_Davis-Putnam
prop-fr:institutions
dbpedia-fr:Université_de_New_York
dbo:thumbnail
n39:Martin_Davis.jpg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Martin_Davis
dbo:employer
dbpedia-fr:Université_de_New_York
dbo:doctoralStudent
wikidata:Q12409622 wikidata:Q102340930 wikidata:Q102193326 wikidata:Q102166517 wikidata:Q102332329 wikidata:Q102358899 wikidata:Q102188034 wikidata:Q102188032 wikidata:Q102188033 wikidata:Q102188030 wikidata:Q102188031 wikidata:Q102188027 wikidata:Q102188029 wikidata:Q102188019 wikidata:Q102188023 wikidata:Q102157544 wikidata:Q102178396 wikidata:Q5295258 wikidata:Q102192396
dbo:birthYear
1928-01-01
dbo:thumbnailCaption
Photo de George M. Bergman
dbo:abstract
Martin Davis, ou Martin David Davis (né en 1928 à New York) est un mathématicien américain connu pour ses travaux sur le dixième problème de Hilbert. Il a obtenu son doctorat de l’Université de Princeton en 1950, sous la direction d'Alonzo Church. Il est professeur émérite de l'université de New York. Il est co-inventeur des algorithmes de Davis-Putnam et DPLL. Il est coauteur, avec Ron Sigal et (en), de l'article Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Calculabilité, complexité et langages, seconde édition : Les fondements de l'informatique théorique), un livre sur la théorie de la calculabilité. Il est aussi connu pour son modèle de (en).
dbo:citizenship
dbpedia-fr:États-Unis
dbo:award
dbpedia-fr:Prix_Leroy_P._Steele wikidata:Q52382875 dbpedia-fr:Prix_Halmos-Ford wikidata:Q61744980 dbpedia-fr:Prix_Herbrand
dbo:domain
dbpedia-fr:Algorithmique dbpedia-fr:Mathématiques dbpedia-fr:Informatique
dbo:influencedBy
dbpedia-fr:Alonzo_Church
dbo:institution
dbpedia-fr:Université_de_New_York
dbo:knownFor
dbpedia-fr:Algorithme_DPLL dbpedia-fr:Algorithme_de_Davis-Putnam
dbo:nationality
dbpedia-fr:États-Unis
dbo:occupation
dbpedia-fr:Informaticien dbpedia-fr:Mathématicien wikidata:Q1622272
dbo:university
dbpedia-fr:Université_de_Princeton
dbo:discipline
dbpedia-fr:Théorie_des_nombres
dbo:almaMater
dbpedia-fr:Université_de_Princeton
dbo:doctoralAdvisor
dbpedia-fr:Alonzo_Church