Revision history for entry Ulrich, Dolph (1996). "The shortest possible length of the longest implicational axiom" [ULRTSP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-04-01T15:16:26updateSystem / admin update -
2013-11-22T11:24:06updateSystem / admin update -
2013-01-12T21:10:58updateSystem / admin update -
2013-01-12T21:10:58updateSystem / admin update -