Similar to 項書き換え

• 

  合流性

  Confluence (abstract rewriting)
  
• 

  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
  
• 

  帰納言語

  Recursive language
  
• 

  帰納的可算言語

  Recursively enumerable language
  
• 

  不動点コンビネータ

  Fixed-point combinator
  
• 

  Μ再帰関数

  General recursive function
  
• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  形式体系

  Formal system
  
• 

  構成規則

  Formation rule
  
• 

  4次元多様体

  4-manifold
  
• 

  Mizar

  Mizar system
  
• 

  第7SS義勇山岳師団

  7th SS Volunteer Mountain Division Prinz Eugen
  
• 

  1812年ロシア戦役

  French invasion of Russia
  
• 

  1918年米騒動

  Rice riots of 1918
  ▲2 trends

  
• 

  I号戦車

  Panzer I
  ▲1 trends

  
• 

  第252予備役機甲師団 (イスラエル国防軍)

  252nd Division (Israel)
  
• 

  II号戦車

  Panzer II
  
• 

  III号突撃砲

  Sturmgeschütz III
  ▲1 trends

  
• 

  V号戦車パンター

  Panther tank
  ▲1 trends