Beweisnormalisierung

Der Prozess, einen Beweis in eine kanonische oder Normalform zu transformieren, indem Umwege, redundante Inferenzen und Umordnungskonversionen eliminiert werden, sodass der Beweis Lokalitäts- oder Minimalitätsbedingungen erfüllt, die für das jeweilige Beweissystem gelten.