{"entities":{"Q811558":{"pageid":813406,"ns":120,"title":"Item:Q811558","lastrevid":64548183,"modified":"2026-04-11T20:37:54Z","type":"item","id":"Q811558","labels":{"en":{"language":"en","value":"On finitely recognizable semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4216055"}},"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":"Q811558$880B0D2E-BAF0-49DC-B85C-0A2B63B72E3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb6a0a39a88f6adf64660e81b47ed82b5743ecc2","datavalue":{"value":{"text":"On finitely recognizable semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q811558$7C11DE3B-52F2-4E3A-B36C-0A2159F10F6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0592d28539da0cf35150b125805ad75f814f1da3","datavalue":{"value":"0737.20030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q811558$6A4FCEF2-7E8C-4659-B7D0-B3A46A1B4578","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8df35ec81ba43bac2ab4d24c3f592be4865ae9f2","datavalue":{"value":"10.1007/BF01193579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q811558$7AFF578F-57E0-4B98-9EBC-99EB5B6E5A4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52f17c2cd460f5ac810f2c03192e70dd7240742","datavalue":{"value":{"entity-type":"item","numeric-id":213204,"id":"Q213204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$5CA13345-6208-4A2F-8C10-EE8B827C881D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d8417afdf52a28b84ff00c20815e85e1e4e448d","datavalue":{"value":{"entity-type":"item","numeric-id":1165590,"id":"Q1165590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$063FB9D1-7375-4B5E-935B-49AA29D8F32B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$69577975-D536-43EA-8705-C304DA18A53D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf2f83ceb66feb8490ae2b363c9cada085a3535","datavalue":{"value":{"time":"+1992-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q811558$4EED969E-C486-48B9-8A24-EF6CD31C5EA1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae34fcaf3babb26ea1b05604d0fbd0c9d4ab35eb","datavalue":{"value":"We analyze some algebraic properties of semigroups whose finite subsets are recognizable (finitely recognizable semigroups). We show that these semigroups are stable and their subgroups are of finite order. As a consequence of this we prove an interesting decomposition theorem for finitely recognizable semigroups which are finitely generated. Moreover we give more equivalent characterizations of these semigroups under the additional hypothesis that they have a \\(\\mathcal J\\)-depth function; we show, in particular, that this class of semigroups coincides with the class of finite \\(\\mathcal J\\)-above semigroups. Finally we prove that finitely recognizable semigroups which are finitely presented in a finitely based variety have a solvable word problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q811558$89B171C9-D4BC-4124-83F5-AA364E96EB5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q811558$E414ADD7-21C3-4F20-AA5E-CBB2A9C37D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q811558$DD073C27-528E-43C0-9CE2-714A58BA7FEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bd223411ae4e5966a15e1000e8cd6f74e511485","datavalue":{"value":"4216055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q811558$FFA72963-7FBD-4942-B546-45A427EFBBDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459b1112f3c9208864d21e9010c65284a0957db7","datavalue":{"value":"decomposition theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q811558$598148C1-9FC2-4D2C-AB0C-21B75A329960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e350971514315436919206e24e1580ec56f50fb","datavalue":{"value":"finitely recognizable semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q811558$A6C80922-01C2-41F4-A26D-623898E3337A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e7c30c8aaa3e656e6a297185914971abed9005","datavalue":{"value":"finitely generated","type":"string"},"datatype":"string"},"type":"statement","id":"Q811558$7D597268-5A0E-4B74-A9C5-FAD25A9C14D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83b8c74b68857d64d1ad5d62e2d8a7dfb52b9086","datavalue":{"value":"\\(\\mathcal J\\)-depth function","type":"string"},"datatype":"string"},"type":"statement","id":"Q811558$0F06E4D5-B6C9-40A7-984D-8C6A9000DC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b2028163ce0ef77964cf58ac3475d9a9af58b38","datavalue":{"value":"finite \\(\\mathcal J\\)-above semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q811558$B63A7B8F-DCB0-488B-9B4F-8C708F6FC914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0b097a12ba26ef76ef6a334dbd479bd1aa78ec","datavalue":{"value":"finitely presented","type":"string"},"datatype":"string"},"type":"statement","id":"Q811558$0C65EC50-5B9C-422E-AFCD-2F60FABEA26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e285fdb4a226db51d641ea571f2188df40afe59","datavalue":{"value":"finitely based variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q811558$708D2488-DB19-4300-8EA7-55A784B3400C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b840fe10dbae5b613a37e83efae2e494460293f7","datavalue":{"value":"solvable word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q811558$F30B5F7E-68BF-4532-8E76-798D3E78BA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1ff16a6e5d880728fb5a36656f8aa3fc12e79f","datavalue":{"value":"Burnside varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q811558$F276448F-36D3-4DBE-B85E-5E4E403D485F","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":"Q811558$63949E24-5674-45A3-A36E-0B72A6639A0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd34852102070f2b28c9cae47422fc8b6079e08","datavalue":{"value":{"entity-type":"item","numeric-id":798447,"id":"Q798447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$4AED60EB-52B5-4EE8-90FF-4758DA68D791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$CF3AB2BC-694C-426A-9847-CA0D8831C91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e41930ba9b1fd9ddcc0c32232df557efc5af58","datavalue":{"value":{"entity-type":"item","numeric-id":1177143,"id":"Q1177143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$5D12A127-9326-4EF3-B39E-39BDDEF12C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4616330ea25014ebea8156ecb856ba422786dab","datavalue":{"value":{"entity-type":"item","numeric-id":1173706,"id":"Q1173706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$A130E169-7223-47C1-96CA-ACF228942E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ec1b50c45cc5a7341b6e870db910162afe39e4","datavalue":{"value":{"entity-type":"item","numeric-id":4038682,"id":"Q4038682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$8FE913ED-B7E8-443E-AE70-2773DEB3FAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5305d28ff811f6413f3c590ad34719d5d9f930b8","datavalue":{"value":{"entity-type":"item","numeric-id":3994320,"id":"Q3994320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$1B23486A-893A-48A7-8458-0423CD4B3CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$A8BD4075-25FE-42B1-A0D7-F1DAF6BAAAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e947f4c32cdfed0e7e74613aed389a2f7554c517","datavalue":{"value":{"entity-type":"item","numeric-id":5575595,"id":"Q5575595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$E7C92550-2702-40CE-8CD5-EFA8762DF539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c259d2b11a1defea3f6e82a596c27c2a9efa57a5","datavalue":{"value":{"entity-type":"item","numeric-id":4163392,"id":"Q4163392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$F4DA9053-34A3-42A7-94E8-93FB24B2076E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$DCFA62BD-53B3-42D7-A384-A472E97F601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$264FA4E0-67E8-4536-A5BE-E2F8826A26E9","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":"Q811558$9FFE9538-B136-4920-8FF3-760A4F2FFA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af70f84835fe13208a83c8903bd323d51900d7e5","datavalue":{"value":{"entity-type":"item","numeric-id":3358946,"id":"Q3358946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$8D315576-435F-47B6-AC49-CF29418B3A79","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":"Q811558$3E52ABAD-A083-44FC-A6E5-4ED717A958EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a1132fd3c5df9a21a730592a371565cc65c578","datavalue":{"value":{"entity-type":"item","numeric-id":917713,"id":"Q917713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$B56F07A5-9B56-459D-8BB1-FB4673393FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c878ddd493f2de47dca273e104c08a050dd0a0","datavalue":{"value":{"entity-type":"item","numeric-id":3695482,"id":"Q3695482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$BED99BEB-F550-4ACC-9F79-FE1ACE8E8CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f887d02cbb052dee2861a72437defa2e33afe78","datavalue":{"value":{"entity-type":"item","numeric-id":1101553,"id":"Q1101553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811558$EEFF462F-AB42-4C6E-8E96-26D0ED71540C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cddb08249d2e8c5caef6e51f4f684703e8b776c8","datavalue":{"value":"https://doi.org/10.1007/bf01193579","type":"string"},"datatype":"url"},"type":"statement","id":"Q811558$B2825C3A-230B-43E8-977C-524D5FFE4CDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffae9fb1eb567d7c02be667e9cad8be7737df1e8","datavalue":{"value":"W1983217319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q811558$492180BB-2483-490D-BDC0-055C096359F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f39ec9cebc36c00fe5eb57e2b66792c4ae4a38","datavalue":{"value":{"entity-type":"item","numeric-id":3491819,"id":"Q3491819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5be50c2ca700d459230b30566b1c5edcc3af781","datavalue":{"value":{"amount":"+0.7682804465293884","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":"Q811558$3024FF1F-657C-442C-B9C4-70F63A1B221E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44426922b6d4a073a3774e1a1f36995d24fee5df","datavalue":{"value":{"entity-type":"item","numeric-id":1178693,"id":"Q1178693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27b60c6c0903cb35cbe9c65fae0985e2c32184f","datavalue":{"value":{"amount":"+0.7443845868110657","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":"Q811558$4D6CD7D8-63D8-4EDF-AFFC-145B7E393994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910a6ff12985cd24ccd91a404c0964fd0a108ed8","datavalue":{"value":{"entity-type":"item","numeric-id":2009666,"id":"Q2009666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e6bbcf7d4a820813d54fba848a778e77bbefd6d","datavalue":{"value":{"amount":"+0.7441489696502686","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":"Q811558$A07CF100-D8DF-4B32-8BCD-E14A46EAE82C","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":"e3e58571f2719cbb9d0eab347779c6d12a9adb92","datavalue":{"value":{"amount":"+0.7433537840843201","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":"Q811558$741679BC-7754-4B74-A6B3-BA2E70C3E806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db261d52842659858b1118730836e675dac9e4f5","datavalue":{"value":{"entity-type":"item","numeric-id":4231020,"id":"Q4231020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5070ea3cf5dc95b9e74c79c9a7e4db41e997efa1","datavalue":{"value":{"amount":"+0.7429296970367432","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":"Q811558$B4761B72-3C93-4D9A-9B30-A03D8F38070E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On finitely recognizable semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_finitely_recognizable_semigroups"}}}}}