{"entities":{"Q1825971":{"pageid":1836713,"ns":120,"title":"Item:Q1825971","lastrevid":73640019,"modified":"2026-04-14T16:45:27Z","type":"item","id":"Q1825971","labels":{"en":{"language":"en","value":"Equidivisible Kleene monoids and the Elgot-Mezei theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4122242"}},"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":"Q1825971$AD6FAAD0-C115-423B-A8D5-CBEFF62762FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d414f2ddeefea60794bc5e973ce99f30fc4dc4c","datavalue":{"value":{"text":"Equidivisible Kleene monoids and the Elgot-Mezei theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1825971$F6029D8A-1490-4987-82AB-7EC95EA09CAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"089cb3c824d3fa34c6f0761a82624ce824d34b5f","datavalue":{"value":"0685.20048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825971$8ED832EC-CBA3-40E1-A072-23DBEE36AAD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfd96aeb50d41c8117630e9ee8330303c73b20e8","datavalue":{"value":"10.1007/BF02573261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825971$6FEF059A-8452-49D1-AAE8-C595DFC37D3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3b51380cf6568c3f76650340a0ade3ea2734406","datavalue":{"value":{"entity-type":"item","numeric-id":1176619,"id":"Q1176619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825971$DF7164EA-5320-4A16-A0BB-399A08108658","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":"Q1825971$5571DBDF-5D02-40D3-B036-2A442EF8590F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1825971$3667CD5E-D4F2-4B48-9EC8-57BB85B7B9C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d760d85a470a69f3e830f4860810ce93e465b69","datavalue":{"value":"https://eudml.org/doc/135013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1825971$2CC55006-F95E-4F03-91EA-E66A07A37E21","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"537822d905dc0f1807938a5608d3bfd244d1f321","datavalue":{"value":"Let M be a monoid, \\(A^*\\) and \\(M^*\\) stand for the varying free monoids. A monoid M satisfies the Elgot-Mezei theorem if for any rational relations f: \\(A^*\\to M\\) and g: \\(M\\to C^*\\) the composition gf is rational too. The main result in the paper is that equidivisible Kleene monoids satisfy this theorem. The proof and some additional comments are supplied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825971$1D3AD79D-1E89-4D0B-AAA6-62C9195A9C2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825971$8C7498A5-8D15-444C-864E-E21E35043338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825971$7E20A488-8E1A-425F-A450-C1D35E7D8DAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20edfbfc336183776bcec5c083df7e4d37d68210","datavalue":{"value":"4122242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825971$93077720-8C70-498E-93C0-422413FD8507","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48b241c2e53ac9c4073e4f6a37f6442b7c79d7d","datavalue":{"value":"free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825971$14F53C56-6989-43A2-A9AD-2AE941AC2CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e180b9066d58c39bb6d9e3cfc10d0cbbe9dce9d9","datavalue":{"value":"Elgot-Mezei theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825971$5B0A43AA-4ADF-458F-A6E3-17A16720A838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148097ed7316e52cb883595e9f256272eac37b52","datavalue":{"value":"rational relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825971$8BD454E6-0583-4AA8-AC79-CED7F0C83E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e010fbbad6b109da665804d4d03afe3ee54644a","datavalue":{"value":"equidivisible Kleene monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825971$6815DA08-6E23-43C2-8D9E-1F9158E3D80D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9cc5f7effc0f7b49385411bb7354d3da876c65ec","datavalue":{"value":{"entity-type":"item","numeric-id":1160486,"id":"Q1160486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825971$BEB180A1-B5F5-4F09-85E6-8B579D22832C","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":"Q1825971$1FE92D57-8454-40A9-804D-B369C6F3C25F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0be50cf379a594c9ca16d338b9db1f1b1d42f71","datavalue":{"value":{"entity-type":"item","numeric-id":5646803,"id":"Q5646803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825971$865FFA98-0D30-4BDB-B6E9-62B2BDF8A70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825971$71D04912-FF10-44C7-8FC7-A80C1596CEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825971$3E92017E-58BA-4915-AE33-14D194A0C632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8323578f1bc3f7c7f8014c6f09aa7ff9af74a6","datavalue":{"value":{"entity-type":"item","numeric-id":5507511,"id":"Q5507511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825971$AEF62498-5CB2-4513-9A7F-636F39216215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d4bbee259fe2aa7c072cb07062c3cf93033cd5","datavalue":{"value":{"entity-type":"item","numeric-id":3687745,"id":"Q3687745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825971$E0C83444-085F-4087-8E47-FCD35768B565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81052ff5da1a9b70b7438d6113d6c490f60d54a7","datavalue":{"value":{"entity-type":"item","numeric-id":2523351,"id":"Q2523351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825971$74055C70-3E85-4827-9D03-36A0CFAFB8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf6a92203ebc49eb576eabb70ce82d23e3c5625","datavalue":{"value":{"entity-type":"item","numeric-id":2538217,"id":"Q2538217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825971$984C5A84-9C93-4A3C-9E38-A512B5B6E8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c878ddd493f2de47dca273e104c08a050dd0a0","datavalue":{"value":{"entity-type":"item","numeric-id":3695482,"id":"Q3695482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825971$7AA2542B-F5D0-493B-BB71-861130AEDE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f887d02cbb052dee2861a72437defa2e33afe78","datavalue":{"value":{"entity-type":"item","numeric-id":1101553,"id":"Q1101553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825971$50BAB7B8-BAE6-4132-A655-9D4EDC0FB486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a633825e99474a499c1c065945109d04fde6c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1097040,"id":"Q1097040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825971$D18ABAA0-DAA9-44D2-9B7E-8DD9F0EC718E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"068c870e84d75981942507ebefbc937b5db1999f","datavalue":{"value":"W2003807329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825971$A172D93D-1FBD-4380-83D6-E769CDC7BBF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe0cc91881e8bf6e07874350fed156f36c64719","datavalue":{"value":{"entity-type":"item","numeric-id":1176620,"id":"Q1176620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0b4775bda9c4fea53bd517e7ccdaf32c130127","datavalue":{"value":{"amount":"+0.8177279829978943","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":"Q1825971$2CCA17E3-AAFD-49F8-9057-B4A8D7706C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0501c32c90b6e5c8d850bf170b347a8a613177b7","datavalue":{"value":{"entity-type":"item","numeric-id":1359026,"id":"Q1359026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a71b9b4d0050ff42c087473c37b2ff2e8813f0","datavalue":{"value":{"amount":"+0.8170660138130188","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":"Q1825971$0E0C2421-DE2F-4A12-BF30-66E448E86E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1d8f610ac595209fc62433f70e3dceb5b6cf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1101553,"id":"Q1101553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1b23ac592d9e2808ef30b00430ac7671a54bfd","datavalue":{"value":{"amount":"+0.8042742609977722","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":"Q1825971$AA40EE34-10CA-4854-9025-FB2620BA073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d445f1d1ac4aa841704a1b504eec5651353ae846","datavalue":{"value":{"entity-type":"item","numeric-id":3777490,"id":"Q3777490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060a33cc742fbc056ea320c7a273c4032e30055a","datavalue":{"value":{"amount":"+0.7802834510803223","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":"Q1825971$3EDF62BC-303C-40E8-BE72-0C7BA0B077A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"548e22c3e421f6f424f9eee95e808c79116480e7","datavalue":{"value":{"entity-type":"item","numeric-id":3098035,"id":"Q3098035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96b6ed14f2fc4c0effa3b2c90d26a480e3bc6f5","datavalue":{"value":{"amount":"+0.7494835257530212","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":"Q1825971$6C33D103-7015-4686-A5E7-0C8828E19C9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equidivisible Kleene monoids and the Elgot-Mezei theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equidivisible_Kleene_monoids_and_the_Elgot-Mezei_theorem"}}}}}