A method for solving a decision problem, given in the form of an algorithm, is called a decision procedure for that problem.
Метод решения проблемы разрешимости, представленный в форме алгоритма, называется разрешающей процедурой для этой проблемы.