This HTML5 document contains 15 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n9http://dbpedia.org/resource/Resolution_(logic)
dchttp://purl.org/dc/elements/1.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n6http://dbpedia.org/resource/Unification_(computer_science)
n10http://commons.wikimedia.org/wiki/Special:FilePath/John_Alan_Robinson_IMG_0493.jpg?width=
n8http://commons.wikimedia.org/wiki/Special:FilePath/John_Alan_Robinson_IMG_0493.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
dbpedia:John_Alan_Robinson
rdfs:comment
John Alan Robinson (born 1928) is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University, United States.Alan Robinson's major contribution is to the foundations of automated theorem proving. His unification algorithm eliminated one source of combinatorial explosion in resolution provers; it also prepared the ground for the logic programming paradigm, in particular for the Prolog language.
foaf:name
Robinson, John Alan John Alan Robinson
foaf:depiction
n8:jpg
dc:description
British-American mathematician
dbpedia-owl:almaMater
dbpedia:University_of_Cambridge dbpedia:Princeton_University dbpedia:University_of_Oregon
dbpedia-owl:award
dbpedia:American_Mathematical_Society dbpedia:Herbrand_Award
dbpedia-owl:birthYear
1930-01-01Z
dbpedia-owl:doctoralAdvisor
dbpedia:Carl_Gustav_Hempel
dbpedia-owl:knownFor
n6: n9:
dbpedia-owl:thumbnail
n10:300