Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/kbmag/standalone/ag_data/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 3.0.2023 mit Größe 216 B image not shown  

Quelle  summaryb   Sprache: unbekannt

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

autgroup -vkb -l -diff1 cox5335
3770.34u 15.71s 1:03:20.78 99.6%

autgroup -vkb -l surgery
3774.58u 18.57s 1:03:27.77 99.6%

autgroup -vkb -l johnsonb
#Axiom verification succeeded!!
8770.73u 47.65s 2:27:26.98 99.6%

[ Dauer der Verarbeitung: 0.35 Sekunden  ]