Similar to ユニフィケーション
反ユニフィケーション
Anti-unification
DPLLアルゴリズム
DPLL algorithm
論理プログラミング
Logic programming
Guarded Command Language
Guarded Command Language
自己認識論理
Autoepistemic logic
制約論理プログラミング
Constraint logic programming
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
Prolog
Prolog
ホーア論理
Hoare logic
自動定理証明
Automated theorem provingTPTP
Thousands of Problems for Theorem Provers
シークエント計算
Sequent calculus
自動推論
Automated reasoning
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
導出原理
Resolution (logic)
Mizar
Mizar system
0
0
1
1▼-3 trends
2
2
3
3▼-1 trends
4
4
5
5
6
6
7
7
8
8
9
9
12345679