二元歸結式（binary resolvent）是2018年公布的計算機科學技術名詞。 基本介紹 中文名：二元歸結式外文名：binary resolvent所屬學科：計算機科學技術公布時間：2018年 定義,出處, 定義通過最一般合一消去兩個子句中的互補文字然後予以合併而生成的子句。出處《計算機科學技術名詞 》第三版。
