{"entities":{"Q2460063":{"pageid":2470806,"ns":120,"title":"Item:Q2460063","lastrevid":44129022,"modified":"2025-11-20T05:39:06Z","type":"item","id":"Q2460063","labels":{"en":{"language":"en","value":"On iteration semiring-semimodule pairs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211606"}},"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":"Q2460063$7F82ADB2-6893-44F8-A361-CD13F3504E7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5f2c834695133b170e3ca2158d8943bb04b05f1","datavalue":{"value":{"text":"On iteration semiring-semimodule pairs.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2460063$12ABA96C-A788-4316-985E-22430EB99706","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8de387338f89827d6edc341d0d95b9f219086c5","datavalue":{"value":"1155.16035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460063$874BFE70-ED8D-4941-9D6F-C0A068350931","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460063$273A2DC7-00E4-447A-9659-90CDA1A7499C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb246d74428bf95f3ed2ed9a3bb24dd112fcb276","datavalue":{"value":{"time":"+2007-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2460063$8E0BAFE5-098E-4631-B97A-4F9E81D0301D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1539ee1add67bd0fad989376e0a7a98610f65570","datavalue":{"value":"A semiring-semimodule pair \\((S,V)\\) is given by a semiring \\((S,+,\\cdot)\\) and a left \\(S\\)-semimodule \\((_SV,+)\\), and \\((S,V)\\) is called a starsemiring-omegasemimodule pair if unary operations \\(*\\colon S\\to S\\) and \\(\\omega\\colon S\\to V\\) are defined. Moreover, \\(S\\) is a Conway semiring if the Conway equations \\((a+b)^*=(a^*b)^*a^*\\) and \\((ab)^*=1+a(ba)^*b\\) for all \\(a,b\\in S\\) hold, and \\((S,V)\\) is a Conway semiring-semimodule pair if also \\((a+b)^\\omega=(a^*b)^\\omega+(a^*b)^*a^\\omega\\) and \\((ab)^\\omega=a(ba)^\\omega\\) are satisfied. Finally, a Conway-semiring semimodule pair is called an iteration semiring-semimodule pair if the star and omega group equations for each finite group are satisfied.   It is shown that complete semiring-semimodule pairs as well as so-called bi-inductive semiring-semimodule pairs are natural examples of iteration semiring semimodule pairs. It is well known, that semiring-semimodule pairs \\((S,V)=(Q\\P,Q0)\\) can also be described in terms of quemirings \\((Q,\\cdot,+,\\P,0,1)\\). Now it is proved that, if \\((V,+)\\) is idempotent, the Conway equations hold if and only if the quemiring \\(Q\\) embeds in a Conway semiring. The corresponding result is true for iteration semirings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460063$5697ABF7-7736-4B24-BD83-CF3E2C821CF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460063$76CB6323-8392-40D8-AEBC-09773D7A97E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460063$89083A5F-170F-4254-A7A7-4C0487FC79BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460063$87193BAB-077E-44CF-85A5-3ECA033E7FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460063$D188DAAD-4842-4A9A-8D76-7E9B9AAE3CBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9bb59ca31b531e70aa575bbe280a49e6e6feee2","datavalue":{"value":"5211606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460063$5826FC7A-2120-4A91-8C78-6FEC9B7CAC55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63b7e32b808583ac39b5fdd4a5309185f38f70b4","datavalue":{"value":"iteration semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460063$55E2B44B-9C9F-443C-A0D9-01495B0EC35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc8bde570b4df7dec9fa05f1fcc27ff42a6d5463","datavalue":{"value":"star-semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460063$594B04F8-0016-4CD2-9B75-BA7021CBF7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0b1ab355335edfa72be97e995292c359518232","datavalue":{"value":"Conway semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460063$AE73E472-B17C-44F8-8520-4F26FD570779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"568cdd4703f15f01050bcc72927aa1ddcf331b40","datavalue":{"value":"semiring-semimodule pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460063$8E016FC1-660F-45D8-BF36-7BC24B211307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eb39ef01fb61ac7c54f6bf5e631b151c1444678","datavalue":{"value":"quemirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460063$F793B776-9A95-4EEF-9857-829C04EE99FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460063$9BD48C3E-5B50-4048-A36D-5CF95C19077B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce11f4b3a69e8357fb668d5048be9658c17e247","datavalue":{"value":{"entity-type":"item","numeric-id":672828,"id":"Q672828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460063$3E6C20C8-A982-491B-B2C6-FA3B08911F7F","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":"Q2460063$54244C32-1623-49F9-BB66-1DF6DE4D46B2","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":"Q2460063$0510502D-B1E4-4FAE-AD59-EF4D360B817F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78dcff2e9cc771a549594e634cfc547342d55453","datavalue":{"value":"https://doi.org/10.1007/s00233-007-0709-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2460063$42972DC9-3C87-447C-912E-6AA5D59839BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2661f921f3701d54204a1c3f442189a674f7d33d","datavalue":{"value":"W2057864982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460063$1AD6D287-AEDD-4D42-AC92-7D7B11473E23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb557a60bade671ccb41e99faecc24f5b64bad8c","datavalue":{"value":"10.1007/S00233-007-0709-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460063$E580496C-CCE3-4C89-B963-A6BBAE29E80B","rank":"normal"}],"P1643":[{"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":"b4daed93c1bf2f53b9ee5a57219ca90e2e1e1e02","datavalue":{"value":{"amount":"+0.93849236","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":"Q2460063$5D3A7CE1-A5EB-43EA-B18C-CCE30EFC7456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8722501dfcae658eb515d5df637f4174e170b28","datavalue":{"value":{"entity-type":"item","numeric-id":3098033,"id":"Q3098033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481b1d599ec4cf99a67af2764d2cca999b66e679","datavalue":{"value":{"amount":"+0.9234523","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":"Q2460063$95D06977-551E-4B93-B5AD-A09E14400D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77513fcbfe4c08294db78acf631e3e415e25020","datavalue":{"value":{"entity-type":"item","numeric-id":3073228,"id":"Q3073228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572eff53832393822bdb7b75cf403e5c118af342","datavalue":{"value":{"amount":"+0.92308867","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":"Q2460063$1A931144-D854-4F97-B2D6-94E09F61D859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ce114acf3006944147ca17f1d38ccc979dc3c4","datavalue":{"value":{"entity-type":"item","numeric-id":373468,"id":"Q373468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6a7f2ee9a859db08f90d270f1ef2aeb4e9d084","datavalue":{"value":{"amount":"+0.91408056","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":"Q2460063$B83B93BB-2627-48B4-90E9-F75782E484FE","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":"23f032e4f9cfabf8b77be9030a9f29153607ad73","datavalue":{"value":{"amount":"+0.9117285","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":"Q2460063$9D1D7C5A-E543-43DF-BA33-05217155F402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a53cd54a2b8366f71b57c11185713fe103e49f","datavalue":{"value":{"entity-type":"item","numeric-id":4848302,"id":"Q4848302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b373a246fdb4b7d5817f746b64fced6339317b86","datavalue":{"value":{"amount":"+0.9109503","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":"Q2460063$81C1EF53-2B81-4290-8D1B-B1CCD2E05100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed11a4eea011f1ca1282076b757f24b16f5580b","datavalue":{"value":{"entity-type":"item","numeric-id":5474548,"id":"Q5474548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5115faeb9404dc606a41e1f0a9143f553c97f40","datavalue":{"value":{"amount":"+0.90936726","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":"Q2460063$16027996-674D-4FA2-AAAF-BB3EAF97ED9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c7751c2eae69dca86b6bbb742cc56fa2f88dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5507058,"id":"Q5507058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9c6777477b00a48b3429d179e9c418f5b3303e","datavalue":{"value":{"amount":"+0.90528744","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":"Q2460063$BFFCFC9B-F30A-483D-BEEC-69257FFC261A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6299903325a964dcc70c4b0f50286f4200db84d","datavalue":{"value":{"entity-type":"item","numeric-id":1774121,"id":"Q1774121"},"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":"Q2460063$10BB0080-E182-4209-9896-B7FE93B354C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241d1432ba794aa824b2dec14ef82afb835e3ed3","datavalue":{"value":{"entity-type":"item","numeric-id":4664465,"id":"Q4664465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02aab93eb8777fec09e6ca8f2ea0dc42638cfab1","datavalue":{"value":{"amount":"+0.8978381","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":"Q2460063$8172CDCD-D95B-44B0-84A8-8C561816ADA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2460063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2460063"}}}}}