Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
forall f : foo, ■ f = ■ f
: Prop
forall f : foo, ■ f = ■ f
: Prop
fun x : T => %% x
: T -> nat
fun x : T => %% x
: T -> nat
[ Dauer der Verarbeitung: 0.130 Sekunden
]
