| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthName
| |
| dbo:birthPlace
| |
| dbo:deathDate
| |
| dbo:deathPlace
| |
| dbo:description
|
- United States of America karimba ŋun nyɛ doo (dag)
- matemático estadounidense (es)
- matemáticu estauxunidense (ast)
- Amerikaans wiskundige (nl)
- amerikansk matematiker (sv)
- matamaiticeoir Meiriceánach (ga)
- matematician american (ro)
- 미국 수학자 (ko)
- Ameerika Ühendriikide matemaatik (et)
- Usana matematikisto (io)
- amerikansk matematikar (nn)
- amerikansk matematiker (da)
- matematan Lamerikänik (vo)
- matematiciste american (lfn)
- matematikan amerikan (sq)
- matematikari estatubatuarra (eu)
- matemàtic estatunidenc (ca)
- matemático estadounidense (gl)
- matemático norte-americano (pt)
- mathématicien américain (fr)
- usona matematikisto (eo)
- американский математик (ru)
- מתמטיקאי אמריקאי (iw)
- ریاضیدان آمریکایی (fa)
- মার্কিন গণিতবিদ (bn)
- 美國數學家 (zh)
- matematyk z USA (pl)
- عالم رياضيات أمريكي (ar)
- (1928–2023) amerikai matematikus (hu)
- American mathematician (1928–2023) (en)
- Amerikalı matematikçi (1928 – 2023) (tr)
- amerikanischer Logiker (de)
- matematico statunitense (1928-2023) (it)
|
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:awards
| |
| dbp:birthDate
| |
| dbp:birthName
| |
| dbp:birthPlace
| |
| dbp:caption
| |
| dbp:deathDate
| |
| dbp:deathPlace
|
- Berkeley, California, U.S. (en)
|
| dbp:doctoralAdvisor
| |
| dbp:doctoralStudents
|
- (en)
- Donald W. Loveland (en)
- Moshe Koppel (en)
|
| dbp:id
| |
| dbp:imageSize
| |
| dbp:knownFor
|
- (en)
- DPLL algorithm (en)
- Davis–Putnam algorithm (en)
- Work on Hilbert's tenth problem (en)
|
| dbp:name
| |
| dbp:spouse
|
- 1951 (xsd:integer)
- (en)
- Virginia Whiteford Palmer (en)
|
| dbp:thesisTitle
|
- On the Theory of Recursive Unsolvability (en)
|
| dbp:thesisUrl
| |
| dbp:thesisYear
| |
| dbp:title
|
- Martin Davis: Universality is Ubiquitous (en)
|
| dbp:wikiPageUsesTemplate
| |
| dbp:workplaces
|
- (en)
- New York University (en)
- University of California, Berkeley (en)
- Bell Labs (en)
- RAND Corporation (en)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:label
|
- Martin Davis (mathematician) (en)
- مارتن ديفيس (ar)
- Martin Davis (de)
- Martin Davis (es)
- Martin Davis (fr)
- Martin Davis (disambigua) (it)
- Martin Davis (it)
- Martin Davis (pl)
- Martin Davis (pt)
- Дэвис, Мартин (ru)
- Дэвис, Мартин (математик) (ru)
- Мартін Девіс (uk)
- 马丁·戴维·戴维斯 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralAdvisor
of | |
| is foaf:primaryTopic
of | |
