Revision history for entry Voronkov, Andrei: The ground-negative fragment of first-order logic is πp2-com.. [VORTGF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2017-04-23T10:23:20updateSystem / admin update
2017-01-19T21:25:49updateSystem / admin update
2016-06-30T12:28:57updateSystem / admin update
2015-02-05T07:02:30updateSystem / admin update
2014-03-28T11:14:47updateSystem / admin update
2013-11-22T12:10:08updateSystem / admin update
2013-11-04T09:21:13updateSystem / admin update