Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Martin_Davis> ?p ?o }
- 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–Putnam_algorithm.
- Martin_Davis knownFor Hilberts_tenth_problem.
- Martin_Davis nationality United_States.
- Martin_Davis thumbnail Martin_Davis.jpg?width=300.
- Martin_Davis wikiPageExternalLink citation.cfm?id=601168.
- Martin_Davis wikiPageExternalLink mathematicians.html.
- Martin_Davis wikiPageExternalLink davism.
- Martin_Davis wikiPageID "953041".
- Martin_Davis wikiPageLength "5602".
- Martin_Davis wikiPageOutDegree "44".
- Martin_Davis wikiPageRevisionID "682654435".
- Martin_Davis wikiPageWikiLink Alonzo_Church.
- Martin_Davis wikiPageWikiLink American_Academy_of_Arts_and_Sciences.
- Martin_Davis wikiPageWikiLink American_Mathematical_Society.
- Martin_Davis wikiPageWikiLink Bronx.
- Martin_Davis wikiPageWikiLink Category:1928_births.
- Martin_Davis wikiPageWikiLink Category:20th-century_American_mathematicians.
- Martin_Davis wikiPageWikiLink Category:21st-century_American_mathematicians.
- Martin_Davis wikiPageWikiLink Category:Fellows_of_the_American_Academy_of_Arts_and_Sciences.
- Martin_Davis wikiPageWikiLink Category:Fellows_of_the_American_Mathematical_Society.
- Martin_Davis wikiPageWikiLink Category:Institute_for_Advanced_Study_visiting_scholars.
- Martin_Davis wikiPageWikiLink Category:Living_people.
- Martin_Davis wikiPageWikiLink Category:Logicians.
- Martin_Davis wikiPageWikiLink Category:New_York_University_faculty.
- Martin_Davis wikiPageWikiLink Category:Number_theorists.
- Martin_Davis wikiPageWikiLink Category:Princeton_University_alumni.
- Martin_Davis wikiPageWikiLink Chauvenet_Prize.
- Martin_Davis wikiPageWikiLink Criticism_of_non-standard_analysis.
- Martin_Davis wikiPageWikiLink DPLL_algorithm.
- Martin_Davis wikiPageWikiLink Davis–Putnam_algorithm.
- Martin_Davis wikiPageWikiLink Fellow.
- Martin_Davis wikiPageWikiLink Halting_problem.
- Martin_Davis wikiPageWikiLink Hilberts_tenth_problem.
- Martin_Davis wikiPageWikiLink Influence_of_non-standard_analysis.
- Martin_Davis wikiPageWikiLink Leroy_P._Steele_Prize.
- Martin_Davis wikiPageWikiLink Lester_R._Ford.
- Martin_Davis wikiPageWikiLink Mathematician.
- Martin_Davis wikiPageWikiLink New_York_City.
- Martin_Davis wikiPageWikiLink New_York_University.
- Martin_Davis wikiPageWikiLink Poland.
- Martin_Davis wikiPageWikiLink Post–Turing_machine.
- Martin_Davis wikiPageWikiLink Princeton_University.
- Martin_Davis wikiPageWikiLink Professor_Emeritus.
- Martin_Davis wikiPageWikiLink Professors_in_the_United_States.
- Martin_Davis wikiPageWikiLink Reuben_Hersh.
- Martin_Davis wikiPageWikiLink The_Bronx.
- Martin_Davis wikiPageWikiLink United_States.
- Martin_Davis wikiPageWikiLink Łódź.
- Martin_Davis wikiPageWikiLinkText "Davis".
- Martin_Davis wikiPageWikiLinkText "Davis, Martin".
- Martin_Davis wikiPageWikiLinkText "Martin Davis".
- Martin_Davis almaMater Princeton_University.
- Martin_Davis birthPlace New_York_City.
- 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 wikiPageUsesTemplate Template:Authority_control.
- Martin_Davis wikiPageUsesTemplate Template:Citation.
- Martin_Davis wikiPageUsesTemplate Template:Cite_book.
- Martin_Davis wikiPageUsesTemplate Template:Infobox_scientist.
- Martin_Davis wikiPageUsesTemplate Template:Otherpeople.
- Martin_Davis wikiPageUsesTemplate Template:Persondata.
- Martin_Davis wikiPageUsesTemplate Template:Reflist.
- Martin_Davis wikiPageUsesTemplate Template:US-mathematician-stub.
- 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:21st-century_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:New_York_University_faculty.
- Martin_Davis subject Category:Number_theorists.
- Martin_Davis subject Category:Princeton_University_alumni.
- Martin_Davis hypernym Mathematician.
- Martin_Davis type Agent.
- Martin_Davis type Article.
- Martin_Davis type List.
- Martin_Davis type Person.
- Martin_Davis type Philosopher.