{"entities":{"Q1849635":{"pageid":1860377,"ns":120,"title":"Item:Q1849635","lastrevid":57580791,"modified":"2026-03-31T11:51:17Z","type":"item","id":"Q1849635","labels":{"en":{"language":"en","value":"A complete rewrite system and normal forms for \\((S)_{\\text{reg}}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1837339"}},"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":"Q1849635$AE5599AA-7846-4AFF-9FA0-89CCA4D76FD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc4f9c07aa2278bb815c7e049c5446b70a60c4bc","datavalue":{"value":{"text":"A complete rewrite system and normal forms for \\((S)_{\\text{reg}}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1849635$5785673C-0207-41A6-97AE-A1129AEA15A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6091ca08f32b512609f58fb7b2ab25cf25cd1182","datavalue":{"value":"1016.20045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849635$B3494C39-4083-41DB-8892-F16CC45FDB4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1af85c7b2f6fd07526dd5f6ad7e9d1c876779e29","datavalue":{"value":{"entity-type":"item","numeric-id":766115,"id":"Q766115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849635$14B3B5A9-06D4-4A62-8C5B-D111AABD6FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49765b9386a0e4b33959826d4b969fa5873a565a","datavalue":{"value":{"entity-type":"item","numeric-id":700387,"id":"Q700387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849635$48F27C59-7D1A-47C4-9F64-2042601303BB","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":"Q1849635$11552986-AA87-4B8C-ADED-DBDE3AC1B807","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0678386c3121cdf68e0eb1f8c81710720679d33","datavalue":{"value":{"time":"+2002-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1849635$83679147-CEEE-4807-B7E3-324C0CF3EB1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"377f1f5201380a32855dd932544dff33f9b4b2d6","datavalue":{"value":"https://arxiv.org/abs/math/0112229","type":"string"},"datatype":"url"},"type":"statement","id":"Q1849635$8123BD8B-0B0D-427B-9F25-E169F76286CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1d99f6d1ec10475ce0b7d7e841fb9c1db4b433cd","datavalue":{"value":"Let \\(S\\) be a semigroup and denote by \\(\\widehat S\\) its left-right-iterated Rhodes expansion. \\textit{J.-C. Birget} [J. Pure Appl. Algebra 34, 1-55 (1984; Zbl 0547.20054)] has previously shown that \\(\\widehat S\\) is unambiguous, in the sense that the \\(\\mathcal L\\)-order and \\(\\mathcal R\\)-order are forests, and that every unambiguous semigroup \\(T\\) embeds into a regular semigroup \\((T)_{\\text{reg}}\\) in such a way that \\((\\widehat S)_{\\text{reg}}\\) is finite in case \\(S\\) is finite, its subgroups divide those of \\(S\\), and several other nice properties are shared with \\(S\\) which afford many applications [ibid. 34, 57-115 (1984; Zbl 0547.20055)]. The construction of \\((S)_{\\text{reg}}\\) is achieved by taking the elements of \\(S\\) and their formal inverses as generators and imposing suitable relations. The difficulty lies in establishing a normal form for the resulting presentation. In the present paper, a new proof of the normal form theorem is obtained by describing another presentation of \\((S)_{\\text{reg}}\\) given by a complete string rewrite system which is then shown to be terminating and confluent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849635$8A38461C-9B57-4AF3-BD7F-BAC1598EFD80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849635$51DFD117-DFFD-4BC8-B485-A6BE37E4E4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849635$33763659-33B9-4F7F-BBE6-8EB5238EF88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849635$FD468BB9-C609-4E20-A9AA-521370D7B5CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1721cb3dbb9739fbee43c960b7f4396f6b7bc9d4","datavalue":{"value":"1837339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849635$0FCB4007-8E57-4F75-AFF2-EB5D78B5732D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0947e69e32e34b28536dfa65bdc0ab1e9b7293","datavalue":{"value":"regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849635$47987F21-5A22-415C-B1D5-1FF350733435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929045e184d3f9cfc5463d14740b7869152040e4","datavalue":{"value":"unambiguous semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849635$7C76732F-5249-4E8B-A59E-6E6AAD6877A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849635$A5E044CA-BB1B-4290-95F3-9F3548B68A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849635$9FBF0D13-762C-4B45-9521-643DFE754CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849635$B903A30D-0868-41B5-BD76-5E327484561D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"99980a1fe8b67be8570894d1f605195f6f2e1e0e","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849635$A4E637D8-CA27-4A29-A14C-2EFE4B7C69F0","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":"Q1849635$6BC6EBBB-1175-4B44-8FD9-982528742DEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b151b6bfb01d1d3d1b5bb040234bd777c82ea45","datavalue":{"value":"W2067136518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849635$14115953-DCD5-4533-A5EE-319EA7897DB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10da60385222ea07f8643e6bdb4a77f29820122e","datavalue":{"value":"10.1007/S002330010138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849635$851145A5-F29F-4B7B-AB7F-5227F5142FCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad3e35f322ab6715c55d0f88dfd75aa22bc47d5","datavalue":{"value":{"entity-type":"item","numeric-id":627163,"id":"Q627163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0662c5ecf66cc4c17ea5417353da07ba6ec8106a","datavalue":{"value":{"amount":"+0.7917978763580322","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":"Q1849635$32486EBE-3938-4847-89F1-B3CBCDA01B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d791924fd5f177d7fdd9429d80f410032231a0","datavalue":{"value":{"entity-type":"item","numeric-id":1295574,"id":"Q1295574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b824b5a5d2a77dbe9763a5e5ed69b4a51f7867","datavalue":{"value":{"amount":"+0.7882761359214783","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":"Q1849635$763F8A70-3F2A-4309-BEE9-40413CD223BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5687f4e2e3d9111f080eea90864391ed0c2363d7","datavalue":{"value":{"entity-type":"item","numeric-id":1345735,"id":"Q1345735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a43fbfd00dcc0bbc4a7f0276d1ede9b3731764c","datavalue":{"value":{"amount":"+0.7858997583389282","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":"Q1849635$F78D386C-4025-46A5-B01C-A40CDA0FD0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efd755e4d1880671b69c1c7a5a632e6324673d73","datavalue":{"value":{"entity-type":"item","numeric-id":798782,"id":"Q798782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bb89dda747daeceb175dd5e0edad885f7b73b1","datavalue":{"value":{"amount":"+0.781677782535553","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":"Q1849635$46E6C03C-643D-4EF1-9E1E-ECE8E34526BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a3f618e83971cc16794b26f802c6ff1413c945","datavalue":{"value":{"entity-type":"item","numeric-id":798783,"id":"Q798783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7589c7d270858ad1bce6a68c9d38e82f55774672","datavalue":{"value":{"amount":"+0.7689635753631592","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":"Q1849635$A0AE4250-0830-48EC-B9E7-DF26923312E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1849635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1849635"}}}}}