However, in practice, general methods for the first-order theory remain the preferred choice for solving these problems.
Однако, на практике, общие методы для теории первого порядка остаются предпочтительным выбором для решения такого рода задач.