Translation of "cut-elimination" into German

Gentzenscher Hauptsatz is the translation of "cut-elimination" into German.

cut-elimination
+ Add

English-German dictionary

  • Gentzenscher Hauptsatz

    mathematischer Satz

  • Show algorithmically generated translations

Automatic translations of "cut-elimination" into German

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "cut-elimination" into German in sentences, translation memory