Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Martin_Davis> ?p ?o. }
Showing items 1 to 100 of
100
with 100 items per page.
- Martin_Davis abstract "Martin David Davis (born 1928) is an American mathematician, known for his work on Hilbert's tenth problem.".
- Martin_Davis almaMater Princeton_University.
- Martin_Davis birthDate "1928".
- Martin_Davis birthPlace New_York_City.
- Martin_Davis birthYear "1928".
- Martin_Davis doctoralAdvisor Alonzo_Church.
- Martin_Davis knownFor DPLL_algorithm.
- Martin_Davis knownFor Davis%E2%80%93Putnam_algorithm.
- Martin_Davis knownFor Hilbert's_tenth_problem.
- Martin_Davis nationality United_States.
- Martin_Davis thumbnail Martin_Davis.jpg?width=300.
- Martin_Davis viafId "85381152".
- Martin_Davis wikiPageExternalLink davism.
- Martin_Davis wikiPageID "953041".
- Martin_Davis wikiPageRevisionID "600042601".
- Martin_Davis almaMater Princeton_University.
- Martin_Davis birthPlace New_York_City.
- Martin_Davis caption "Photo courtesy George M. Bergman".
- Martin_Davis dateOfBirth "1928".
- Martin_Davis doctoralAdvisor Alonzo_Church.
- Martin_Davis hasPhotoCollection Martin_Davis.
- Martin_Davis imageSize "200".
- Martin_Davis knownFor DPLL_algorithm.
- Martin_Davis knownFor Davis–Putnam_algorithm.
- Martin_Davis knownFor "work on Hilbert's tenth problem".
- Martin_Davis name "Davis, Martin".
- Martin_Davis name "Martin Davis".
- Martin_Davis nationality United_States.
- Martin_Davis placeOfBirth New_York_City.
- Martin_Davis shortDescription "American mathematician".
- Martin_Davis workplaces New_York_University.
- Martin_Davis description "American mathematician".
- Martin_Davis description "American mathematician".
- Martin_Davis subject Category:1928_births.
- Martin_Davis subject Category:20th-century_American_mathematicians.
- Martin_Davis subject Category:American_mathematicians.
- Martin_Davis subject Category:Fellows_of_the_American_Academy_of_Arts_and_Sciences.
- Martin_Davis subject Category:Fellows_of_the_American_Mathematical_Society.
- Martin_Davis subject Category:Institute_for_Advanced_Study_visiting_scholars.
- Martin_Davis subject Category:Living_people.
- Martin_Davis subject Category:Logicians.
- Martin_Davis subject Category:Number_theorists.
- Martin_Davis subject Category:Princeton_University_alumni.
- Martin_Davis type 20th-centuryMathematicians.
- Martin_Davis type Alumnus109786338.
- Martin_Davis type AmericanMathematicians.
- Martin_Davis type CausalAgent100007347.
- Martin_Davis type Expert109617867.
- Martin_Davis type Intellectual109621545.
- Martin_Davis type LivingPeople.
- Martin_Davis type LivingThing100004258.
- Martin_Davis type Logician110269785.
- Martin_Davis type Logicians.
- Martin_Davis type Mathematician110301261.
- Martin_Davis type NumberTheorist110366276.
- Martin_Davis type NumberTheorists.
- Martin_Davis type Object100002684.
- Martin_Davis type Organism100004475.
- Martin_Davis type Person100007846.
- Martin_Davis type PhysicalEntity100001930.
- Martin_Davis type PrincetonUniversityAlumni.
- Martin_Davis type Scholar110557854.
- Martin_Davis type Scientist110560637.
- Martin_Davis type Whole100003553.
- Martin_Davis type YagoLegalActor.
- Martin_Davis type YagoLegalActorGeo.
- Martin_Davis type Agent.
- Martin_Davis type Person.
- Martin_Davis type Scientist.
- Martin_Davis type Person.
- Martin_Davis type Scientist.
- Martin_Davis type Q215627.
- Martin_Davis type Q5.
- Martin_Davis type Agent.
- Martin_Davis type NaturalPerson.
- Martin_Davis type Thing.
- Martin_Davis type Person.
- Martin_Davis comment "Martin David Davis (born 1928) is an American mathematician, known for his work on Hilbert's tenth problem.".
- Martin_Davis label "Martin Davis".
- Martin_Davis label "Martin Davis".
- Martin_Davis label "Martin Davis".
- Martin_Davis label "Martin Davis".
- Martin_Davis label "Martin Davis".
- Martin_Davis label "Martin Davis".
- Martin_Davis sameAs Martin_Davis.
- Martin_Davis sameAs Martin_Davis.
- Martin_Davis sameAs Martin_Davis.
- Martin_Davis sameAs Martin_Davis.
- Martin_Davis sameAs Martin_Davis.
- Martin_Davis sameAs m.03syk6.
- Martin_Davis sameAs Q1239172.
- Martin_Davis sameAs Q1239172.
- Martin_Davis sameAs Martin_Davis.
- Martin_Davis wasDerivedFrom Martin_Davis?oldid=600042601.
- Martin_Davis depiction Martin_Davis.jpg.
- Martin_Davis givenName "Martin".
- Martin_Davis isPrimaryTopicOf Martin_Davis.
- Martin_Davis name "Davis, Martin".
- Martin_Davis name "Martin Davis".
- Martin_Davis surname "Davis".