Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
{- my_inductive_prop : logical inductive
with constructors : constr_1 constr_2 constr_3 constr_4
constr_5 constr_6 constr_7 -}
[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-04-28]
