TY - RPRT TI - The variety generated by all additively idempotent semirings of order four AU - Mengya Yue AU - Xiaolei Shao PY - 2026 UR - https://arxiv.org/abs/2609.20568 ID - 2609.20568 ER -