Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q327981> ?p ?o }
- Q327981 description "British-American mathematician".
- Q327981 description "British-American mathematician".
- Q327981 subject Q15136896.
- Q327981 subject Q18672072.
- Q327981 subject Q5312304.
- Q327981 subject Q6275329.
- Q327981 subject Q6373183.
- Q327981 subject Q6847952.
- Q327981 subject Q7002462.
- Q327981 subject Q7067047.
- Q327981 subject Q7116146.
- Q327981 subject Q7178918.
- Q327981 subject Q7425277.
- Q327981 subject Q7453817.
- Q327981 subject Q8205185.
- Q327981 subject Q8218862.
- Q327981 subject Q8445862.
- Q327981 subject Q8466127.
- Q327981 subject Q8479173.
- Q327981 subject Q9698667.
- Q327981 abstract "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. Robinson received the 1996 Herbrand Award for Distinguished Contributions to Automated Reasoning.".
- Q327981 almaMater Q21578.
- Q327981 almaMater Q35794.
- Q327981 almaMater Q766145.
- Q327981 award Q449390.
- Q327981 award Q465654.
- Q327981 birthDate "1930".
- Q327981 birthYear "1930".
- Q327981 doctoralAdvisor Q61885.
- Q327981 knownFor Q1051925.
- Q327981 knownFor Q609057.
- Q327981 thumbnail John_Alan_Robinson_IMG_0493.jpg?width=300.
- Q327981 wikiPageExternalLink 321250.321253.
- Q327981 wikiPageExternalLink default.asp?aid=1259.
- Q327981 wikiPageWikiLink Q1051925.
- Q327981 wikiPageWikiLink Q15136896.
- Q327981 wikiPageWikiLink Q163.
- Q327981 wikiPageWikiLink Q163468.
- Q327981 wikiPageWikiLink Q170790.
- Q327981 wikiPageWikiLink Q17084521.
- Q327981 wikiPageWikiLink Q1709878.
- Q327981 wikiPageWikiLink Q185246.
- Q327981 wikiPageWikiLink Q18672072.
- Q327981 wikiPageWikiLink Q194292.
- Q327981 wikiPageWikiLink Q209896.
- Q327981 wikiPageWikiLink Q21.
- Q327981 wikiPageWikiLink Q21578.
- Q327981 wikiPageWikiLink Q221062.
- Q327981 wikiPageWikiLink Q2555318.
- Q327981 wikiPageWikiLink Q25864.
- Q327981 wikiPageWikiLink Q2739680.
- Q327981 wikiPageWikiLink Q275603.
- Q327981 wikiPageWikiLink Q30.
- Q327981 wikiPageWikiLink Q35794.
- Q327981 wikiPageWikiLink Q395.
- Q327981 wikiPageWikiLink Q431667.
- Q327981 wikiPageWikiLink Q449390.
- Q327981 wikiPageWikiLink Q465654.
- Q327981 wikiPageWikiLink Q4964182.
- Q327981 wikiPageWikiLink Q502611.
- Q327981 wikiPageWikiLink Q5312304.
- Q327981 wikiPageWikiLink Q5647318.
- Q327981 wikiPageWikiLink Q5891.
- Q327981 wikiPageWikiLink Q609057.
- Q327981 wikiPageWikiLink Q617433.
- Q327981 wikiPageWikiLink Q61885.
- Q327981 wikiPageWikiLink Q6275329.
- Q327981 wikiPageWikiLink Q6373183.
- Q327981 wikiPageWikiLink Q649120.
- Q327981 wikiPageWikiLink Q6572605.
- Q327981 wikiPageWikiLink Q6623906.
- Q327981 wikiPageWikiLink Q6847952.
- Q327981 wikiPageWikiLink Q7002462.
- Q327981 wikiPageWikiLink Q7067047.
- Q327981 wikiPageWikiLink Q7116146.
- Q327981 wikiPageWikiLink Q7178918.
- Q327981 wikiPageWikiLink Q73820.
- Q327981 wikiPageWikiLink Q7425277.
- Q327981 wikiPageWikiLink Q7453817.
- Q327981 wikiPageWikiLink Q766145.
- Q327981 wikiPageWikiLink Q7743597.
- Q327981 wikiPageWikiLink Q8205185.
- Q327981 wikiPageWikiLink Q8218862.
- Q327981 wikiPageWikiLink Q82594.
- Q327981 wikiPageWikiLink Q833670.
- Q327981 wikiPageWikiLink Q841090.
- Q327981 wikiPageWikiLink Q842909.
- Q327981 wikiPageWikiLink Q8445862.
- Q327981 wikiPageWikiLink Q8466127.
- Q327981 wikiPageWikiLink Q8479173.
- Q327981 wikiPageWikiLink Q9698667.
- Q327981 almaMater Q21578.
- Q327981 almaMater Q35794.
- Q327981 almaMater Q766145.
- Q327981 awards "AMS Milestone Award 1985, Humboldt Senior Scientist Award 1995, Herbrand Award 1996".
- Q327981 dateOfBirth "1930".
- Q327981 doctoralAdvisor Q61885.
- Q327981 knownFor Q1051925.
- Q327981 knownFor Q609057.
- Q327981 name "John Alan Robinson".