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

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2023-04-12T18:16:32updateSystem / admin update
2022-05-09T17:41:23updateSystem / admin update
2022-05-09T12:59:50updateSystem / admin update
2022-05-09T08:36:21updateSystem / admin update
2022-05-09T03:34:34updateSystem / admin update
2022-05-08T22:45:25updateSystem / admin update
2022-05-08T17:53:42updateSystem / admin update
2022-05-08T13:07:06updateSystem / admin update
2022-05-08T08:21:22updateSystem / admin update
2022-05-08T03:25:46updateSystem / admin update
2022-05-07T22:31:14updateSystem / admin update
2022-05-07T17:43:41updateSystem / admin update
2022-05-07T13:04:52updateSystem / admin update
2022-05-07T08:20:11updateSystem / admin update
2022-05-07T03:31:59updateSystem / admin update
2022-05-06T22:51:25updateSystem / admin update
2022-05-06T18:49:55updateSystem / admin update
2022-05-06T14:29:34updateSystem / admin update
2022-05-06T10:23:03updateSystem / admin update
2022-05-06T06:07:43updateSystem / admin update
2022-05-06T01:12:56updateSystem / admin update
2022-05-05T20:51:55updateSystem / admin update
2022-05-05T16:30:02updateSystem / admin update
2022-05-05T12:26:32updateSystem / admin update
2022-05-05T08:22:27updateSystem / admin update
2022-05-05T04:23:58updateSystem / admin update
2022-05-04T23:58:24updateSystem / admin update
2022-05-04T19:18:42updateSystem / admin update
2022-05-04T14:36:32updateSystem / admin update
2022-05-04T10:31:15updateSystem / admin update
2022-05-04T06:17:01updateSystem / admin update
2022-05-04T02:16:55updateSystem / admin update
2022-05-03T22:02:25updateSystem / admin update
2022-05-03T17:58:29updateSystem / admin update
2022-05-03T13:39:37updateSystem / admin update
2022-05-03T09:11:33updateSystem / admin update
2022-05-03T05:25:49updateSystem / admin update
2022-05-03T00:51:40updateSystem / admin update
2022-05-02T20:34:38updateSystem / admin update
2022-05-02T16:21:46updateSystem / admin update
2022-05-02T12:29:34updateSystem / admin update
2022-05-02T08:40:09updateSystem / admin update
2022-05-02T03:05:26updateSystem / admin update
2022-05-01T22:57:30updateSystem / admin update
2022-05-01T18:48:53updateSystem / admin update
2022-05-01T14:50:09updateSystem / admin update
2022-05-01T10:58:25updateSystem / admin update
2022-05-01T07:09:08updateSystem / admin update
2022-05-01T03:22:45updateSystem / admin update
2022-04-30T23:37:06updateSystem / admin update
2022-04-30T19:48:29updateSystem / admin update
2022-04-30T15:56:04updateSystem / admin update
2022-04-30T12:07:10updateSystem / admin update
2022-04-30T08:25:54updateSystem / admin update
2022-04-30T04:41:58updateSystem / admin update
2022-04-30T00:42:19updateSystem / admin update
2022-04-29T20:25:27updateSystem / admin update
2022-04-29T16:08:10updateSystem / admin update
2022-04-29T06:04:12updateSystem / admin update
2022-04-29T00:38:20updateSystem / admin update
2022-04-28T20:39:14updateSystem / admin update
2022-04-28T16:31:14updateSystem / admin update
2022-04-28T12:31:41updateSystem / admin update
2022-04-28T08:31:32updateSystem / admin update
2022-04-28T04:35:45updateSystem / admin update
2022-04-28T00:17:20updateSystem / admin update
2022-04-27T20:11:36updateSystem / admin update
2022-04-27T15:53:15updateSystem / admin update
2022-04-27T11:55:32updateSystem / admin update
2022-04-27T07:50:04updateSystem / admin update
2022-04-27T03:47:02updateSystem / admin update
2022-04-26T23:36:28updateSystem / admin update
2022-04-26T19:29:16updateSystem / admin update
2022-04-26T15:24:07updateSystem / admin update
2022-04-26T11:27:01updateSystem / admin update
2022-04-26T07:34:35updateSystem / admin update
2022-04-26T03:40:42updateSystem / admin update
2022-04-25T23:31:17updateSystem / admin update
2022-04-25T19:21:55updateSystem / admin update
2022-04-25T15:02:57updateSystem / admin update
2022-04-25T09:10:13updateSystem / admin update
2022-04-25T04:54:58updateSystem / admin update
2022-04-25T00:00:58updateSystem / admin update
2022-04-24T19:02:29updateSystem / admin update
2022-04-24T14:48:34updateSystem / admin update
2022-04-24T11:02:17updateSystem / admin update
2022-04-24T07:12:41updateSystem / admin update
2022-04-24T03:08:53updateSystem / admin update
2022-04-23T23:00:25updateSystem / admin update
2022-04-23T18:01:53updateSystem / admin update
2022-04-23T12:58:08updateSystem / admin update
2022-04-23T08:56:18updateSystem / admin update
2022-04-23T05:06:31updateSystem / admin update
2022-04-23T01:00:36updateSystem / admin update
2022-04-22T12:34:21updateSystem / admin update
2022-04-22T06:19:23updateSystem / admin update
2022-04-22T02:33:48updateSystem / admin update
2022-04-21T08:49:25updateSystem / admin update
2022-04-20T20:12:37updateSystem / admin update
2022-04-20T16:07:57updateSystem / admin update
2022-04-20T11:55:41updateSystem / admin update
2022-04-20T08:06:52updateSystem / admin update
2022-04-20T04:05:02updateSystem / admin update
2022-04-20T00:01:04updateSystem / admin update
2022-04-19T19:49:00updateSystem / admin update
2022-04-19T15:38:55updateSystem / admin update
2022-04-19T11:45:02updateSystem / admin update
2022-04-19T07:55:49updateSystem / admin update
2022-04-19T03:54:44updateSystem / admin update
2022-04-18T23:30:50updateSystem / admin update
2022-04-18T19:34:13updateSystem / admin update
2022-04-18T15:35:00updateSystem / admin update
2022-04-18T11:41:25updateSystem / admin update
2022-04-18T07:50:18updateSystem / admin update
2022-04-18T03:59:21updateSystem / admin update
2022-04-17T23:51:08updateSystem / admin update
2022-04-17T19:55:24updateSystem / admin update
2022-04-17T15:22:36updateSystem / admin update
2022-04-17T03:56:22updateSystem / admin update
2022-04-16T22:52:59updateSystem / admin update
2022-04-16T17:46:52updateSystem / admin update
2022-04-16T13:10:43updateSystem / admin update
2022-04-16T03:54:38updateSystem / admin update
2022-04-15T22:52:31updateSystem / admin update
2022-04-15T17:04:48updateSystem / admin update
2022-04-15T12:53:07updateSystem / admin update
2022-04-15T06:03:06updateSystem / admin update
2022-04-15T00:51:22updateSystem / admin update
2022-04-14T20:07:50updateSystem / admin update
2022-04-14T15:04:28updateSystem / admin update
2022-04-14T10:52:22updateSystem / admin update
2022-04-14T03:52:38updateSystem / admin update
2022-04-13T23:10:13updateSystem / admin update
2022-04-13T18:53:04updateSystem / admin update
2022-04-13T14:44:27updateSystem / admin update
2022-04-13T10:55:37updateSystem / admin update
2022-04-13T06:58:23updateSystem / admin update
2022-04-13T03:02:34updateSystem / admin update
2022-04-12T22:52:23updateSystem / admin update
2022-04-12T18:58:29updateSystem / admin update
2022-04-12T14:58:07updateSystem / admin update
2022-04-12T10:57:01updateSystem / admin update
2022-04-12T07:02:18updateSystem / admin update
2022-04-12T03:04:10updateSystem / admin update
2022-04-11T22:18:03updateSystem / admin update
2022-04-11T17:02:25updateSystem / admin update
2022-04-11T12:38:26updateSystem / admin update
2022-04-11T08:13:06updateSystem / admin update
2022-04-11T03:39:04updateSystem / admin update
2022-04-10T23:27:18updateSystem / admin update
2022-04-10T19:14:22updateSystem / admin update
2022-04-10T15:07:23updateSystem / admin update
2022-04-10T07:07:12updateSystem / admin update
2022-04-10T00:39:42updateSystem / admin update
2022-04-09T18:14:53updateSystem / admin update
2022-04-09T14:10:10updateSystem / admin update
2022-04-09T01:09:44updateSystem / admin update
2022-04-08T19:56:19updateSystem / admin update
2022-04-08T16:52:56updateSystem / admin update
2022-04-08T06:02:24updateSystem / admin update
2022-04-07T23:54:29updateSystem / admin update
2022-04-07T17:22:35updateSystem / admin update
2022-04-07T12:53:09updateSystem / admin update
2022-04-07T08:28:48updateSystem / admin update
2022-04-07T04:17:23updateSystem / admin update
2022-04-06T23:58:09updateSystem / admin update
2022-04-06T19:19:03updateSystem / admin update
2022-04-06T15:00:30updateSystem / admin update
2022-04-06T11:01:30updateSystem / admin update
2022-04-06T07:05:49updateSystem / admin update
2022-04-06T02:56:05updateSystem / admin update
2022-04-05T22:56:07updateSystem / admin update
2022-04-05T18:42:51updateSystem / admin update
2022-04-05T14:35:23updateSystem / admin update
2022-04-05T10:35:03updateSystem / admin update
2022-04-05T06:37:09updateSystem / admin update
2022-04-05T02:26:49updateSystem / admin update
2022-04-04T22:21:39updateSystem / admin update
2022-04-04T18:16:44updateSystem / admin update
2022-04-04T14:13:39updateSystem / admin update
2022-04-04T10:12:18updateSystem / admin update
2022-04-04T06:11:01updateSystem / admin update
2022-04-04T01:58:21updateSystem / admin update
2022-04-03T21:51:03updateSystem / admin update
2022-04-03T17:41:48updateSystem / admin update
2022-04-03T13:43:52updateSystem / admin update
2022-04-03T09:48:42updateSystem / admin update
2022-04-03T05:41:16updateSystem / admin update
2022-04-03T01:40:49updateSystem / admin update
2022-04-02T21:36:48updateSystem / admin update
2022-04-02T17:38:20updateSystem / admin update
2022-04-02T13:41:47updateSystem / admin update
2022-04-02T09:42:36updateSystem / admin update
2022-04-02T05:48:06updateSystem / admin update
2022-04-02T01:38:52updateSystem / admin update
2022-04-01T21:22:14updateSystem / admin update
2022-04-01T17:06:03updateSystem / admin update
2022-04-01T13:00:05updateSystem / admin update
2022-04-01T08:50:20updateSystem / admin update
2022-04-01T02:59:23updateSystem / admin update
2022-03-31T22:15:08updateSystem / admin update
2022-03-31T17:33:57updateSystem / admin update
2022-03-31T13:11:31updateSystem / admin update
2022-03-31T09:02:41updateSystem / admin update
2022-03-31T05:09:46updateSystem / admin update
2022-03-31T00:57:22updateSystem / admin update
2022-03-30T20:33:48updateSystem / admin update
2022-03-30T15:44:04updateSystem / admin update
2022-03-30T11:39:46updateSystem / admin update
2022-03-30T07:30:57updateSystem / admin update
2022-03-30T03:16:52updateSystem / admin update
2022-03-29T23:03:04updateSystem / admin update
2022-03-29T18:28:07updateSystem / admin update
2022-03-29T13:50:28updateSystem / admin update
2022-03-29T05:12:29updateSystem / admin update
2022-03-29T00:43:34updateSystem / admin update
2022-03-28T20:29:27updateSystem / admin update
2022-03-28T16:01:54updateSystem / admin update
2022-03-28T11:58:17updateSystem / admin update
2022-03-28T07:53:00updateSystem / admin update
2022-03-28T03:38:44updateSystem / admin update
2022-03-27T23:22:34updateSystem / admin update
2022-03-27T19:19:01updateSystem / admin update
2022-03-27T15:15:16updateSystem / admin update
2022-03-27T10:56:24updateSystem / admin update
2022-03-27T06:54:21updateSystem / admin update
2022-03-27T02:47:47updateSystem / admin update
2022-03-26T21:38:37updateSystem / admin update
2022-03-26T17:41:15updateSystem / admin update
2022-03-26T13:34:05updateSystem / admin update
2022-03-26T09:42:30updateSystem / admin update
2022-03-26T05:48:32updateSystem / admin update
2022-03-26T01:46:58updateSystem / admin update
2022-03-25T21:30:26updateSystem / admin update
2022-03-25T17:29:43updateSystem / admin update
2022-03-25T13:11:21updateSystem / admin update
2022-03-25T09:11:22updateSystem / admin update
2022-03-25T05:16:51updateSystem / admin update
2022-03-25T01:00:05updateSystem / admin update
2022-03-24T20:33:21updateSystem / admin update
2022-03-24T16:14:55updateSystem / admin update
2022-03-24T11:03:42updateSystem / admin update
2022-03-24T06:26:58updateSystem / admin update
2022-03-24T02:10:49updateSystem / admin update
2022-03-23T21:55:23updateSystem / admin update
2022-03-23T17:35:27updateSystem / admin update
2022-03-23T13:03:48updateSystem / admin update
2022-03-23T08:57:24updateSystem / admin update
2022-03-23T05:02:10updateSystem / admin update
2022-03-23T00:50:34updateSystem / admin update
2022-03-22T20:31:18updateSystem / admin update
2022-03-22T15:46:44updateSystem / admin update
2022-03-22T11:37:30updateSystem / admin update
2022-03-22T07:27:38updateSystem / admin update
2022-03-22T03:33:07updateSystem / admin update
2022-03-21T23:21:42updateSystem / admin update
2022-03-21T18:39:54updateSystem / admin update
2022-03-21T13:52:55updateSystem / admin update
2022-03-21T09:22:40updateSystem / admin update
2022-03-21T05:17:48updateSystem / admin update
2022-03-21T01:26:11updateSystem / admin update
2022-03-20T21:17:07updateSystem / admin update
2022-03-20T17:15:41updateSystem / admin update
2022-03-20T13:14:03updateSystem / admin update
2022-03-20T09:15:13updateSystem / admin update
2022-03-20T05:20:22updateSystem / admin update
2022-03-20T01:18:50updateSystem / admin update
2022-03-19T21:17:45updateSystem / admin update
2022-03-19T16:49:38updateSystem / admin update
2022-03-19T12:51:12updateSystem / admin update
2022-03-19T08:14:38updateSystem / admin update
2022-03-19T03:57:42updateSystem / admin update
2022-03-18T23:41:11updateSystem / admin update
2022-03-18T19:24:55updateSystem / admin update
2022-03-18T15:09:04updateSystem / admin update
2022-03-18T11:07:02updateSystem / admin update
2022-03-18T07:08:23updateSystem / admin update
2022-03-18T02:50:59updateSystem / admin update
2022-03-17T22:29:48updateSystem / admin update
2022-03-17T17:53:31updateSystem / admin update
2022-03-17T13:37:46updateSystem / admin update
2022-03-17T09:20:01updateSystem / admin update
2022-03-17T05:10:55updateSystem / admin update
2022-03-17T00:40:41updateSystem / admin update
2022-03-16T20:22:31updateSystem / admin update
2022-03-16T15:43:30updateSystem / admin update
2022-03-16T10:21:46updateSystem / admin update
2022-03-16T06:17:06updateSystem / admin update
2022-03-16T02:04:53updateSystem / admin update
2022-03-15T21:52:14updateSystem / admin update
2022-03-15T17:34:45updateSystem / admin update
2022-03-15T13:15:46updateSystem / admin update
2022-03-15T09:06:49updateSystem / admin update
2022-03-15T05:04:32updateSystem / admin update
2022-03-15T00:40:53updateSystem / admin update
2022-03-14T20:10:00updateSystem / admin update
2022-03-14T15:56:17updateSystem / admin update
2022-03-14T11:57:51updateSystem / admin update
2022-03-14T07:53:31updateSystem / admin update
2022-03-14T03:42:25updateSystem / admin update
2022-03-13T23:19:34updateSystem / admin update
2022-03-13T19:06:52updateSystem / admin update
2022-03-13T15:04:13updateSystem / admin update
2022-03-13T11:07:46updateSystem / admin update
2022-03-13T07:05:45updateSystem / admin update
2022-03-13T02:47:45updateSystem / admin update
2022-03-12T22:47:39updateSystem / admin update
2022-03-12T18:48:50updateSystem / admin update
2022-03-12T14:47:53updateSystem / admin update
2022-03-12T10:53:14updateSystem / admin update
2022-03-12T06:55:42updateSystem / admin update
2022-03-12T02:58:55updateSystem / admin update
2022-03-11T22:54:11updateSystem / admin update
2022-03-11T18:42:36updateSystem / admin update
2022-03-11T13:53:19updateSystem / admin update
2022-03-11T08:41:34updateSystem / admin update
2022-03-10T06:04:18updateSystem / admin update
2022-03-10T01:41:42updateSystem / admin update
2022-03-09T21:00:00updateSystem / admin update
2022-03-09T15:55:56updateSystem / admin update
2022-03-09T10:33:38updateSystem / admin update
2022-03-09T06:08:24updateSystem / admin update
2022-03-09T01:56:18updateSystem / admin update
2022-03-08T21:41:31updateSystem / admin update
2022-03-08T17:08:14updateSystem / admin update
2022-03-08T12:01:10updateSystem / admin update
2022-03-08T07:22:00updateSystem / admin update
2022-03-08T02:40:28updateSystem / admin update
2022-03-07T21:49:39updateSystem / admin update
2022-03-07T17:03:01updateSystem / admin update
2022-03-07T12:32:44updateSystem / admin update
2022-03-07T08:05:59updateSystem / admin update
2022-03-07T03:17:34updateSystem / admin update
2022-03-06T22:46:45updateSystem / admin update
2022-03-06T18:15:06updateSystem / admin update
2022-03-06T14:02:45updateSystem / admin update
2022-03-06T09:49:35updateSystem / admin update
2022-03-06T02:52:06updateSystem / admin update
2022-03-05T22:27:52updateSystem / admin update
2022-03-05T17:52:16updateSystem / admin update
2022-03-05T13:48:10updateSystem / admin update
2022-03-05T09:45:17updateSystem / admin update
2022-03-04T02:30:08updateSystem / admin update
2022-03-03T22:17:35updateSystem / admin update
2022-03-03T17:53:56updateSystem / admin update
2022-03-03T13:28:49updateSystem / admin update
2022-03-03T09:34:17updateSystem / admin update
2022-03-03T03:07:52updateSystem / admin update
2022-03-02T22:53:25updateSystem / admin update
2022-03-02T18:58:17updateSystem / admin update
2022-03-02T15:08:14updateSystem / admin update
2022-03-02T11:09:54updateSystem / admin update
2022-03-02T06:53:31updateSystem / admin update
2022-03-02T02:55:30updateSystem / admin update
2022-03-01T22:57:46updateSystem / admin update
2022-03-01T18:50:56updateSystem / admin update
2022-03-01T14:00:18updateSystem / admin update
2022-03-01T09:42:14updateSystem / admin update
2022-03-01T02:46:10updateSystem / admin update
2022-02-28T22:30:51updateSystem / admin update
2022-02-28T18:27:25updateSystem / admin update
2022-02-28T14:17:54updateSystem / admin update
2022-02-28T10:05:13updateSystem / admin update
2022-02-28T05:54:49updateSystem / admin update
2022-02-28T01:51:28updateSystem / admin update
2022-02-27T21:45:04updateSystem / admin update
2022-02-27T17:37:13updateSystem / admin update
2022-02-27T13:35:47updateSystem / admin update
2022-02-27T09:49:29updateSystem / admin update
2022-02-27T05:50:56updateSystem / admin update
2022-02-27T01:49:14updateSystem / admin update
2022-02-26T21:43:11updateSystem / admin update
2022-02-26T17:37:26updateSystem / admin update
2022-02-26T13:47:01updateSystem / admin update
2022-02-26T09:55:19updateSystem / admin update
2022-02-26T06:00:12updateSystem / admin update
2022-02-26T01:17:12updateSystem / admin update
2022-02-25T18:39:52updateSystem / admin update
2022-02-25T14:11:49updateSystem / admin update
2022-02-25T09:58:44updateSystem / admin update
2022-02-24T16:16:43updateSystem / admin update
2022-02-24T10:54:48updateSystem / admin update
2022-02-24T04:48:19updateSystem / admin update
2022-02-24T00:03:37updateSystem / admin update
2022-02-23T19:06:42updateSystem / admin update
2022-02-23T14:22:02updateSystem / admin update
2022-02-23T09:45:46updateSystem / admin update
2022-02-23T04:47:01updateSystem / admin update
2022-02-23T00:21:22updateSystem / admin update
2022-02-22T19:27:34updateSystem / admin update
2022-02-22T14:45:18updateSystem / admin update
2022-02-22T10:16:41updateSystem / admin update
2022-02-22T05:45:09updateSystem / admin update
2022-02-22T01:21:53updateSystem / admin update
2022-02-21T20:57:16updateSystem / admin update
2022-02-21T16:30:44updateSystem / admin update
2022-02-21T09:56:49updateSystem / admin update
2022-02-21T05:01:38updateSystem / admin update
2022-02-21T00:37:52updateSystem / admin update
2022-02-20T20:18:51updateSystem / admin update
2022-02-20T15:58:15updateSystem / admin update
2022-02-20T10:01:46updateSystem / admin update
2022-02-20T05:46:01updateSystem / admin update
2022-02-20T01:34:08updateSystem / admin update
2022-02-19T21:12:50updateSystem / admin update
2022-02-19T16:46:42updateSystem / admin update
2022-02-19T12:26:25updateSystem / admin update
2022-02-19T07:24:23updateSystem / admin update
2022-02-19T03:21:32updateSystem / admin update
2022-02-18T22:52:38updateSystem / admin update
2022-02-18T18:35:32updateSystem / admin update
2022-02-18T14:10:39updateSystem / admin update
2022-02-18T09:12:35updateSystem / admin update
2022-02-18T04:34:39updateSystem / admin update
2022-02-18T00:13:54updateSystem / admin update
2022-02-17T19:41:07updateSystem / admin update
2022-02-17T15:13:32updateSystem / admin update
2022-02-17T10:25:08updateSystem / admin update
2022-02-17T05:34:44updateSystem / admin update
2022-02-17T01:07:24updateSystem / admin update
2022-02-16T20:52:39updateSystem / admin update
2022-02-16T16:36:39updateSystem / admin update
2022-02-16T12:19:40updateSystem / admin update
2022-02-16T07:22:01updateSystem / admin update
2022-02-16T03:23:23updateSystem / admin update
2022-02-15T23:14:05updateSystem / admin update
2022-02-15T18:51:30updateSystem / admin update
2022-02-15T14:25:04updateSystem / admin update
2022-02-15T10:07:22updateSystem / admin update
2022-02-15T05:41:32updateSystem / admin update
2022-02-15T01:25:53updateSystem / admin update
2022-02-14T21:06:06updateSystem / admin update
2022-02-14T16:11:11updateSystem / admin update
2022-02-14T11:58:45updateSystem / admin update
2022-02-14T07:47:17updateSystem / admin update
2022-02-14T03:27:36updateSystem / admin update
2022-02-13T23:20:28updateSystem / admin update
2022-02-13T19:13:00updateSystem / admin update
2022-02-13T15:04:17updateSystem / admin update
2022-02-13T10:59:49updateSystem / admin update
2022-02-13T06:53:08updateSystem / admin update
2022-02-13T02:41:26updateSystem / admin update
2022-02-12T22:32:35updateSystem / admin update
2022-02-12T18:25:05updateSystem / admin update
2022-02-12T14:20:03updateSystem / admin update
2022-02-12T10:19:15updateSystem / admin update
2022-02-12T10:04:17updateSystem / admin update
2022-02-12T02:24:43updateSystem / admin update
2021-06-10T07:39:51update
2021-06-10T07:39:50update
2021-06-10T07:39:50update
2021-06-10T07:39:50update
2021-06-10T07:39:49updateLocal copy uploaded (view this copy)
2021-06-03T13:08:18updateSystem / admin update
2021-06-01T15:27:14updateSystem / admin update
2021-06-01T14:28:07addSystem / admin update