Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
pre:
test ! -f ../theories/test.vo
post:
test -f ../theories/test.vo
touch done
[ Dauer der Verarbeitung: 0.22 Sekunden
]