{"entities":{"Q1576298":{"pageid":1587038,"ns":120,"title":"Item:Q1576298","lastrevid":67942443,"modified":"2026-04-12T20:22:44Z","type":"item","id":"Q1576298","labels":{"en":{"language":"en","value":"Band monoid languages revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1491099"}},"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":"Q1576298$EC2DA9AB-503D-42F1-AA1D-7B026FD0356E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"657c2fa76d0daf0f0a74f5c63818603efa26169d","datavalue":{"value":{"text":"Band monoid languages revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1576298$8C1E8722-B34B-4F75-B934-C9E178DD46B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05a7ae71e157675d8089c3a98aafc1cca29f319b","datavalue":{"value":"0964.20042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576298$69637741-71EC-47CB-A0C5-60654BB9A76C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b001424fa57c1bb2a4c34c109ef58d79cac4019b","datavalue":{"value":"10.1007/PL00006013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576298$C5755C81-3FA5-4C20-AA5A-839E337FA8AD","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":"Q1576298$109A8C4A-C69B-42AE-AF13-6E046E0BD073","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b66fa4e860829951be38c1c33544222d3a5f5dde","datavalue":{"value":{"time":"+2001-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1576298$D53355A0-22F4-418A-A60D-0EA910E77677","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb67973bac4a4717b0483ef2104cdc9d04a24940","datavalue":{"value":"\\textit{J.~Siekmann} and \\textit{P.~Szab\u00f3} [Semigroup Forum 25, 83-110 (1982; Zbl 0493.68087)] have found a Noetherian and confluent rewriting system for the free band monoid \\(FB(A)\\) over an alphabet \\(A\\). The system consists of the two sets of rules: (1)~\\(ww\\to w\\) for all \\(w\\in A^*\\) and (2)~\\(uvw\\to uw\\) for all \\(u,v,w\\in A^*\\) such that the sets of letters occurring in the words \\(u\\), \\(uv\\) and \\(w\\) coincide. The authors call a word slim if it admits no application of the rule (2) and denote by \\(\\text{Slim}(u)\\) the set of all slim words over \\(A\\) that are equal to \\(u\\) in \\(FB(A)\\). They prove that, for each \\(u\\in A^*\\), the set \\(\\text{Slim}(u)\\) is finite and has a least and a greatest element with respect to the partial order on \\(A^*\\) defined as the transitive closure of the rule (1). In particular, this gives a simple algebraic proof of the confluence of the system (1)-(2). Another application is a transparent description of the least language that contains a given word and is recognized by a band.   Reviewer's remark: Though the paper makes a difficult reading because of several gaps and unfortunate typos, its results appear to be correct.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576298$23827F3A-F7D4-42AC-A5AD-7B0086DABCEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576298$A87A9AEC-F08B-44AD-9F85-685596F71566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576298$F6F743E1-401B-4A3D-B382-3720A6D9D6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576298$B5A1EBD5-201B-418A-8ED2-D622DB8A9C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576298$24474D6B-E36C-404B-AA75-814365ACF1C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55026ca950455bd2a2b260e32f36e3b6e6a79ab7","datavalue":{"value":"1491099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576298$6CDB8135-2B6D-42BA-83F0-FD6000AE2079","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b89c2d6d713cc3fdeafed472ff5359cb550e03f6","datavalue":{"value":"formal language varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576298$9E5F7486-0D54-4092-B10F-C3DD1D8E5055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b0afbeb2995167e287520671e2915acbfdc6a13","datavalue":{"value":"band varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576298$C44199FB-FE03-41BE-A16F-B234C1A0A09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"142698fcb38438a5e7b4ba889fedfea94390d2c0","datavalue":{"value":"free bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576298$92E476A0-ED83-4655-858D-68C762CAE55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c361fd269b38745ababa06f5cba9b9fd2bf052d","datavalue":{"value":"slim words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576298$59A980AD-1815-4464-ACCB-0EEEDA2D2C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576298$DA35EBA4-C6E2-4212-88A0-12C589BF05D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576298$455A273E-8707-4BA2-9D38-65D11C59BCED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"707bc93a3ac1b6108beaf3c705a7e31496f04ed3","datavalue":{"value":{"entity-type":"item","numeric-id":699230,"id":"Q699230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576298$AAC0D582-84EC-4CAB-A28D-B70F841CD389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d3314750119aefa06ad8fbf051b2ee716d786f4","datavalue":{"value":{"entity-type":"item","numeric-id":1185770,"id":"Q1185770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576298$CF07BEAD-11FE-44A3-AE13-19023B14EC8D","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":"Q1576298$C67066AE-B927-409C-904C-6A9A87E6B431","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b3b39977fa7d10664fa4317999d2fd9cb601b9a","datavalue":{"value":"https://doi.org/10.1007/pl00006013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1576298$BC24F318-2EE3-4D8A-AED3-6A8D6CAE32BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2be3f68531a06db39064bbd96214a3bda0f3212c","datavalue":{"value":"W2056656124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576298$092403CB-AF13-4B22-877B-9274526701B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e5a556ecbcdc9675a2553006b5996ff97708a9","datavalue":{"value":{"entity-type":"item","numeric-id":1910641,"id":"Q1910641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e5dfb4e898151fd07433528fd2683aad3221be","datavalue":{"value":{"amount":"+0.7544677","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":"Q1576298$506FD5CF-9669-466D-8E76-73A4C17FDFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9d711bc585664a7272a1995efe6d08da180e94","datavalue":{"value":{"entity-type":"item","numeric-id":5461660,"id":"Q5461660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72fac9a0fa943c8fe9a345f2202c265d70edcc7","datavalue":{"value":{"amount":"+0.69972134","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":"Q1576298$6BF4AF93-97A4-429B-ACC0-ED744FA251BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f28c6d0d8cc2281eb0d3abf93e13e48c109b3324","datavalue":{"value":{"entity-type":"item","numeric-id":3789793,"id":"Q3789793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7402d8abd7549a50896a51fe504ed57d39c88c","datavalue":{"value":{"amount":"+0.69345033","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":"Q1576298$3D12E013-402D-4AB1-ACD0-C5A4435CF086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8e00a7d3b384dc4ea019663edeb10700cad978","datavalue":{"value":{"entity-type":"item","numeric-id":1075439,"id":"Q1075439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe2c9e287184d7513ea57f74dc4ed5f01db9796","datavalue":{"value":{"amount":"+0.6919693","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":"Q1576298$7E642A2C-9B92-42B1-BA58-1F9430A63566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f206250afbcd6a3009f94f404f4c0418a46dbf43","datavalue":{"value":{"entity-type":"item","numeric-id":685449,"id":"Q685449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deab8a517452bb57905eff3d08d9288d34f69214","datavalue":{"value":{"amount":"+0.68927824","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":"Q1576298$7E4D1A69-26A4-46FE-A33A-41FED7FE4CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd027b988d429d2b38223664f62550745c0397f","datavalue":{"value":{"entity-type":"item","numeric-id":373663,"id":"Q373663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb0d0f08386413981ef1681ac68deec26bb8eae","datavalue":{"value":{"amount":"+0.6882394","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":"Q1576298$9DD0D44D-A852-44A5-8659-A5FD1C9F3463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46761aaa424394ff64bf4bd7e9f2f1ce31df9013","datavalue":{"value":{"entity-type":"item","numeric-id":1918741,"id":"Q1918741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7a544d38b79184b06a1f15690cc49b0eaa8c14","datavalue":{"value":{"amount":"+0.686429","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":"Q1576298$4D48F8E5-4F0D-4773-9EF5-CF5CF8182D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67477a05e38e3c9d04ebf53ec423b314caf4f9a","datavalue":{"value":{"entity-type":"item","numeric-id":923133,"id":"Q923133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e028f761cd3654c4670863b074c2ed2883694341","datavalue":{"value":{"amount":"+0.68412584","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":"Q1576298$C6581A7E-8530-4C2A-AD7A-DE4E9CCC654B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b4230f2ae4ef1ed9369cc9bd12cdc7d55ec920","datavalue":{"value":{"entity-type":"item","numeric-id":4982083,"id":"Q4982083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e33529782dd703e09c1a7718a63ebf6eab2773","datavalue":{"value":{"amount":"+0.68349826","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":"Q1576298$29FAD6F3-7F31-4E57-B672-639BCA41DC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"264c3d1ef97efa48deda6f64ec7d28b9b2fbc14d","datavalue":{"value":{"entity-type":"item","numeric-id":4272210,"id":"Q4272210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd1330361a22e2c53121226fddec0cacc07e560e","datavalue":{"value":{"amount":"+0.6823353","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":"Q1576298$BBBB63FC-1A43-4C0D-808C-88CA55BF6E20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Band monoid languages revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Band_monoid_languages_revisited"}}}}}