Cubic interpretation of resolution principle for propositional calculas

Abstract

Interpretation of resolution principle which is able to realize the resolution procedure for any formula of propositional calculas during finite time and with the possibility of parallel computing are considered

Рассматривается интерпретация принципа резолюций, которая позволяет реализовать разрешающую процедуру для любой формулы исчисления высказываний за конечное время и с возможностью параллельной обработки

Розглядається інтерпретація принципу резолюцій, яка дозволяє реалізувати дозволяючу процедуру для будь-якої формули числення висловлювань за обмежений час і з можливістю паралельної обробки