Revision history for entry Krajíček, Jan: A form of feasible interpolation for constant depth Frege syste.. [KRAAFO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-05-28T11:03:58update
2020-05-28T11:03:58update
2019-04-29T13:44:23updateSystem / admin update
2017-01-21T19:11:49updateSystem / admin update
2016-06-30T13:13:27updateSystem / admin update
2015-02-05T06:53:02updateSystem / admin update
2014-03-07T03:57:48updateSystem / admin update
2013-11-22T12:12:24updateSystem / admin update
2011-05-31T11:49:51updateSystem / admin update
2010-10-28T13:39:48updateSystem / admin update
2010-10-12T18:36:18addSystem / admin update