Резольвента — образование дизъюнкта (ct — lt) V (dt — lt), где с и d — дизъюнкты, не имеющие общих переменных; l и l — контрарная пара литер, каждая из которых принадлежит своему дизъюнкту; t — наиболее общий унификатор контратной пары литер.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]