最終更新日：2022/12/07
正解を見る
(logic) An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.
編集履歴（0）
元となった辞書の項目
Davis-Putnam algorithm
name
