{"entities":{"Q657113":{"pageid":658962,"ns":120,"title":"Item:Q657113","lastrevid":63376038,"modified":"2026-04-11T12:26:41Z","type":"item","id":"Q657113","labels":{"en":{"language":"en","value":"Tight representations of \\(0\\)-\\(E\\)-unitary inverse semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5997787"}},"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":"Q657113$8A1FEC17-6EF4-4BB3-8367-C5D960596E33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6afd2e7798cb64e068914393ba7d322c10878f2d","datavalue":{"value":{"text":"Tight representations of \\(0\\)-\\(E\\)-unitary inverse semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q657113$75FF663D-BB7C-4EE1-9D09-0ABE01E876A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdd1b25274519c7528e2d92ad5e44cf495b5aec1","datavalue":{"value":"1233.20056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657113$3981CC8F-9562-4375-A41C-2051C3D8D86A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"000a369663c596e1bd0019ec66980aadd80898bb","datavalue":{"value":"10.1155/2011/353584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657113$57AE0360-780E-4DB1-9FF5-4B5161473FE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a3e47725373be540f0ba6d6419fcfce669c398b","datavalue":{"value":{"entity-type":"item","numeric-id":657111,"id":"Q657111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$84690E9E-87E3-424F-987D-475BFD8AF1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84435a81512798962072bfe394b885527dadb349","datavalue":{"value":{"entity-type":"item","numeric-id":657112,"id":"Q657112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$F3327BC3-3B3D-4DF8-AC5E-8D0BBE098A84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d57614e948fd3618212cc11761c25c64d9f566a6","datavalue":{"value":{"entity-type":"item","numeric-id":162718,"id":"Q162718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$850A8463-ED1D-4D24-985B-970AED0E11AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11141c441dfb84ae49e81caacd22daea66deabf0","datavalue":{"value":{"time":"+2012-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q657113$DA3D48DB-9175-4747-A50A-840EC1072532","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c0d3bef408c5e10b16b428d48e5ca603bd1332a","datavalue":{"value":"Summary: We study the tight representation of a semilattice in \\(\\{0,1\\}\\) by some examples. Then we introduce the concept of the complex tight representation of an inverse semigroup \\(S\\) by the concept of the tight representation of the semilattice of idempotents \\(E\\) of \\(S\\) in \\(\\{0,1\\}\\). Specifically we describe the tight representation of a 0-\\(E\\)-unitary inverse semigroup and prove that if \\(\\sigma\\) is a tight semilattice representation of the 0-\\(E\\)-unitary inverse semigroup \\(S\\) in \\(\\{0,1\\}\\), then \\(\\sigma\\) is a complex tight representation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q657113$CA55A000-E3E1-4DB1-B765-CF3A5A2DE7E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657113$CDFEC3BF-8D72-4329-912B-827CD46EFF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657113$E437B3E1-E9A2-4AC7-9C22-8636136E5513","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e441f307749db7fa30273aaa8f72249c6bd4b9f","datavalue":{"value":"5997787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657113$57B2358E-FD4A-44C0-A804-551DAB56F490","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6a84980c215491be4a50ae889ebe7e6bdaf214c","datavalue":{"value":"representations of semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q657113$B19DFD94-6755-4485-919E-081F3F621A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b9a6bb409fe0e94412398f9b4def046b1479287","datavalue":{"value":"complex tight representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q657113$0941E7F5-4FEE-4145-AD74-1835803C4A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q657113$AEEB5481-6243-4033-96A3-0A8F501055EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q657113$D624E3E4-4355-43E6-876F-7FFA505A4654","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":"Q657113$81C87A21-A84D-4C02-BC42-64C7A9B6C5F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3dfa0a3bcd3af049ad3937f1c619a1d0632e344","datavalue":{"value":"https://doi.org/10.1155/2011/353584","type":"string"},"datatype":"url"},"type":"statement","id":"Q657113$935BDC4C-348F-445A-914F-E7C76A7F1C13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cda3483a03015e5712135c1739f07c229ace46b","datavalue":{"value":"W2112435918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657113$1CEF5023-1234-423B-83DC-F438F329AD77","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b60087dcc3c922543f1485d24d2b80e23ef86b9b","datavalue":{"value":"Q58654151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657113$543AAB5B-B308-4840-9E20-66481B3B0AC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"186cde0f2501ecb819ba8424978e53b0549b285d","datavalue":{"value":{"entity-type":"item","numeric-id":2504301,"id":"Q2504301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$A494555D-C069-49D6-93CD-57F906699EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84024903c6e0b015f1c7c967d8b3179af17f660","datavalue":{"value":{"entity-type":"item","numeric-id":1273625,"id":"Q1273625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$367301BD-5EC9-4B6F-BA4C-A6A7E95883BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5791eeedca9db7469880e49d54641c3b80c51","datavalue":{"value":{"entity-type":"item","numeric-id":5828006,"id":"Q5828006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$35422C4C-7F0E-4679-AEB5-0832BD3B3544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a43a22447fccd56a560a960674308a1578d204","datavalue":{"value":{"entity-type":"item","numeric-id":1017988,"id":"Q1017988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$A49BFD88-D22C-4935-A54E-6DB83DBE306F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7245147d27c25e598a12a3db0ea22e7429e25e","datavalue":{"value":{"entity-type":"item","numeric-id":4050801,"id":"Q4050801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$F840BFE1-B6A5-4E0F-B85E-EF6FEBC3EBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d38e9da929649dc560476f8dd6099510bad9256","datavalue":{"value":{"entity-type":"item","numeric-id":4050802,"id":"Q4050802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$6DD81B17-CB40-4904-A811-87EE0B15207C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac7bffc78d6fb793fe9a2b2cff3198e3761321c0","datavalue":{"value":{"entity-type":"item","numeric-id":4200401,"id":"Q4200401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$B1377FDE-83BF-4870-927E-2AB7FCF41F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147499c2d2392760d6a5490a7ea7441223a25e2b","datavalue":{"value":{"entity-type":"item","numeric-id":3767514,"id":"Q3767514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$1655E2A3-D815-4182-BB7C-70496546641C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccff442f7965c7353623f3013390c052254c3f54","datavalue":{"value":{"entity-type":"item","numeric-id":4039053,"id":"Q4039053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$1E7227B6-67F5-4218-BD43-CF48CD787B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a01e5b9974cfc1cbb13f4f82ead91b20936bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4487693,"id":"Q4487693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$D3CCD62D-8268-4199-9EDF-5999FFDA846D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ad9089551f49f959a5aadadcbc9d90bd3b8575","datavalue":{"value":{"entity-type":"item","numeric-id":4892385,"id":"Q4892385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$04B8DDB6-23E7-4E55-AA41-AFEF1EFFEF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdb62114309d16a6bdea7542d83d84d97cbfcc7a","datavalue":{"value":{"entity-type":"item","numeric-id":4149907,"id":"Q4149907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$4C21ABCC-7C33-42EE-A8CB-442E7798B130","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfd5d3a57b255d4bbbadfee169f038ec67fead9","datavalue":{"value":{"entity-type":"item","numeric-id":4407426,"id":"Q4407426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c0184a85544a76076b8241d45b2397ecb99ff9","datavalue":{"value":{"amount":"+0.9130313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657113$4FB34090-5021-4122-9AC4-30E85B283AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afdc5a040945d113d477faf65cf51366994bfe75","datavalue":{"value":{"entity-type":"item","numeric-id":731327,"id":"Q731327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12aa33e40fa57be223eacaa5c750e29dd4c2c34","datavalue":{"value":{"amount":"+0.90090793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657113$50629C5C-5089-4325-97CF-7848E733A274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5805f07bc3079947835b038ca3cc9e1a12692b1c","datavalue":{"value":{"entity-type":"item","numeric-id":4487693,"id":"Q4487693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4d757019056dcc49d6fd3b2cf225735cf0d16f","datavalue":{"value":{"amount":"+0.89415485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657113$B6555D03-2A26-4F11-BBE9-A69EF35AB52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84a7cf73de3fff436f9c5a3978357ca8c79600a8","datavalue":{"value":{"entity-type":"item","numeric-id":700388,"id":"Q700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47388ccb5377b8ab4fba2348f4d475ff5560ce31","datavalue":{"value":{"amount":"+0.8934946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657113$06DE060C-E0DC-41DB-8892-20E0199D6AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170d11ac1a8050632af41a428aeb3f23d9c96ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2447243,"id":"Q2447243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb48cfa95174ecbb8b9aa2970846ca477062363d","datavalue":{"value":{"amount":"+0.8912001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657113$B9641BCD-4DAF-47EB-BDF5-A9EF0F6415D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf71d0809d8d3ecbb32cca81da29b30552efc36e","datavalue":{"value":{"entity-type":"item","numeric-id":3552223,"id":"Q3552223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41b869ee04f0b0e6701af8449323edaccf2e870","datavalue":{"value":{"amount":"+0.8881387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657113$C6FE459E-F40F-46AF-8685-78082B08EA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b12c990beacc96340a9d1b8f25fd7700c9554b","datavalue":{"value":{"entity-type":"item","numeric-id":4870693,"id":"Q4870693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55b129c3d28acd6928b058eff79c30c1af68ad3","datavalue":{"value":{"amount":"+0.8881254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657113$EA6C548E-06BD-4F66-8C8C-77DF45B62F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b561d4efeafbfc0abf997ec5660d5bafffc4600","datavalue":{"value":{"entity-type":"item","numeric-id":1402906,"id":"Q1402906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d513416cb15c0cc40c7b07fd160f75fa41118934","datavalue":{"value":{"amount":"+0.8813807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657113$83A91F03-C11E-4621-8C2F-DDF909F4547F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1973278df7ff71aed5f6599649cff5076f93d5a0","datavalue":{"value":{"entity-type":"item","numeric-id":5490513,"id":"Q5490513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a489a40b54a48ba550fba577817838a0c49da0a9","datavalue":{"value":{"amount":"+0.8796295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657113$EFE91AEE-EA8C-4CAD-9E2C-918FFFF07E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b0f637ad5d8706ca16e0125880ac13a9bbedaa","datavalue":{"value":{"entity-type":"item","numeric-id":5698508,"id":"Q5698508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb06e2bd4d8fbf3a28f3b2307afd3a4f013a3994","datavalue":{"value":{"amount":"+0.87892866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657113$94E1DD04-42B4-4F75-99C9-B6B8BE6BA346","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657113$CC73E0C2-49EC-4E37-A857-60FC2A3F9482","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tight representations of \\(0\\)-\\(E\\)-unitary inverse semigroups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tight_representations_of_%5C(0%5C)-%5C(E%5C)-unitary_inverse_semigroups."}}}}}