Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/output/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 717 B image not shown  

Quelle  ShowUnivs.out   Sprache: unbekannt

 
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.25 Sekunden  ]