Matches in DBpedia 2016-04 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 award Chauvenet_Prize.
- Martin_Davis birthPlace New_York_City.
- Martin_Davis doctoralAdvisor Alonzo_Church.
- Martin_Davis doctoralStudent Donald_W._Loveland.
- Martin_Davis doctoralStudent Moshe_Koppel.
- 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 "5921".
- Martin_Davis wikiPageOutDegree "46".
- Martin_Davis wikiPageRevisionID "704492583".
- Martin_Davis wikiPageWikiLink Alonzo_Church.
- Martin_Davis wikiPageWikiLink American_Academy_of_Arts_and_Sciences.
- Martin_Davis wikiPageWikiLink American_Mathematical_Society.
- 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:Courant_Institute_of_Mathematical_Sciences_faculty.
- 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:Number_theorists.
- Martin_Davis wikiPageWikiLink Category:Princeton_University_alumni,_1950-1959.
- 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 Donald_W._Loveland.
- 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 Moshe_Koppel.
- 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 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 awards Chauvenet_Prize.
- Martin_Davis birthPlace New_York_City.
- Martin_Davis doctoralAdvisor Alonzo_Church.
- Martin_Davis doctoralStudents "John Denes, Robert Di Paola, Thomas Emerson, Ronald Fechter, Richard Gostanian, Keith Harrow, Barry Jacobs, Jean-Pierre Keller, Moshe Koppel, David Linfield, Donald W. Loveland, Eugenio Omodeo, Donald Perlis, Alberto Policriti, Richard Rosenberg, Edward Schwartz, Ron Sigal, Eric Wagner, Martin Zuckerman".
- 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 "Martin Davis".
- Martin_Davis nationality United_States.
- Martin_Davis thesisTitle "On the Theory of Recursive Unsolvability".
- Martin_Davis thesisYear "1950".
- Martin_Davis wikiPageUsesTemplate Template:Authority_control.
- Martin_Davis wikiPageUsesTemplate Template:Birth_year_and_age.
- Martin_Davis wikiPageUsesTemplate Template:Chauvenet_Prize_recipients.
- Martin_Davis wikiPageUsesTemplate Template:Citation.
- Martin_Davis wikiPageUsesTemplate Template:Cite_book.
- Martin_Davis wikiPageUsesTemplate Template:Commons_category.
- Martin_Davis wikiPageUsesTemplate Template:Infobox_scientist.
- Martin_Davis wikiPageUsesTemplate Template:Otherpeople.
- Martin_Davis wikiPageUsesTemplate Template:Reflist.
- Martin_Davis wikiPageUsesTemplate Template:US-mathematician-stub.
- Martin_Davis workplaces New_York_University.
- 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:Courant_Institute_of_Mathematical_Sciences_faculty.
- 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,_1950-1959.
- Martin_Davis hypernym Mathematician.
- Martin_Davis type Agent.
- Martin_Davis type List.
- Martin_Davis type Person.
- Martin_Davis type Philosopher.
- Martin_Davis type Scientist.