John Alan Robinson
id:
john-alan-robinson-196-15763697
title:
John Alan Robinson
text:
John Alan Robinson was a philosopher, mathematician, and computer scientist. He was a professor emeritus at Syracuse University. 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 Automa
brand slug:
wiki
category slug:
encyclopedia
description:
American computer scientist
original url:
https://en.wikipedia.org/wiki/John_Alan_Robinson
date created:
date modified:
2024-04-13T12:38:24Z
main entity:
{"identifier":"Q327981","url":"https://www.wikidata.org/entity/Q327981"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/8/8b/John_Alan_Robinson_IMG_0493.jpg","width":3137,"height":2348}
fields total:
13
integrity:
15