{"entities":{"Q5928478":{"pageid":8105280,"ns":120,"title":"Item:Q5928478","lastrevid":47592487,"modified":"2026-01-02T04:13:46Z","type":"item","id":"Q5928478","labels":{"en":{"language":"en","value":"A solution of the word problem for free \\(^*\\)-regular semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1582719"}},"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":"Q5928478$B9F4168F-6BB0-4DE7-B5CC-30FA9F34978C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f984ccb47867ca8708c71b17c780b6c72ca8c0d","datavalue":{"value":{"text":"A solution of the word problem for free \\(^*\\)-regular semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5928478$D32F9AD6-0053-4E55-8CB2-14F2CC540535","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6956402a88bbd7caff771761391740cdbe7125e5","datavalue":{"value":"0981.20048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928478$27902975-2D4D-4EB7-B75B-2E8132B77673","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69af20a9ab682e388a11db1ba584dad2a1f79e4a","datavalue":{"value":"10.1016/S0022-4049(00)00011-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928478$BB903DA8-30DF-4982-8A3C-767891BC181D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4913da48f5ba38e8fa55dfbc807f9e32d04f31fe","datavalue":{"value":{"entity-type":"item","numeric-id":168365,"id":"Q168365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928478$350C98A6-BEC4-43B2-94D9-C403DB25D8D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928478$A5590CF9-51CF-4EEC-993A-4665F9F87CB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67878e8b55b03672476fd7ea49ced8ed168dc437","datavalue":{"value":{"time":"+2002-03-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":"Q5928478$3ADF4204-62E6-47C7-977A-1DE2C618E032","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9f7aeee4e278d8cbe380f4db4e0553d140395568","datavalue":{"value":{"entity-type":"item","numeric-id":1408758,"id":"Q1408758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928478$0A313688-8003-427F-BB0D-4840C9C71A89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928478$D41DA7FA-20A5-46E1-95B5-2548360CFE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928478$23588771-7176-4758-BCCA-A5EE5FABCFED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16fa92edd6fd0738d96b1d0b5e89c5fb8f9824db","datavalue":{"value":"1582719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928478$A19555BB-A835-4512-AD1F-C5A50553D848","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"438e2ba7e916d989eddab031300d6f616a654caf","datavalue":{"value":"involutory semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928478$2D57B3BD-291F-49F0-8596-DC2CA3D661E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954597857ebd2b4f1b14dab13197add72b8a804b","datavalue":{"value":"free semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928478$9C32C20D-109B-4A02-95DE-937446301A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd394141555e52bb8a419992bf59ab246c518a8c","datavalue":{"value":"free involutory semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928478$A4D661AD-C990-4F25-8394-03492FD12C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3991063cdbc4fcf299f6f69866806e10e8df9463","datavalue":{"value":"locally confluent relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928478$01384198-CD61-468E-8B67-C4076369E49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdb9f1774a388f09cc9e3abb778085ed34970c8b","datavalue":{"value":"canonical forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928478$EB2B9C95-CBCF-42F1-813D-777319A6F181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445b810780451ac322947d731dc5c3040b940c84","datavalue":{"value":"free \\(^*\\)-regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928478$BBC187EF-7C7B-45B7-AF21-83A08455737F","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":"Q5928478$951CB0A8-313E-469E-8664-87BD231F36C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"102ed0c53299a636a437b2bd71a7512ab455e192","datavalue":{"value":{"entity-type":"item","numeric-id":3479524,"id":"Q3479524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928478$A0263DE9-127C-4118-B319-D659F8FC542D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928478$1777F57F-FECD-44AF-9C94-051B55FE1549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed51746fce6bb6bbe915351086b1f150bb46c97","datavalue":{"value":{"entity-type":"item","numeric-id":4286027,"id":"Q4286027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928478$EF52897F-115C-464F-8091-1C9A9B07DF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928478$B837020B-68DF-46B7-AE6D-3F1B2B5DF59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f113656be205a13de084c6d4c668c3f361c37fc6","datavalue":{"value":{"entity-type":"item","numeric-id":3741089,"id":"Q3741089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928478$9EAE73D9-F00D-4EEF-80D8-6D0F32436D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354af3c0aeb0d7a74a66d8fa1de36d4b3cb16ef0","datavalue":{"value":{"entity-type":"item","numeric-id":3705618,"id":"Q3705618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928478$39C3695A-6869-43F4-8538-868E93937B75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c67ec40a4d90392caa72030dd5032de26d22f767","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(00)00011-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5928478$3BCFCE02-3390-42A2-AF82-3726535BE8DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97d345f81552399fcbc9864949e8ec2b8a3bfedf","datavalue":{"value":"W2056245211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928478$AB05F244-0C5D-4BF5-A73D-018638210677","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"769342893e902763dcc7677a6b69828d88e8c78b","datavalue":{"value":"An involutory semigroup is a unary semigroup \\((S,\\cdot,^*)\\) satisfying \\(a^{**}=a\\), \\((ab)^*=b^*a^*\\), for all \\(a,b\\) in \\(S\\). If in addition \\(aa^*a=a\\), for every \\(a\\in S\\) then \\(S\\) is said to be \\(^*\\)-regular. Let \\(X=\\{x_1,x_2\\dots\\}\\) be a countable infinite alphabet and \\(X^*\\) be its disjoint copy. The free semigroup \\(F\\) on \\(Y=X\\cup X^*\\) equipped with the obvious involution \\((a^{\\varepsilon_1}_1\\cdots a^{\\varepsilon_m}_m)^*=a^{-\\varepsilon_m}_m\\cdots a^{-\\varepsilon_1}_1\\), where \\(\\varepsilon_1,\\dots,\\varepsilon_m\\in\\{-1,1\\}\\), \\(a_1,\\dots,a_m\\in X\\), \\(a^1=a\\), \\(a^{-1}=a^*\\), is a free involutory semigroup on \\(X\\). Consider the relation \\(\\to=\\{(abb^*bc,abc)\\mid a,c\\in F^1,\\;b\\in F\\}\\).NEWLINENEWLINENEWLINEThe main result of the paper is that the relation \\(\\to\\) is locally confluent. Denote by \\(\\vec a\\) the canonical form of \\(a\\in F\\). The set \\(C=\\{\\vec a\\mid a\\in F\\}\\) of all \\(\\to\\)-canonical forms, with the multiplication \\(\\vec a\\circ\\vec b=\\vec{ab}\\) and the involution \\(^*\\) is the free \\(^*\\)-regular semigroup on \\(X\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928478$A69EEEC2-C049-4AF8-B742-1E55DF167991","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9194f35f585c98b8d6881596287549319bedf183","datavalue":{"value":{"entity-type":"item","numeric-id":4288144,"id":"Q4288144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcfdc6bdddc41f382c2405f103321c3d1c33d895","datavalue":{"value":{"amount":"+0.8098644018173218","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":"Q5928478$6853A41E-6847-407D-9168-E6FF44CBD9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"224c33dd969721423f5aaa01273f8e28956f73cb","datavalue":{"value":{"entity-type":"item","numeric-id":3695479,"id":"Q3695479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c4a46250d3828ed95c8048df1eaeb365f7d772","datavalue":{"value":{"amount":"+0.8082049489021301","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":"Q5928478$6363EA62-5D27-49CE-95C6-5930837123BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47aa3aae4563b6d6bb5c46389edeb3d306728ca4","datavalue":{"value":{"entity-type":"item","numeric-id":643502,"id":"Q643502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0533150a7dd3ae973a2f427cccede92a5be528db","datavalue":{"value":{"amount":"+0.7923426032066345","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":"Q5928478$F68AEDEE-2234-4C83-B1AC-27894D2949BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd68d686a01ace4169fa4ca0ec53ee387d83abe","datavalue":{"value":{"entity-type":"item","numeric-id":3344146,"id":"Q3344146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2beb558de74cb110b0bf2945b6d0b643c7236b3","datavalue":{"value":{"amount":"+0.7879207134246826","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":"Q5928478$6FE6CFD2-7781-405E-9B9E-8EA4D7EC844F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b8062d4cf1406d49b8d714d7bf6d08eb3918ccb","datavalue":{"value":{"entity-type":"item","numeric-id":555754,"id":"Q555754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0a00857b28a3d3960ffccf09f7b485b5befd6f","datavalue":{"value":{"amount":"+0.7849375009536743","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":"Q5928478$8271F55C-3B19-4A13-9CD9-6C82542B4EED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5928478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5928478"}}}}}