Revision history for entry Orłowska, Ewa: Mechanical theorem proving in a certain class of formulae of th.. [OROMTP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-12-02T17:17:15updateSystem / admin update
2019-12-31T22:13:52updateSystem / admin update
2019-02-07T02:01:51updateSystem / admin update
2017-02-22T00:05:07updateSystem / admin update
2015-02-06T05:07:47updateSystem / admin update
2014-01-24T09:39:08updateSystem / admin update
2013-12-02T01:43:00updateSystem / admin update
2012-07-04T11:09:56update
2012-01-12T06:08:02update
2012-01-12T06:08:02update
2012-01-12T06:08:02update