Математическая энциклопедия:
Алгоритмическая проблема распознавания равенства (тождества) слов в алгебраич. системе ( группе, подгруппе и др.) с заданной образующей и определяющими соотношениями.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020