Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
UNIVERSES:
{w v u} |= u <= v
v <= w
ALGEBRAIC UNIVERSES:
{}
FLEXIBLE UNIVERSES:
SORTS:
WEAK CONSTRAINTS:
Normalized constraints:
{w v u} |= u <= v
v <= w
UNIVERSES:
{ShowUnivs.28 ShowUnivs.27 ShowUnivs.26 ShowUnivs.25 ShowUnivs.24} |=
ShowUnivs.25 < ShowUnivs.26
ShowUnivs.26 < ShowUnivs.27
ShowUnivs.26 <= ShowUnivs.28
ShowUnivs.27 <= ShowUnivs.24
ShowUnivs.28 <= ShowUnivs.24
ALGEBRAIC UNIVERSES:
{ShowUnivs.28 ShowUnivs.27 ShowUnivs.24}
FLEXIBLE UNIVERSES:
ShowUnivs.28
ShowUnivs.27
ShowUnivs.26
ShowUnivs.24
SORTS:
α1 := Type
α2 := Type
α3 := α1
WEAK CONSTRAINTS:
Normalized constraints:
{ShowUnivs.26 ShowUnivs.25} |= ShowUnivs.25 < ShowUnivs.26
[Dauer der Verarbeitung: 0.16 Sekunden, vorverarbeitet 2026-06-04]
