TY - RPRT TI - The additively idempotent semiring $S_7^0$ is nonfinitely based AU - Yanan Wu AU - Miaomiao Ren AU - Xianzhong Zhao PY - 2023 UR - https://arxiv.org/abs/2308.03101 ID - 2308.03101 ER -