{"entities":{"Q1774121":{"pageid":1784863,"ns":120,"title":"Item:Q1774121","lastrevid":68925045,"modified":"2026-04-13T03:08:57Z","type":"item","id":"Q1774121","labels":{"en":{"language":"en","value":"Locally closed semirings and iteration semirings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2162477"}},"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":"Q1774121$1F3ED2DF-DEE6-4CCA-9432-89A183C05278","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0f461fccfe4f33d1d12f6aeb083e896b617b7a9","datavalue":{"value":{"text":"Locally closed semirings and iteration semirings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1774121$FB24B34B-9DE9-48F8-9EEF-914202B0BCFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c96d5ab04df658aa55c260db51fd0ca62412879","datavalue":{"value":"1072.16041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774121$1EDDDD8D-C864-4C6A-A85B-C4071703168F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8db2de2e4de16011305e7d479756a49b1f0e735","datavalue":{"value":{"entity-type":"item","numeric-id":391752,"id":"Q391752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774121$29C60E1A-D267-45C0-AEE1-E7B614A82414","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774121$6A5B67D4-1BFC-4730-962D-1A72AD95AD07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfdd76c6ace7e0d57b8524faf2ffe47b441fd852","datavalue":{"value":{"time":"+2005-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1774121$A61BF6C2-6BC4-43EE-A169-D1FCFDAD7E73","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b7d4816dc90f0b470caae7b3ae3d01b4ef3697a","datavalue":{"value":"A *-semiring is an additively commutative semiring \\((S,+,\\cdot)\\) with absorbing zero and identity 1 equipped with a star operation \\(^*\\colon S\\to S\\). If \\((x+y)^*=(x^*y)^*x^*\\) and \\((xy)^*=1+x(yx)^*y\\) for all \\(x,y\\in S\\) then \\((S,+,\\cdot)\\) is called a Conway semiring. An iteration semiring is a Conway semiring satisfying all so-called group-equations.   Now, let \\((S,+,\\cdot)\\) be a locally closed semiring, i.e., for every \\(a\\in S\\) there is some integer \\(k\\geq 0\\) such that \\(1+a+\\cdots+a^k=1+a+\\cdots+a^{k+1}\\). Then \\((S,+,\\cdot)\\) becomes a star semiring by the star operation \\(a^*=1+a+\\cdots+a^k\\).   It is proved that every locally closed semiring is a Conway semiring. Moreover, if \\((S,+,\\cdot)\\) is locally closed then, for any nonnegative integer \\(n\\), the matrix semiring \\(S^{n\\times n}\\) is also locally closed. This implies that every locally closed semiring is an iteration semiring.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774121$7A4207B3-4D2F-47F6-B3FE-6C1DCE1DBF7E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25d14f9be0f112f56e2e224659a17e1e16a871a7","datavalue":{"value":{"entity-type":"item","numeric-id":213088,"id":"Q213088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774121$37E07206-87C2-4C76-8D2D-0EE552ACACDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774121$E23A39F9-85C4-488B-892E-E863F6555BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774121$B896AEB8-0532-4002-9808-06B38A5ABA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774121$CD8BF7C6-AAE2-40BC-BDF9-84AE55D4E7F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c6e770e3af923c5a04713994bd087f7616847c2","datavalue":{"value":"2162477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774121$7597F191-C5A8-429F-BD78-0A84562C6301","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"484ecc6fd1175738289301f2b7b748f5703e517f","datavalue":{"value":"locally closed semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774121$84D9A2D5-FD09-4D75-9FDD-209782E26EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63b7e32b808583ac39b5fdd4a5309185f38f70b4","datavalue":{"value":"iteration semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774121$D126084B-FA5B-4D77-969D-2251FBA0993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0b1ab355335edfa72be97e995292c359518232","datavalue":{"value":"Conway semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774121$F46CE433-6679-4E0D-800F-6F79631652FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adcef7f6921d528563a889bb3aed78c2d0711057","datavalue":{"value":"matrix semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774121$50546F57-011E-40BE-8057-E2AA9D7002A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69a20193ef3d0040d3ab613d43c83178474dd6f7","datavalue":{"value":"polynomial semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774121$99DADF69-CD68-4489-B281-80B519E288CF","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":"Q1774121$8511DCC5-EE7D-4242-A485-B5BC9534F5DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d541d26380e966ea8b0e9ff3d7d3943d9cd579c1","datavalue":{"value":"https://doi.org/10.1007/s00605-004-0265-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1774121$FD063AA8-E5F3-4AC6-A8A1-1D9E7D3D6358","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb06d319f4173afa9490d6e79a35b76bd1819d3d","datavalue":{"value":"W2127942730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774121$A604C8BC-2857-4E54-8316-1357735E9A45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7454d4d6cb1a4bdf26be6e8a561f9a9bc1af8e2","datavalue":{"value":"10.1007/S00605-004-0265-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774121$1729F085-C337-4388-8E5A-7586F42B4B8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21fc048a9bef57f7c0453c0b0f4c6f7601571ccb","datavalue":{"value":{"entity-type":"item","numeric-id":1849558,"id":"Q1849558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32968836948e99f5bc30247d48b668e8ab5fe7d","datavalue":{"value":{"amount":"+0.9370561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1774121$3B047C3D-59BC-42C5-B4AB-4498E4FAA381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e28568e17820f30a57ac5fdb15a9adc2f767256","datavalue":{"value":{"entity-type":"item","numeric-id":2460063,"id":"Q2460063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4f3fec38b17ebdfa67dad8101bcfdb208b3770","datavalue":{"value":{"amount":"+0.90282404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1774121$5DD2AD07-22C2-4BA7-ABEE-A14E39D778A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a942782734147e9f82ae0b7bec8dcced2fa9d877","datavalue":{"value":{"entity-type":"item","numeric-id":3532996,"id":"Q3532996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3983992fa101213a2a3364df411400466ea9e9a3","datavalue":{"value":{"amount":"+0.88612044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1774121$A08C1E30-D8D4-4E12-B0A3-592B65E3D2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc4af3f2c6ed0031fef673e61960a673eb11b72e","datavalue":{"value":{"entity-type":"item","numeric-id":2755377,"id":"Q2755377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ad118148a98592027ae564127b2d28f54f388b","datavalue":{"value":{"amount":"+0.8850088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1774121$1F645105-CCD5-4DA6-B926-BD836DAC071D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46fe8ac583349f904a722b92bb93c8caaed9393","datavalue":{"value":{"entity-type":"item","numeric-id":3682637,"id":"Q3682637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a309262332531d76a3078e7eb35c30087e8eee","datavalue":{"value":{"amount":"+0.87556183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1774121$BD83DC6B-0FAC-47FB-B772-6E3432A4FD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cdc7358f84799d41dcbcad0691d6e9a27148411","datavalue":{"value":{"entity-type":"item","numeric-id":5901505,"id":"Q5901505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f3f422467092d5ead3c1a2c94ef9f76bd8432f","datavalue":{"value":{"amount":"+0.8720774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1774121$998B66E4-9D4F-499B-B4B2-DC4FD5AA882E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052741356776cae2c174538ba0a5232dd2e0921f","datavalue":{"value":{"entity-type":"item","numeric-id":5718439,"id":"Q5718439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e22d8fa76da1a1cde236137b87955344783b907","datavalue":{"value":{"amount":"+0.8720719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1774121$B9278083-A7D6-4AC2-B222-41ED663F2EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c2bcd35b42c426d123607a6330fbeffa6e4cd3","datavalue":{"value":{"entity-type":"item","numeric-id":3009686,"id":"Q3009686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba721111637761028ada9cb113aa246288081473","datavalue":{"value":{"amount":"+0.87122726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1774121$2B68D623-5DDE-4DA4-B671-FF409DD8DF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e26f09ce474d0f60c5caa0b84d1a163d2140e56","datavalue":{"value":{"entity-type":"item","numeric-id":5489842,"id":"Q5489842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f581e753589005493479169304b6e43f6ac4010d","datavalue":{"value":{"amount":"+0.8710439","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1774121$4961EBAA-9A77-4EAB-B187-9D98F866CE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ee8ec5197a5b8754758bf0862fc126813c5b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3096235,"id":"Q3096235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90435b8429c911dfc26ca43200a531178325ac30","datavalue":{"value":{"amount":"+0.8688941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1774121$2A0F8218-73D4-49E8-93B1-56E5493ECBF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Locally closed semirings and iteration semirings.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Locally_closed_semirings_and_iteration_semirings."}}}}}