резолютний

1. (в математиці, зокрема в теорії рішень) такий, що стосується резолюції або заснований на ній; резолютивний.

2. (в інформатиці та логічному програмуванні) такий, що використовує принцип резолюції для доведення теорем або отримання висновків.