Similar to 自動定理証明

• 

  1945年

  1945
  
• 

  ALGOL

  ALGOL
  
• 

  BASIC

  BASIC
  
• 

  0

  0
  ▼-1 trends

  
• 

  1

  1
  ▼-1 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  ▼-1 trends

  
• 

  8

  8
  
• 

  9

  9
  
• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  11世紀

  11th century
  
• 

  13世紀

  13th century
  
• 

  14世紀

  14th century
  
• 

  17世紀

  17th century
  
• 

  1930年代

  1930s
  
• 

  1984年ロサンゼルスオリンピック

  1984 Summer Olympics
  ▲3 trends

  
• 

  1997年

  1997
  
• 

  19世紀

  19th century
  
• 

  2000年

  2000
  
• 

  2,3,7,8-テトラクロロジベンゾジオキシン

  2,3,7,8-Tetrachlorodibenzodioxin
  
• 

  2型糖尿病

  Type 2 diabetes
  
• 

  73イースティングの戦い

  Battle of 73 Easting
  
• 

  7世紀

  7th century
  
• 

  9世紀

  9th century