(logic) An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.
Davis-Putnam algorithm
その大学院生は、複数の一階述語論理式を命題論理に還元した後、それらの妥当性を検証するためにデイヴィス＝プットナム法を用いた。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
