TY - RPRT TI - The finite basis problem for matrix semirings $\mathbf{M}_n(S_7)$ AU - Jun Jiao AU - Miaomiao Ren PY - 2026 UR - https://arxiv.org/abs/2607.09677 ID - 2607.09677 ER -