Вклад участника Zijer
Участник с 7 правками. Учётная запись создана 9 апреля 2019 года.
20 апреля 2023
- 11:5711:57, 20 апреля 2023 разн. история +2 м Островковая доля →Другие клинические состояния: поправлена опечатку Метка: через визуальный редактор
12 сентября 2022
- 06:5706:57, 12 сентября 2022 разн. история +2 м Исчисление секвенций опечатка в якоре Метка: через визуальный редактор
13 ноября 2020
- 19:5319:53, 13 ноября 2020 разн. история −1 м Трансгуманизм →Либертарианский (анархо-) трансгуманизм): пунктуация Метка: через визуальный редактор
31 августа 2020
- 08:2908:29, 31 августа 2020 разн. история +1520 Сукралоза викификация, дополнение, обновление Метка: визуальный редактор отключён
10 апреля 2019
- 16:3916:39, 10 апреля 2019 разн. история +29 м Формализация Судя по всему, тут требуется ссылка на источник ("С лёгкой руки немецкого философа...")
9 апреля 2019
- 13:2813:28, 9 апреля 2019 разн. история +28 м Формальная система →Основные положения: добавил ссылку на статью Правило вывода
- 13:1613:16, 9 апреля 2019 разн. история +363 м Правило вывода Добавил разде См. также (ссылки на Формальная система, Автоматическое док-во и Классич. генценовское исчисление секвенций)