Revision history for entry Warren, Jared; Waxman, Daniel: A Metasemantic Challenge for Mathematical Deter.. [WARAMC-3]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2023-03-19T19:49:17update
2022-07-15T23:41:02updateSystem / admin update
2020-03-05T16:09:16updateSystem / admin update
2019-05-16T09:05:55update
2019-05-16T09:05:55update
2019-02-06T18:21:57updateSystem / admin update
2016-12-02T18:05:15update
2016-12-02T18:04:25update
2016-12-02T18:04:25update
2016-11-24T16:02:06update
2016-11-23T16:29:52addSystem / admin update