{"entities":{"Q1345735":{"pageid":1356474,"ns":120,"title":"Item:Q1345735","lastrevid":43047324,"modified":"2025-07-17T05:26:41Z","type":"item","id":"Q1345735","labels":{"en":{"language":"en","value":"Rewrite systems for the positive braid semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 733178"}},"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":"Q1345735$6905DBE7-5C19-4F01-AF60-7341FAD8B21C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee8a181d7401aa16c0dac28378dae7002d8ef9be","datavalue":{"value":{"text":"Rewrite systems for the positive braid semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1345735$242644A4-62CC-4203-8EB7-73C09B599577","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95bc616f5b5b40e3413f02b994a47141a95396ae","datavalue":{"value":"0833.20071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345735$5659E9BA-AE2D-459E-8E37-C98F922324E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e860f69342e203910b3ae2cc735187c626f89f04","datavalue":{"value":{"entity-type":"item","numeric-id":1345734,"id":"Q1345734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345735$A966BDAD-E99B-4251-81FD-950C3EDCDC7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345735$4DD7E746-4464-43E7-B01F-5B34105A8D4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fffd196bafaa192326c6a23fed3014e4e1e351d","datavalue":{"value":{"time":"+1996-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1345735$28A85172-CE71-43F0-8A36-0ED8191509C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a2e70ec87f9c936d5020b7bf99d8cf28e4e7eae","datavalue":{"value":"The author considers the semigroup \\(P_3=\\langle a, b \\mid aba=bab\\rangle\\) of positive braids on 3 strands, and its generalizations \\(P_n\\) for \\(n \\geq 3\\). It was shown by \\textit{D. Kapur} and \\textit{P. Narendran} [Theor. Comput. Sci. 35, 337-344 (1985; Zbl 0588.03023)] that the semigroup \\(P_3\\) has no finite complete rewriting system. In the present paper \\(P_3\\) is shown to have a complete left regular rewrite system. Here a left regular rewrite system over a finite alphabet \\(A\\) consists of a finite set of rules \\(U \\to V\\) after \\(L\\), where \\(U\\) and \\(V\\) are words and \\(L\\) is a regular language. Such a rule allows a reduction \\(XUY \\to XVY\\) if the word \\(X\\) is in \\(L\\). The system is complete for a semigroup \\(S\\) with generators \\(A\\) if each sequence of reductions is finite, and two words reduce to the same irreducible word just in case they represent the same element of \\(S\\). For \\(P_3\\) a complete left regular system is given by the following two rules: (1) \\(bab \\to aba\\) after \\(a^*(bb^* aaa^* b)^* b^*\\), (2) \\(aba \\to bab\\) after \\(a^* bb^* a(aa^* bbb^* aa^*)^* a^*\\). In this system a word is reduced to the unique lexically smallest word that represents the same element in \\(P_3\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345735$D9B7D0AE-9BC2-4F5F-B4D1-85A3B082AE3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345735$55DD39BC-349A-459C-AFC5-4873B0D2C907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345735$3953FF10-342F-4012-A8DC-1334D5FEF331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345735$FF99499B-5539-4920-A075-CD1506949FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00c103224d34af523e7fce2ff3e40dd19709f84f","datavalue":{"value":"20F36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345735$E23DE7D2-789F-4770-82AC-68712C685AE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b802a5e9b5b28ef7602c88369fd2c3a9a7b4b25","datavalue":{"value":"733178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345735$F9E18B12-850A-4BB7-BBDD-3E245CEA51BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01494b966bdfaa7ebfdea364c5a6ba128168fc76","datavalue":{"value":"positive braids on 3 strands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345735$65E16CA7-25EE-4188-B45A-E680131AAB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2639df7373a9b203d48807a152e5e6caa63c510","datavalue":{"value":"complete left regular rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345735$16D72304-41F1-4C1D-866D-0713CFBA3458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa52a204ebfbe14700e05b3550c8548737099750","datavalue":{"value":"finite alphabets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345735$180CC6A2-7B27-43DE-B474-FB7B025CFF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b99d5dcd36ca4f6ddee80af79486b0b82119f69","datavalue":{"value":"words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345735$6A11566D-87EF-47F4-A451-31FEA9D6E3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345735$FD4FC194-D1F4-46FC-B3F1-75462D6779F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345735$9B1DF281-5BE0-4ECB-81B8-BC6D8667E247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52a0ec481be8c51bbd13a7157cec9b25a77bb40","datavalue":{"value":"irreducible words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345735$7D22872C-654C-40EF-BB95-0DC6E04367F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e0db3e87cf0564d4c180dc3531c145e91e81ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1806108,"id":"Q1806108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345735$A3651EC9-DD0D-4264-9F36-579F6FFCEFF9","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":"Q1345735$E471087B-2BBE-4CF1-A0E7-5D3F845E8C35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c0cd60bace91a58dd25d7bf9fe259a7e399867","datavalue":{"value":{"entity-type":"item","numeric-id":1426138,"id":"Q1426138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea49c0b1ed2c7a6800795ab5e049e417c3b6413b","datavalue":{"value":{"amount":"+0.8194687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1345735$70B72ADB-CD16-4773-9F4A-60CEBB1C26FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2bc9aef13cd2926abeab651f98500b5f384619","datavalue":{"value":{"entity-type":"item","numeric-id":5938545,"id":"Q5938545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e79cbfb4d649842591106bc970a43de69e39367","datavalue":{"value":{"amount":"+0.7622407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1345735$5CF84BC1-422D-4F15-B867-B191CC6482D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119a224e337a728458465569ed417ab44e5353e8","datavalue":{"value":{"entity-type":"item","numeric-id":2021411,"id":"Q2021411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a80763917e2ed1620058f8e7038d9b50a4cbf1","datavalue":{"value":{"amount":"+0.728389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1345735$57FA395E-EBEA-49BE-8E90-082DE17215CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f780c60b073ef7fb79b61e5184e3c0696cc7bff","datavalue":{"value":{"entity-type":"item","numeric-id":697365,"id":"Q697365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fedeafa3070b7b3801b4bd28c6b01d850c4223c","datavalue":{"value":{"amount":"+0.7273744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1345735$56498B0A-46E1-41E6-B3B8-D6E805C3796D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab2d583367300dc6a1ddb24ddf71adef7f82548","datavalue":{"value":{"entity-type":"item","numeric-id":4656961,"id":"Q4656961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8331bbbda56c128863fdc6ecb9c92a6995a82dc","datavalue":{"value":{"amount":"+0.72078323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1345735$92004931-AFA6-4358-9AA6-27849BCCA366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4b6e7563ef224a0edec0387f36f107fb5f7efe","datavalue":{"value":{"entity-type":"item","numeric-id":1758507,"id":"Q1758507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"675c0dfc0f4b0e44a88e8d8b3e2df17192ea204d","datavalue":{"value":{"amount":"+0.7143329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1345735$8D62C543-3795-49D8-A3C3-60E734C44254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b05973b638cbf222bfcdd751e67553812a1c6c","datavalue":{"value":{"entity-type":"item","numeric-id":470080,"id":"Q470080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e6f24d5447e85b4fa15e4df10401fdf8d304c21","datavalue":{"value":{"amount":"+0.70759135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1345735$3B62C1CA-25A6-4833-AA64-BA2CF0CC1769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4ea4ed027e8eba4eaeb9256a3ff72b24873026","datavalue":{"value":{"entity-type":"item","numeric-id":1080519,"id":"Q1080519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a11e152fad8b1c665633c6dbd1234b56190633","datavalue":{"value":{"amount":"+0.6885782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1345735$06C9F728-1CB9-42E2-BA21-7B1C522ED4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4e784d14d03349de6a771a436499ca95e73fa6","datavalue":{"value":{"entity-type":"item","numeric-id":932795,"id":"Q932795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10833ce179cfe10ec1d03252566955763ee4540","datavalue":{"value":{"amount":"+0.6880384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1345735$A6FA988D-79F5-4A9D-8B24-0E442750B4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3bcefdc67d3e66c025f4b7b4a65eb29c15fba6e","datavalue":{"value":{"entity-type":"item","numeric-id":4908222,"id":"Q4908222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4232f59803a0ef38cc59e01c03afb646b0e6c7a3","datavalue":{"value":{"amount":"+0.68682647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1345735$4B828243-D553-4F0E-B99B-DBAA1D980D13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1345735","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1345735"}}}}}