Revision history for entry Avigad, Jeremy: Plausibly hard combinatorial tautologies [AVIPHC]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2015-03-17T07:31:32updateSystem / admin update
2014-04-05T08:02:57updateSystem / admin update
2010-09-14T08:30:11updateSystem / admin update