Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#2-generator free abelian group (with this ordering KB terminates - but no all)
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [a,A,b,B],
inverses := [A,a,B,b],
equations := [[B*a*b,a]]
);
[Dauer der Verarbeitung: 0.10 Sekunden, vorverarbeitet 2026-06-18]
