25,161
edits
Changes
m
no edit summary
**** <span style="background-color: #ccffcc;">[[#IFrank|Ian Frank]]</span>
*** <span id="EMClarke"></span>[https://en.wikipedia.org/wiki/Edmund_M._Clarke Edmund M. Clarke (1945)] [https://genealogy.math.ndsu.nodak.edu/id.php?id=50063 ¶] ([https://en.wikipedia.org/wiki/Cornell_University Cornell University])
**** <span style="background-color: #ffffac;">[[Mike Browne|Michael Browne]]</span> [https://genealogy.math.ndsu.nodak.edu/id.php?id=50262 ¶] ([[Carnegie Mellon University]]) » [[Deep Thought]]
**** <span id="DLDill"></span>[https://en.wikipedia.org/wiki/David_L._Dill David L. Dill (1957)] [https://genealogy.math.ndsu.nodak.edu/id.php?id=50263 ¶] ([[Carnegie Mellon University]])
**** <span id="EAEmerson"></span>[https://en.wikipedia.org/wiki/E._Allen_Emerson E. Allen Emerson (1954)] [https://genealogy.math.ndsu.nodak.edu/id.php?id=69873 ¶] ([[Harvard University ]])
