https://usiena-air.unisi.it/handle/11365/1303855
Codd's Theorem for Databases over Semirings
coddtheoremdatabasessemirings
https://journal.pmf.ni.ac.rs/filomat/index.php/filomat/article/view/25534/0
Rough intuitionistic fuzzy 2-absorbing primary ideals in semirings | ALI | FILOMAT
Rough intuitionistic fuzzy 2-absorbing primary ideals in semirings
primary idealsroughintuitionisticfuzzyabsorbing
https://unimath.github.io/agda-unimath/commutative-algebra.sums-of-finite-sequences-of-elements-commutative-semirings.html
Sums of finite sequences in commutative semirings - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
sumsfinitesequencescommutativesemirings
https://eudml.org/doc/134476
EuDML | Division Semirings with 1 + 1 = 1 .
divisionsemirings