TY  - RPRT
TI  - The finite basis problem for additively idempotent semirings of order four, I
AU  - Miaomiao Ren
AU  - Junyang Liu
AU  - Lingli Zeng
AU  - Menglong Chen
PY  - 2025
UR  - https://arxiv.org/abs/2407.15342
ID  - 2407.15342
ER  -