generated at
自動定理証明
ATP : automated theorem proving
自動推論
エルブランの定理
導出原理
形式的検証
論理プログラミング
モデル検査
数式処理システム
General Problem Solver

https://ja.wikipedia.org/wiki/自動定理証明