@misc{indiciae98fc2531c4f3,
  title = {The finite basis problem for additively idempotent semirings of order four, III},
  author = {Miaomiao Ren and Zexi Liu and Mengya Yue and Yizhi Chen},
  year = {2025},
  url = {https://arxiv.org/abs/2504.07511},
  note = {Source identifier: 2504.07511}
}