Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q327981> ?p ?o }
- Q327981 name "Robinson, John Alan".
- Q327981 shortDescription "British-American mathematician".
- Q327981 type Person.
- Q327981 type Agent.
- Q327981 type Person.
- Q327981 type Scientist.
- Q327981 type Agent.
- Q327981 type NaturalPerson.
- Q327981 type Thing.
- Q327981 type Q215627.
- Q327981 type Q5.
- Q327981 type Q901.
- Q327981 type Person.
- Q327981 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.".
- Q327981 label "John Alan Robinson".
- Q327981 depiction John_Alan_Robinson_IMG_0493.jpg.
- Q327981 givenName "John Alan".
- Q327981 name "John Alan Robinson".
- Q327981 name "Robinson, John Alan".
- Q327981 surname "Robinson".