[dɪˈsɪʒ(ə)nprəˈsiːʤə]
1. спец. процедура принятия решения; алгоритм
2. лингв. процедура распознавания; автоматический анализ
decision procedure for sentences — автоматический (синтаксический) анализ предложений, процедура распознавания синтаксических структур