Алгоритмическая разрешимость: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Метка: добавление ссылки |
|||
Строка 16:
=== Примеры разрешимых теорий ===
DLO-теория днища,про которую знает только
{{planned}} <!-- нужно перевести соотв. список из en-wiki -->
|