TY - RPRT TI - The finite basis problem for additively idempotent semirings of order four, II AU - Mengya Yue AU - Miaomiao Ren AU - Lingli Zeng AU - Yong Shao PY - 2025 UR - https://arxiv.org/abs/2501.03263 ID - 2501.03263 ER -