Вклад участника Дмитрий Виноградов
Для Дмитрий Виноградов обсуждение блокировки загрузки журналы глобальная учётная запись срабатывания фильтров
Участник с 13 правками. Учётная запись создана 12 июля 2012 года.
4 апреля 2020
- 17:1917:19, 4 апреля 2020 разн. история +162 м Финн, Виктор Константинович уточнение, дополнение Метка: через визуальный редактор
24 июля 2016
- 15:3515:35, 24 июля 2016 разн. история +1783 м Обсуждение:ДСМ-метод →Пример в статье: ответ текущая
17 июля 2012
- 12:0712:07, 17 июля 2012 разн. история +8 м Правило резолюций →Метод резолюции
- 11:5411:54, 17 июля 2012 разн. история +6 м Правило резолюций →Полнота и компактность метода
- 11:5311:53, 17 июля 2012 разн. история +8 м Правило резолюций →Полнота и компактность метода
- 11:4811:48, 17 июля 2012 разн. история +192 м Правило резолюций →Теорема о полноте метода резолюций для логики высказываний: доказательство дополнено ссылкой на лемму компактности
- 11:4511:45, 17 июля 2012 разн. история 0 м Правило резолюций →Полнота и компактность метода
- 11:4111:41, 17 июля 2012 разн. история +2779 Правило резолюций →Полнота и компактность метода резолюций: (добавлена компактность)
13 июля 2012
- 13:4413:44, 13 июля 2012 разн. история +2179 м Правило резолюций →Исчисление предикатов
- 13:4413:44, 13 июля 2012 разн. история −2179 м Правило резолюций →Теорема о полноте метода резолюций для логики высказываний
- 13:4313:43, 13 июля 2012 разн. история +107 м Правило резолюций →Метод резолюции
12 июля 2012
- 17:1117:11, 12 июля 2012 разн. история 0 м Правило резолюций →Теорема о полноте метода резолюций для логики высказываний: исправлена опечатка
- 17:0117:01, 12 июля 2012 разн. история +2804 м Правило резолюций →Теорема о полноте метода резолюций: добавлено доказательство полноты метода резолюций для логики высказываний