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 proving
  
• 

  TPTP

  Thousands of Problems for Theorem Provers
  
• 

  シークエント計算

  Sequent calculus
  
• 

  自動推論

  Automated reasoning
  
• 

  デービス・パトナムのアルゴリズム

  Davis–Putnam algorithm
  
• 

  導出原理

  Resolution (logic)
  
• 

  Mizar

  Mizar system
  
• 

  0

  0
  
• 

  1

  1
  ▲1 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  ▼-1 trends

  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  ▼-1 trends

  
• 

  12345679