@misc{indiciae69eba1a5fcb8, title = {The finite basis problem for additively idempotent semirings of order four, I}, author = {Miaomiao Ren and Junyang Liu and Lingli Zeng and Menglong Chen}, year = {2025}, url = {https://arxiv.org/abs/2407.15342}, note = {Source identifier: 2407.15342} }