Revision history for entry Kohlhase, Michael: Higher-Order Multi-Valued Resolution [KOHHMR]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-10-21T08:54:15updateSystem / admin update
2020-01-31T16:54:37updateSystem / admin update
2020-01-31T16:50:24updateSystem / admin update
2019-02-06T12:51:58updateSystem / admin update
2019-01-27T11:09:57updateSystem / admin update
2017-01-20T19:11:14updateSystem / admin update
2014-03-22T13:23:30updateSystem / admin update
2013-12-01T15:15:17updateSystem / admin update
2010-07-09T00:50:15updateSystem / admin update