Revision history for entry Kürbis, Nils: Normalisation and subformula property for a system of intuitioni.. [KRBNAS-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-04-07T18:12:25updateSystem / admin update
2022-01-05T14:28:33updateSystem / admin update
2021-10-19T13:51:18update
2021-10-19T13:51:17update
2021-10-19T13:51:17update
2021-10-19T13:51:17addLocal copy uploaded (view this copy)