Revision history for entry Ernst, Zachary; Fitelson, Branden; Harris, Kenneth; Wos, Larry (2002). "Shortest Axiomatizations of Implicational S4 and S" [ZACSAO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-25T00:08:35updateSystem / admin update -
2013-12-01T19:40:39updateSystem / admin update -
2013-11-22T13:41:27updateSystem / admin update -
2013-11-04T11:10:07updateSystem / admin update -
2011-01-21T03:53:10updateSystem / admin update -
2010-10-28T13:44:41updateSystem / admin update -
2010-10-01T19:47:03updateSystem / admin update -
2010-09-23T17:09:32addSystem / admin update -