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

Quelle  foo.v.time2   Sprache: unbekannt

 
Spracherkennung für: .time2 vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

Chars 54 - 72 [Definition~a~:=~1.] 0. secs (0.u,0.s)
Chars 74 - 94 [Definition~b~:=~2.] 1. secs (0.u,0.s)
Chars 96 - 114 [Definition~c~:=~3.] 1.5 secs (0.u,0.s)
Chars 127 - 145 [Definition~d~:=~4.] 0. secs (0.u,0.s)

[ Dauer der Verarbeitung: 0.51 Sekunden  ]