История
20 ноября 2016
→Предикат Робинсон. Совместный результат М. Дэвиса и Х. Патнема и Д. Робинсон.
+351
Нет описания правки
+1559
→Предикат Робинсон. Совместный результат М. Дэвиса и Х. Патнема и Д. Робинсон.
+638
→Предикат Робинсон. Совместный результат М. Дэвиса и Х. Патнема и Д. Робинсон.
+4
Нет описания правки
+1790
19 ноября 2016
Нет описания правки
Нет описания правки
+145
Нет описания правки
+71
→Гипотеза Мартина Дэвиса
+374
Нет описания правки
+433
→Гипотеза Мартина Дэвиса
+622
→Гипотеза Мартина Дэвиса
+485
→Гипотеза Мартина Дэвиса
+1317
Нет описания правки
+561
18 ноября 2016
Нет описания правки
+478
→Этапы доказательства неразрешимости десятой проблемы Гильберта
→Гипотеза Мартина Девиса
+38
Нет описания правки
+510
Нет описания правки
+1994