Revision history for entry Wos, Larry; Ulrich, Dolph; Fitelson, Branden (unknown). "Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus" [WOSVTX]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2011-01-21T03:53:10addSystem / admin update -