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-01T10:16:26updateSystem / admin update -
2013-11-22T06:24:06updateSystem / admin update -
2013-01-12T16:10:58updateSystem / admin update -
2013-01-12T16:10:58updateSystem / admin update -