Berechnung Minimaler Modelle

Der Prozess der Berechnung von Modellen einer Theorie oder Spezifikation, die bezüglich Mengeneinschluss oder einer gegebenen Ordnung minimal sind; oft verwendet, um kanonische, sparsame oder beabsichtigte Lösungen unter vielen Modellen zu erfassen.