{"entities":{"Q2491184":{"pageid":2501927,"ns":120,"title":"Item:Q2491184","lastrevid":49841386,"modified":"2026-01-11T05:25:30Z","type":"item","id":"Q2491184","labels":{"en":{"language":"en","value":"The word problem for relatively free semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5027352"}},"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":"Q2491184$10DFBAA9-5B9B-443F-A851-A495384C230A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"398d473f5c27b05961954c0a477908adf7420cb1","datavalue":{"value":{"text":"The word problem for relatively free semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2491184$D4925C69-0AC6-4D06-A882-10074177FAE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8511e83fb689de57e70491dbd0a28176e28bf708","datavalue":{"value":"1095.20033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491184$ED6A4DFD-5006-4002-84F2-983A54D0A982","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":"Q2491184$B4BFCC15-6D17-4A34-AD2C-92D29EB1B68D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4c8103b3de3619e9a7a179137854980af704334","datavalue":{"value":{"time":"+2006-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2491184$32EEF94F-4FAA-49C5-8A7B-4F309AED78D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"82398cadc2004c6cc5d5011278d15619331a54a9","datavalue":{"value":"It is almost self-evident that the equational theory of a variety \\(V\\) of algebras is decidable if and only if the word problem is solvable in the relatively free algebra of countably infinite rank in \\(V\\), and thus if and only if it is solvable in each relatively free algebra of finite rank in \\(V\\). Now for any variety \\(V\\) of semigroups the word problem for the relatively free semigroup of rank 1 is clearly solvable. Thus for varieties of semigroups with undecidable equational theory, there arises the question of what upper bounds are possible for the ranks of the relatively free semigroups in \\(V\\) that do have decidable word problem.   In the paper under review, the author constructs a series of finitely based semigroup varieties \\(X_p\\), \\(p>1\\), with the property that the word problem is decidable in the relatively free semigroup of rank \\(m\\) in \\(X_p\\) if and only if \\(m<p\\). -- The proof is based on Minsky machines.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491184$8BA8C5D2-7DD9-41C5-AAFE-41A075B00185","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491184$9297C221-B9CE-4D3E-8ADA-B29F5F07CB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491184$D0F5B100-A73F-4260-BB15-A479D32AFEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491184$3362375C-BBF1-47C0-90A7-1406F1259CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491184$C3EF87D5-7768-45C9-92C9-53EC95DD4F6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d107760847e0924a2d1e481afba7ca5d40d10491","datavalue":{"value":"5027352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491184$44451A2A-E344-4FAB-866C-C998A5FC2C80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491184$B63F9611-B0CD-4966-B7E5-3FDCC2AB49B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491184$2F68E721-33A2-4535-A7D7-4FAFDF090689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f53e2ace07ab1897e003a3d6534bb4f95832321","datavalue":{"value":"relatively free semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491184$7C840305-142D-44AF-9A8F-E08119A854D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d0d88cd53d610c8c01b66dd6b877f36cf7ed9e","datavalue":{"value":"finitely based semigroup varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491184$51A2BC80-405F-4D75-8374-BD482B82BCF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fb8cb32da2c58b0d4ce69f1057ecb411c1a6122","datavalue":{"value":{"entity-type":"item","numeric-id":253168,"id":"Q253168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491184$DFA2C4DD-BDBD-470A-853F-1C3D8F20E733","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491184$82CB3CD9-BD0F-44F5-B3F3-82E925FDA540","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":"Q2491184$3A806F14-D5A8-4CC0-8F9F-E3809FDBEA4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2a911f5985d0e2b786b07c3e5005ec78050bc32","datavalue":{"value":"https://doi.org/10.1007/s00233-006-0002-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2491184$93DA9F3B-0B29-4623-BD31-FF5F799FF665","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77548cfec697bbbd6e8d7d848511e6f34996ccc0","datavalue":{"value":"W2113866840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491184$84519DCA-2E5D-4377-9311-204548F4D5EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bfc2ae3766ddf828667ba0658c2ef5f434f3489","datavalue":{"value":"10.1007/S00233-006-0002-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491184$A753EA10-D451-441A-9851-964C5C20B002","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bfd525694b2fa085a13e0c27d11ffc9f8fafa6","datavalue":{"value":{"entity-type":"item","numeric-id":4723963,"id":"Q4723963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2520b185398df92f00dffb4422ddd9347ed33cb8","datavalue":{"value":{"amount":"+0.8552494049072266","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":"Q2491184$C247BF3F-455D-4BC5-B362-D20E666D8F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70ec3a7eac14e83f49a2dc055a586926473a2be","datavalue":{"value":{"entity-type":"item","numeric-id":4794027,"id":"Q4794027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43db1f4369245390e1c4c704514adcfede95ab8a","datavalue":{"value":{"amount":"+0.8509777188301086","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":"Q2491184$3C56E5A4-5AA3-4065-AB66-16C7E3D18E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68493d7d06a368dbc4939e1ddf07a61b546f270f","datavalue":{"value":{"entity-type":"item","numeric-id":1824703,"id":"Q1824703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a0abc8bcb09cdb680ecf27c075dcdc7a4294a17","datavalue":{"value":{"amount":"+0.8478572964668274","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":"Q2491184$53AED638-4D6F-4699-92E6-A3E4C47F9423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf0b961146402f7a93775cebccad263adaf7158","datavalue":{"value":{"entity-type":"item","numeric-id":4286027,"id":"Q4286027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a7b85d8de673976c5277b753e680503135a51d","datavalue":{"value":{"amount":"+0.8476113677024841","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":"Q2491184$4B8ED175-CBAB-4C6B-AD42-CB4695B51E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053d39bcbe30c1b36a257e8e29259db0e3b88f44","datavalue":{"value":{"entity-type":"item","numeric-id":1107640,"id":"Q1107640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600903181fbae657bc81c6073cd9bba87ce38a47","datavalue":{"value":{"amount":"+0.8471760153770447","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":"Q2491184$4167126A-ACFB-400C-ADBA-1AFB03FE1CBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2491184","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2491184"}}}}}