John Alan Robinson

↦ cons(2, nil)}作为其唯一解。 合一算法首先由雅克·埃尔布朗 ( 发现，而第一个正式研究可归因于John Alan Robinson（英语：John Alan Robinson） ，他使用一阶句法合一作为基本构建块他对一阶逻辑的归结过程的研究是自动推理技术的一大进步，因为它消除了组合爆炸（英语：Combinatorial

Peterson飾演Freeman Franks Lina Giornofelice飾演Jeanine Mueller Karen Robinson（英语：Karen Robinson）飾演Liz Detmer Krista Bridges（英语：Krista Bridges）飾演Audrey Tellis

格伦·阿倫·罗宾逊三世（英語：Glenn Alan Robinson III，1994年1月8日—）為美国男子篮球运动员，是退役篮球运动员格伦·罗宾逊的儿子。 在2014年NBA選秀中，罗宾逊在第40順位被明尼蘇達木狼隊選中 。 2024年7月11日，罗宾逊表示與菲律賓籃球協會麥諾尼亞熱點（英语：Magnolia

Simon）和艾伦·罗宾逊（Alan Robinson） Kogan, Rick. The Wizards Of Wet. Chicago Tribune. 24 August 1997 [18 July 2013]. （原始内容存档于2013-10-04） （英语）.  Seabrook, John. Onward

Journal. [29 July 2010].  B. Alan Wallace, Contemplative Science. Columbia University Press, 2007, pages 97-98. Catherine Robinson, Interpretations of the