@misc{indiciae2afc1c26ef37, title = {The finite basis problem for additively idempotent semirings of order four, IV}, author = {Miaomiao Ren and Mengya Yue and Mengyu Yuan and Simin Lyu and Chenyu Yang and Ting Yu}, year = {2026}, url = {https://arxiv.org/abs/2609.32152}, note = {Source identifier: 2609.32152} }