Revision history for entry Kohlenbach, Ulrich: On the no-counterexample interpretation [KOHOTN]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-05-10T13:33:21updateSystem / admin update
2016-06-30T12:29:07updateSystem / admin update
2016-02-11T12:24:11update
2015-02-05T06:51:43updateSystem / admin update
2014-03-28T11:11:38updateSystem / admin update
2013-11-22T12:09:58updateSystem / admin update
2013-11-04T09:21:31updateSystem / admin update