Definitions from Wikipedia (Cut-elimination theorem)

▸ noun:  The cut-elimination theorem (or Gentzen's Hauptsatz) is the central result establishing the significance of the sequent calculus.


▸ Words similar to cut-elimination theorem
▸ Usage examples for cut-elimination theorem

▸ Idioms related to cut-elimination theorem
▸ Wikipedia articles (New!)
▸ Words that often appear near cut-elimination theorem
▸ Rhymes of cut-elimination theorem

▸ Invented words related to cut-elimination theorem