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