Similar to 自動定理証明

• 

  ALGOL

  ALGOL
  
• 

  BASIC

  BASIC
  
• 

  0

  0
  
• 

  1

  1
  ▼-7 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  11世紀

  11th century
  
• 

  14世紀

  14th century
  
• 

  17世紀

  17th century
  ▼-1 trends

  
• 

  1930年代

  1930s
  
• 

  1933年

  1933
  
• 

  1966年

  1966
  
• 

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

  1984 Summer Olympics
  
• 

  1997年

  1997
  
• 

  1998 FIFAワールドカップ

  1998 FIFA World Cup
  
• 

  19世紀

  19th century
  ▼-1 trends

  
• 

  2000年

  2000
  
• 

  73イースティングの戦い

  Battle of 73 Easting
  
• 

  7世紀

  7th century
  
• 

  A-4 (航空機)

  Douglas A-4 Skyhawk
  
• 

  ACIM

  A Course in Miracles