История
Материал из WEGA
7 апреля 2021
→Открытые вопросы
м→Основные результаты
м+36
→Основные результаты
+35
→Нотация
м+10
→Постановка задачи
м−13
25 июля 2020
24 июля 2020
→Граница для \gamma
+105
→Исключение переменной путем резолюции [7]
м+135
→Исключение переменной путем резолюции [7]
+387
→Основные результаты
+176
→Основные результаты
м+97
23 июля 2020
9 июля 2020
→Основные результаты
+209
→Основные результаты
+105
→Основные результаты
м+21
→Основные результаты
+48
→Основные результаты
+71
→Основные результаты
+3762