Martin David Davis | DBpedia LatAm

Martin Davis, es un matemático estadounidense conocido por su trabajo relacionado con el décimo problema de Hilbert. Obtuvo su PhD en la Universidad de Princeton en 1950 y su tutor fue Alonzo Church. Es profesor emérito de la Universidad de Nueva York. Es coinventor del algoritmo de Davis-Putnam y del algoritmo DPLL. También es coautor, junto con Ron Sigal y Elaine J.

Is Autor of	dbpedia-latam:Leopold_Kronecker
dbpedia-owl:birthPlace	dbpedia-latam:Estados_Unidos dbpedia-latam:Nueva_York
rdfs:comment	Martin Davis, es un matemático estadounidense conocido por su trabajo relacionado con el décimo problema de Hilbert. Obtuvo su PhD en la Universidad de Princeton en 1950 y su tutor fue Alonzo Church. Es profesor emérito de la Universidad de Nueva York. Es coinventor del algoritmo de Davis-Putnam y del algoritmo DPLL. También es coautor, junto con Ron Sigal y Elaine J. (es)
foaf:depiction	<http://commons.wikimedia.org/wiki/Special:FilePath/Martin_Davis.jpg>
Is dbpedia-owl:doctoralStudent of	dbpedia-latam:Alonzo_Church
Is Estudiantes Doctorales of	dbpedia-latam:Alonzo_Church
Fecha De Nacimiento	1928 (xsd:integer)
foaf:homepage	<http://www.cs.nyu.edu/cs/faculty/davism/>
Imagen	Martin Davis.jpg (es)
foaf:isPrimaryTopicOf	wiki-latam:Martin_Davis
rdfs:label	Martin Davis (es)
Lugar De Nacimiento	, Nueva York (es)
Nacionalidad	estadounidense (es)
foaf:name	Martin David Davis (es) Martin Davis (es)
dbpedia-owl:nationality	dbpedia-latam:Estadounidense
Nombre	Martin Davis (es)
Nombre Completo	Martin David Davis (es)
dbpedia-owl:occupation	dbpedia-latam:Matemático
Ocupación	profesor, matemático (es)
Is foaf:primaryTopic of	wiki-latam:Martin_Davis
dcterms:subject	dbpedia-latam:Categoría:Alumnado_de_la_Universidad_de_Princeton dbpedia-latam:Categoría:Lógicos_de_Estados_Unidos dbpedia-latam:Categoría:Matemáticos_de_Estados_Unidos dbpedia-latam:Categoría:Matemáticos_del_siglo_XX dbpedia-latam:Categoría:Neoyorquinos dbpedia-latam:Categoría:Profesores_de_la_Universidad_de_Nueva_York dbpedia-latam:Categoría:Teóricos_de_números
Tamaño	150 (xsd:integer)
dbpedia-owl:thumbnail	<http://commons.wikimedia.org/wiki/Special:FilePath/Martin_Davis.jpg?width=300>
rdf:type	dbpedia-owl:Agent dbpedia-owl:Person schema:Person <http://wikidata.dbpedia.org/resource/Q215627> <http://wikidata.dbpedia.org/resource/Q5> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Agent> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson> owl:Thing foaf:Person
prov:wasDerivedFrom	wiki-latam:Martin_Davis?oldid=75572826
Web	<http://www.cs.nyu.edu/cs/faculty/davism/>
dbpedia-owl:wikiPageExternalLink	<http://genealogy.math.ndsu.nodak.edu/html/id.phtml?id=8018> <http://www.alicebot.org/articles/wallace/mathematicians.html> <http://www.cs.nyu.edu/cs/faculty/davism/>
dbpedia-owl:wikiPageID	738622 (xsd:integer)
dbpedia-owl:wikiPageLength	1885 (xsd:integer)
dbpedia-owl:wikiPageOutDegree	27 (xsd:integer)
dbpedia-owl:wikiPageRevisionID	75572826 (xsd:integer)
prop-latam:wikiPageUsesTemplate	dbpedia-latam:Plantilla:Ficha_de_persona dbpedia-latam:Plantilla:NF
dbpedia-owl:wikiPageWikiLink	[25 values]
Is dbpedia-owl:wikiPageWikiLink of	[19 values]