TY  - RPRT
TI  - The finite basis problem for additively idempotent semirings of order four, IV
AU  - Miaomiao Ren
AU  - Mengya Yue
AU  - Mengyu Yuan
AU  - Simin Lyu
AU  - Chenyu Yang
AU  - Ting Yu
PY  - 2026
UR  - https://arxiv.org/abs/2609.32152
ID  - 2609.32152
ER  -