The additively idempotent semiring \(S_7^0\) is nonfinitely based
摘要
We show that the additively idempotent semiring