О разрешимости эквациональной теории коммутативных медиальных $n$-арных группоидов

В работе доказывается разрешимость эквациональной теории коммутативных медиальных $n$-арных группоидов с помощью построения алгоритма, решающего вопрос о выполнимости тождества $u=v$ в многообразии коммутативных медиальных $n$-арных группоидов.