Revision history for entry Wos, L.; Winker, S.; Veroff, R.; Smith, B.; Henschen, L. (1983). "Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains" [LWOQCP]

NB: for privacy reasons, few details are provided in public revision histories.
2013-12-01T14:36:04updateSystem / admin update -
2013-12-01T14:36:00updateSystem / admin update -
2013-11-22T08:37:53updateSystem / admin update -
2013-11-04T05:36:27updateSystem / admin update -
2010-10-28T08:43:42updateSystem / admin update -
2010-10-01T14:44:48updateSystem / admin update -
2010-09-23T12:07:59addSystem / admin update -