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.
TimeTypeNotes
2013-12-01T19:36:04updateSystem / admin update -
2013-12-01T19:36:00updateSystem / admin update -
2013-11-22T13:37:53updateSystem / admin update -
2013-11-04T10:36:27updateSystem / admin update -
2010-10-28T13:43:42updateSystem / admin update -
2010-10-01T19:44:48updateSystem / admin update -
2010-09-23T17:07:59addSystem / admin update -