Similar to TPTP

• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  0

  0
  
• 

  1

  1
  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  ▼-1 trends

  
• 

  5

  5
  
• 

  6

  6
  ▼-1 trends

  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  12345679

  
• 

  自動定理証明

  Automated theorem proving
  
• 

  F* (プログラミング言語)

  F* (programming language)
  
• 

  シークエント計算

  Sequent calculus
  
• 

  自動推論

  Automated reasoning
  
• 

  タブローの方法

  Method of analytic tableaux
  
• 

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

  Davis–Putnam algorithm
  
• 

  導出原理

  Resolution (logic)
  
• 

  反ユニフィケーション

  Anti-unification
  
• 

  ユニフィケーション

  Unification (computer science)
  
• 

  数学

  Mathematics
  
• 

  0.999...

  0.999...
  ▼-4 trends

  
• 

  0次元

  Zero-dimensional space
  
• 

  0の0乗

  Zero to the power of zero
  
• 

  1次元

  One-dimensional space
  
• 

  1+1

  
• 

  1+1+1+1+…

  1 + 1 + 1 + 1 + ⋯