Revision history for entry Balzer, W.; Reiter, M.: Completeness for systems including real numbers [BALCFS]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2023-05-01T00:15:30updateSystem / admin update
2019-11-26T18:32:11updateSystem / admin update
2019-02-06T17:23:22updateSystem / admin update
2015-02-06T05:06:26updateSystem / admin update
2013-12-02T01:45:36updateSystem / admin update
2013-01-12T20:52:19updateSystem / admin update
2013-01-12T20:52:19updateSystem / admin update
2011-05-09T05:16:15update