Revision history for entry Artemov, Sergei: Justification logic [ARTJL]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-12-16T16:57:47updateSystem / admin update
2011-07-10T19:46:04update
2011-06-30T11:42:51update
2011-06-30T11:41:38update
2011-06-30T04:01:04addSystem / admin update