Spracherkennung für: .out vermutete Sprache: Haskell {Haskell[186] CS[484] Abap[590]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
'Under[ m - m ]
(G (fun _ : nat => 0) n >= 0)
'Under[ r = R0 \/ E r ]
(Rbar_le Rbar0 (Lub_Rbar (fun r : R => r = R0 \/ E r)))
[ Dauer der Verarbeitung: 0.70 Sekunden
]
