{"entities":{"Q2481330":{"pageid":2492073,"ns":120,"title":"Item:Q2481330","lastrevid":50332106,"modified":"2026-01-13T20:23:21Z","type":"item","id":"Q2481330","labels":{"en":{"language":"en","value":"On the decidability of the word problem for amalgamated free products of inverse semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5261636"}},"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":"Q2481330$1BFD8360-56E9-485E-A823-7DB51F4A6A0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b507a249143788d661dffa4f2593a41bb2ef72bd","datavalue":{"value":{"text":"On the decidability of the word problem for amalgamated free products of inverse semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2481330$D1B11C43-88CA-4526-9534-54E8D089B048","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84d7c54855129f0c83597866ceae676fdf829742","datavalue":{"value":"1158.20029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481330$5AAA6606-0039-44B4-98A8-D1D84A20AAFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"465f3b07a64af908f007b209692b5ec0ca68874c","datavalue":{"value":{"entity-type":"item","numeric-id":384647,"id":"Q384647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481330$48BF13B9-DDFB-49B0-B25F-C4C1E5A482F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a2a6aa52f309a3eb5fdf219849c665e44471751","datavalue":{"value":{"entity-type":"item","numeric-id":1137651,"id":"Q1137651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481330$FBCB966D-3503-4E74-8559-9C8BAC9A34AA","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":"Q2481330$48B413AB-DD13-4509-8871-83D66AE7DA98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"edcb7406af4ccdd87408073788784b63fbc742a2","datavalue":{"value":{"time":"+2008-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2481330$45B67833-8327-4BCE-A4C6-8B7419C6F436","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"651b86d26adc2822217ce1a4b42a13efec7e9eae","datavalue":{"value":"The paper is investigating the decidability of the word problem of the amalgamated free product \\(S_1*_US_2\\) of an inverse semigroup amalgam \\([S_1,S_2;U]\\). The authors extend the methods of \\textit{A. Cherubini, J. Meakin} and \\textit{B. Piochi} [Semigroup Forum 54, No. 2, 199-220 (1997; Zbl 0872.20049)], based on \\textit{P. Bennett}'s results [J.~Algebra 198, No. 2, 499-537 (1997; Zbl 0890.20042], and establish a list of five conditions on an inverse semigroup amalgam that guarantee the decidability of the word problem. The proof is technically rather involved.   At the end of the paper an example is presented of two (isomorphic) inverse semigroups \\(S_1\\), \\(S_2\\) given by an idempotent pure presentation, with a common free monogenic inverse subsemigroup \\(U\\) and show that their theorem applies, whence \\(S_1*_US_2\\) has decidable word problem. It is remarked that the semigroups \\(S_i\\) have infinite \\(\\mathcal R\\)-classes (the latter has long been considered to be an obstacle for the decidability of the word problem).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481330$3000443B-604F-4358-A310-0FC2B72155B1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"82b58a7a431ddd1d8859e52615fc9a1cc72e1c7f","datavalue":{"value":{"entity-type":"item","numeric-id":587993,"id":"Q587993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481330$B46AB423-BC04-456A-A141-D385EF4FAED8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481330$3A3335D6-C8AF-45D3-A670-CAEBEA91BD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481330$20995C50-E61F-4EF8-B9CD-A8DAB87047F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dea38b61bc1bf902afc7ee4aed674cc055afcd5b","datavalue":{"value":"5261636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481330$8B907A3D-E52F-4428-BB2E-0C5DF9067BB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481330$5F838FD3-9CFC-44C2-B801-BC448692DA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a8dde5685d14e26bbda497595d18f6616c6a5f","datavalue":{"value":"amalgamated free products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481330$A3584973-358D-48D7-B84C-E54DA9AA7D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481330$D641DEB1-9009-4A01-99D0-91E1ED5F9646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481330$D53DFBDC-3AC6-4A77-8301-79E3E7BEFA35","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":"Q2481330$75A09B8D-90D4-4074-A1E1-20C25834F23D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d25fdc2e13cce6dedbd6e2ee2bdd4107cad41939","datavalue":{"value":"https://doi.org/10.1007/s00233-007-9030-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2481330$95AA546B-E854-4C66-AB57-2916C12EE90E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15af2c63f5bfc9a3fbc959c53eda88e6b7a82e60","datavalue":{"value":"W2083504485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481330$458E83B8-D5AE-458C-BAB8-29040105FE3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf646a1c8b2ea881cb67aa6ecf8c0c3787ac2a7","datavalue":{"value":{"entity-type":"item","numeric-id":5906846,"id":"Q5906846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481330$4A83FA12-B1A2-4FE6-AA35-43010B084718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a46564126d4f5004dc9dc2a89cdf68209495214","datavalue":{"value":{"entity-type":"item","numeric-id":4513298,"id":"Q4513298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481330$705C154F-1A87-4887-8847-698E49C2938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd1ff12b9b2806fb4b40f14497e6a66352332db","datavalue":{"value":{"entity-type":"item","numeric-id":677103,"id":"Q677103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481330$B092FB56-D252-43F9-9579-4AA5EA83513D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6abb2e4f94eadc3b2f403c6b0d70e5f46d563df","datavalue":{"value":{"entity-type":"item","numeric-id":1225688,"id":"Q1225688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481330$4F029FFD-10BF-405B-B1DF-491D17644BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c806f0cefcb8c5dc1cefe057e7c9e95f300a40d7","datavalue":{"value":{"entity-type":"item","numeric-id":4311861,"id":"Q4311861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481330$A85844CB-DBE7-4460-A035-ACF7548444F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481330$9AB6A49D-5E67-4C01-8320-ECE845A02FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ae246a6e53e55446eb5e90b6e4a5ef0764472a","datavalue":{"value":{"entity-type":"item","numeric-id":4038472,"id":"Q4038472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481330$90554EFC-A51B-488D-97F8-8EDD785C84EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ccb759190ed6fe5a6f7e7ca0faf992aa8f2107","datavalue":{"value":{"entity-type":"item","numeric-id":4061136,"id":"Q4061136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481330$0BC347DB-35C1-4081-B360-E4E0B4A755A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d57a230b4bbfeeca49cf0ac14239a914a144e","datavalue":{"value":{"entity-type":"item","numeric-id":3337662,"id":"Q3337662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481330$E02D2008-E71A-4361-AD5A-FFDD32FA32B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c040415d351156844afd3404e4c23cb0d719d904","datavalue":{"value":{"entity-type":"item","numeric-id":582399,"id":"Q582399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481330$FABDD5AC-F177-416A-BD4A-7D7AC6A26324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca49cd8539f390844297286737a8ab0493ae1eed","datavalue":{"value":"10.1007/S00233-007-9030-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481330$2DF6A440-D5E1-40F4-9F54-0AC10D26E4E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35ba0e9f71ed0d1f3567318b4dd7f0fab23b745","datavalue":{"value":{"entity-type":"item","numeric-id":1772442,"id":"Q1772442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600d9c89e607cfb3f1d62014b4fc690f79be8034","datavalue":{"value":{"amount":"+0.9472518563270568","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":"Q2481330$5E21AB69-F929-4D3C-A557-569F7A107882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117fcbc184a7eb1d5a210c3380361253c91dcd6b","datavalue":{"value":{"entity-type":"item","numeric-id":3449708,"id":"Q3449708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417fc84e612865787f6a316c7de5d81f45287eb0","datavalue":{"value":{"amount":"+0.9464620351791382","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":"Q2481330$F167F0BF-2079-4FCB-8A5C-B268D55AAF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c078088edb6725784883ceb90453c7783d88d22","datavalue":{"value":{"entity-type":"item","numeric-id":2376520,"id":"Q2376520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b17dfb71aa7872c5eba76d48b80abade07f77b","datavalue":{"value":{"amount":"+0.9413968920707704","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":"Q2481330$CE5729D0-879F-4B37-B19C-34B0DDF0F614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b276bf8409c436b63d22468a25068e0acc81f329","datavalue":{"value":{"entity-type":"item","numeric-id":2357011,"id":"Q2357011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e938b05bfe3704d0f8551755ca8a018a72c612a","datavalue":{"value":{"amount":"+0.9126914739608764","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":"Q2481330$36D9C182-7581-4A15-9FE2-58BD2ACC8B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792924ef160674d95e1cfa389b616d4b490cf064","datavalue":{"value":{"entity-type":"item","numeric-id":677103,"id":"Q677103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2a1a136f60866df8a5a54db8bfc86c5d7baecb","datavalue":{"value":{"amount":"+0.9006960988044739","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":"Q2481330$DA4B217C-26AC-42DC-A7E1-5B8BB5D00B34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2481330","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2481330"}}}}}