theorem-proving

4зной

2ответ

Теорема графства Ковальского, доказывающая

Я пытаюсь использовать алгоритм графа Ковальского для теоремы разрешения доказательство. Описание алгоритма в http://www.doc.ic.ac.uk/~rak/ умалчивает о том, что делать с большим количеством дублирующ