Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
# -*- shell-script -*- :mode=shellscript:
TPTP_HOME="$COMPONENT"
ISABELLE_TOOLS="$ISABELLE_TOOLS:$TPTP_HOME/lib/Tools"
[Dauer der Verarbeitung: 0.25 Sekunden]
