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
2013-01-12T21:10:58updateSystem / admin update -
2013-01-12T21:10:58updateSystem / admin update -