| Главная » Файлы » Мои файлы |
проблема TPTP Af Ad Ar(FNE(f,d,r) <=> F3(f,d,r))
| [ Скачать с сервера (5.68 Mb) ] | 04.11.2015, 10:13 |
проблема TPTP Af Ad Ar(FNE(f,d,r) <=> F3(f,d,r)) Эквивалентность функции по Есенину-Вольпину и по Расеве, Сикорскому. Доказуемость проблемы TPTP fne_f3.tptp эквивалентна докауемости проблем 0.tp ...225.tp. zenon 0.8.0 x64 доказал проблемы 0.tp ...225.tp.
| |
| Просмотров: 323 | Загрузок: 25 | | |
| Всего комментариев: 0 | |