{"entities":{"Q1962476":{"pageid":1973218,"ns":120,"title":"Item:Q1962476","lastrevid":71191602,"modified":"2026-04-13T20:14:44Z","type":"item","id":"Q1962476","labels":{"en":{"language":"en","value":"The lattice of idempotent distributive semiring varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1395730"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$DFEDFFB5-715E-4ABB-A559-7EDB5346F1C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efcbbb58de01109925cb5f3b9b4fd2094ca71c65","datavalue":{"value":{"text":"The lattice of idempotent distributive semiring varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1962476$9F493016-5388-42B1-96AA-FF32E20B2FD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dab1efe110715ea14e3cf6be0ed7c5fb50024c96","datavalue":{"value":"0947.16036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962476$BD5995AA-A763-49A8-AA5B-34258AB2C5CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2c202a53dc34d5209f7341730b1567798109caa","datavalue":{"value":"10.1007/BF02884266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962476$52012E89-B5C3-4049-A6F6-95CBA169C5DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab25a31cccf0848ca3d6932e6a326fca88d1410","datavalue":{"value":{"entity-type":"item","numeric-id":744857,"id":"Q744857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$428DF7F5-FEE5-419A-841B-6DD19CE75245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2888e1ee03b9fe2a01ff336e4eba8238cea8c29b","datavalue":{"value":{"entity-type":"item","numeric-id":1105048,"id":"Q1105048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$33AE7597-2331-4853-BA18-583B34D5EA32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"458fca2b56f2582953e7095ef1b99c53dd52a001","datavalue":{"value":{"entity-type":"item","numeric-id":547811,"id":"Q547811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$488A3658-94B5-4243-8328-83A3F114073B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd456ef6ab7cae4a6f61a387797e6abe10a0f668","datavalue":{"value":{"time":"+2000-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1962476$048D9921-60C1-43D8-8A6F-327A3406A06A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"34da95ac5db525054c1bab721a9fa263300a0306","datavalue":{"value":"A semiring \\((S,+,\\cdot)\\) is an algebra with two binary operations \\(+\\) and \\(\\cdot\\) such that the reducts \\((S,+)\\) and \\((S,\\cdot)\\) are semigroups and in which the two distributive laws \\(x(y+z)=xy+xz\\), \\((y+z)x=yx+zx\\) are satisfied. A band is a semigroup in which every element is an idempotent. An idempotent semiring is a semiring where both the additive reduct and multiplicative reduct are bands. A distributive semiring is a semiring which satisfies the dual two distributive laws \\(x+yz=(x+y)(x+z)\\), \\(yz+x=(y+x)(z+x)\\).   In the present paper, the variety \\(ID\\) of all idempotent distributive semirings is investigated. A solution is given for the word problem for free idempotent distributive semirings. Using this solution the lattice \\(L(ID)\\) of subvarieties of \\(ID\\) is determined. It turns out \\(L(ID)\\) is isomorphic to the direct product of a four-element lattice and a lattice which is itself a subdirect product of four copies of the lattice \\(L(B)\\) of all band varieties. In the semigroup theory, it is well-known that \\(L(B)\\) is countable infinite and distributive. Therefore \\(L(ID)\\) is countable infinite and distributive. Using the known semigroup fact about finite bases of any band variety, it is proved that every subvariety of \\(ID\\) is finitely based.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962476$A9BEB45F-9CEF-44EE-B55B-06118C0E59FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962476$F19EDC62-B72E-4922-B999-DA83A3D39C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962476$057EE67E-B0B5-4A54-B655-27E27E0565C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962476$4C01B10A-EF39-42E3-856F-1A536A410028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962476$01BF464C-B8F1-4900-9329-8A5DC9077877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962476$24ACCE98-BE3A-4625-ACC8-5FF92429A55C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f4cab70d4084e6cd043581729accee4d5da9f80","datavalue":{"value":"1395730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962476$B8FC9E59-D97F-481B-A15F-5655A8E9BE0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f5a4f82c5508a62da7a13edf70c9d7faedef77","datavalue":{"value":"varieties of semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962476$E65B466B-6FA7-47AF-9B9C-73B91E406457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f88fc890dc5a61b72996b3cbab9d1ab92de0829","datavalue":{"value":"idempotent semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962476$F9747A7D-9582-4481-A473-FE936C25B6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58b2b0206c8018ae05349a8f64b2ca666d72f3b9","datavalue":{"value":"distributive semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962476$48FC6749-4AFF-42EF-98AE-84166ACD789E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e4b22f8098ebd401623f61ce88938e281f96537","datavalue":{"value":"bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962476$8DFD0E5D-2B02-4583-ACFD-B631D48DAE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba259c5c06af63100955fccf8bc8b370e89eaee","datavalue":{"value":"word problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962476$0A201BE5-FD66-477A-A3AC-7FCA09385D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c10e53b1daf88346ae6306856e03a69c18b413a8","datavalue":{"value":"free idempotent distributive semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962476$67E0CBD7-A2F8-488A-A053-01D594C40F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee41da51037cda23269e3c40d9a7e100b37c6024","datavalue":{"value":"lattices of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962476$B2C56A20-BD3D-4054-9BD2-9F6FA5672497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0811fddd6492faef424fd7567085879af3aa64c6","datavalue":{"value":"finitely based varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962476$28F233B8-478A-4579-9A19-0B2F718792AE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c991645c7824f944f90b46b0b7cd4fc8cfc118","datavalue":{"value":{"entity-type":"item","numeric-id":1372639,"id":"Q1372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$A43D90F6-C62F-4CC1-9E04-C65A558A4B13","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$A6946589-2E85-4E1B-9B17-DE4BFB4D050E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65d65d16faac3beb6188fee34586113d43e75b8","datavalue":{"value":{"entity-type":"item","numeric-id":1051076,"id":"Q1051076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$7767E1F8-595E-452F-B054-BBD21EAC3B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea0ba6d37674d0a06a81430c5e9585de46b02e9","datavalue":{"value":{"entity-type":"item","numeric-id":3659940,"id":"Q3659940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$74DA9B5A-5055-4C0C-B4A4-684D19190EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$5B7CBAD5-873B-4ADA-9284-0777D216BE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$2633C1DC-5C1A-4436-97AE-136E7D29F02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790d8cbbc3a5de5eb621f1753473a027e58a831d","datavalue":{"value":{"entity-type":"item","numeric-id":3831206,"id":"Q3831206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$516BB530-FACD-4EF3-ADBC-1969E0F2F120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3178c3d40d66f56d2d200dcb9a13a12b2140b77b","datavalue":{"value":{"entity-type":"item","numeric-id":4148155,"id":"Q4148155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$11A3CE3E-E7DF-4C44-A383-71EF848CA60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4295df27c7d3192fbe11cb363b3d8f7e2dd60ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3966195,"id":"Q3966195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$46F1F472-5020-479D-99E3-4482D69F019A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4607a759880db20f15abbcce4041b5996d761fcd","datavalue":{"value":{"entity-type":"item","numeric-id":5555008,"id":"Q5555008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$542D39FF-7B67-445C-AC94-FFA1F753D5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bb4c2a260cdb31e11e21eda501f39a7d67246a","datavalue":{"value":{"entity-type":"item","numeric-id":4075625,"id":"Q4075625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962476$AB36E121-50F8-486A-873B-C5383F7573CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a2d0f48d4322607a37975111e1237b6e82e73b","datavalue":{"value":{"entity-type":"item","numeric-id":1976426,"id":"Q1976426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2aeb3789a2439b91568213ee23dfe2552c4451c","datavalue":{"value":{"amount":"+0.8800087571144104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1962476$E0082AB4-D5EB-4724-9313-7EBFC08A77B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c92fc734d7e425b8782b0069cc5dcd93fd93a03a","datavalue":{"value":{"entity-type":"item","numeric-id":2491187,"id":"Q2491187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2aeb3789a2439b91568213ee23dfe2552c4451c","datavalue":{"value":{"amount":"+0.8800087571144104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1962476$D143826E-0B31-4EC8-826D-31D7AC0B678A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5aa540c95a56508af42796b0d5da43d494cf60c","datavalue":{"value":{"entity-type":"item","numeric-id":2577769,"id":"Q2577769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d12fc315ed01f6f365544b96d348e1c8755370e","datavalue":{"value":{"amount":"+0.8769485354423523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1962476$D37FCD1E-70A5-4FB4-A6D7-992C87ED8009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16265cf6eea9944617139f1fde3191e96c71edb","datavalue":{"value":{"entity-type":"item","numeric-id":5483816,"id":"Q5483816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0306c7f02c3a326dc056086234b8a4e5ce161a","datavalue":{"value":{"amount":"+0.856913685798645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1962476$29AF51C9-B1B5-42E2-9C8C-D3075DB27446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314da7365e8c1bdef4d03374caecf23c5f5115ac","datavalue":{"value":{"entity-type":"item","numeric-id":3591180,"id":"Q3591180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3892ad33c9e612edf84a28f3029860492dca132f","datavalue":{"value":{"amount":"+0.8461066484451294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1962476$9DB97514-CAF5-47EC-840B-5E1F7AEBC05A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The lattice of idempotent distributive semiring varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_lattice_of_idempotent_distributive_semiring_varieties"}}}}}