{"entities":{"Q2730741":{"pageid":2741480,"ns":120,"title":"Item:Q2730741","lastrevid":47647204,"modified":"2026-01-02T07:33:27Z","type":"item","id":"Q2730741","labels":{"en":{"language":"en","value":"The pseudoidentity problem and reducibility for completely regular semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1624937"}},"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":"Q2730741$1F192B5F-12FC-4134-A4C9-4CBEF4583A98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46a1c83d89b615949a009eb4901a608ca3615549","datavalue":{"value":{"text":"The pseudoidentity problem and reducibility for completely regular semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2730741$0D303F3F-273C-4E7B-9025-67EFD7FE110D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78bb6d92f9e181dcc623e358fd8a42a71bc86270","datavalue":{"value":"0982.20042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2730741$7FCBD8FA-C974-49ED-9337-F4D022DF5B5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d838e6df7d8f63c8d6a2401d73c3944062e84f5","datavalue":{"value":"10.1017/S000497270001950X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2730741$09B6C705-BF3F-4C7E-92BD-17184C53666B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85dd916fef8e44016999cb10bcb9414cc4461f0f","datavalue":{"value":{"entity-type":"item","numeric-id":244473,"id":"Q244473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$A1C683D8-F382-4672-ACCE-BE523319640F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc1d31d63a2df647dd98cf320ada5d35f0019b0","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$B58205FE-4E0D-4ADF-90FA-DF6220CD5562","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b34985c280ac92a95e78ca54439c7119e4907e7","datavalue":{"value":{"entity-type":"item","numeric-id":2716953,"id":"Q2716953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$4CE727C5-AF17-400E-92F7-AC3B0ECBA012","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f655c31cc2852618c9e3bb121abebcd1b23c2ceb","datavalue":{"value":{"time":"+2001-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2730741$AEAC0C7E-3127-429B-853D-16E06ABBA111","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2730741$0463E1DE-4BC5-464B-9550-DCAC9B49749D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2730741$4BF9A51A-D67A-4392-88DF-FCECA1B03970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2730741$A84990D0-3223-4E19-8FE8-A7BEE4183FB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee64e66f9b2cebdaf1b06fff59312f96f8415c3c","datavalue":{"value":"1624937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2730741$89E2BDFD-D21D-4451-B4D4-514AC4EE0CFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2730741$0F9A7C1A-AC5C-4CAB-A113-89C2D52878A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29dd9acb5da6f29f7632f13ec3c988a262dae3a2","datavalue":{"value":"pseudovarieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2730741$D6380545-67A5-4C24-AEF1-22F0B723F781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d432283c5734386ad60a6b53fc100e8665d074c","datavalue":{"value":"pseudoidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2730741$A84E280F-96E8-4B4D-9A76-D84DD4864339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558a2370682d625ad5b535fac8b043ac8c328de1","datavalue":{"value":"completely regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2730741$FCAF37A2-6811-44C3-B4B0-62B7E155A19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d89507687ef1c548dc487dc04f7d5603aa5c8fb","datavalue":{"value":"implicit operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2730741$8F44035F-37B1-4CD2-8270-7D0E14A4FDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df410a073da4162ebac07c04ca55758567d0c51e","datavalue":{"value":"Ash's inevitability theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2730741$13E5046B-3C4F-48DD-A9E2-8CD54BF2654C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e59e137b5f9dfef8491bc81dd3bf29215ae199d","datavalue":{"value":"hyperdecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2730741$40065B7C-B40B-484D-872B-7DC497D10EAA","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":"Q2730741$21104D2C-BBB2-455A-8436-15925E738DC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e72ebf33313b55a54ac066df6b2679c7a50c871","datavalue":{"value":{"entity-type":"item","numeric-id":1964132,"id":"Q1964132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$B954A5F0-D9AD-4923-8002-5416909C5EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed496352c040c4152891195e3251999037c6cbb","datavalue":{"value":{"entity-type":"item","numeric-id":4892455,"id":"Q4892455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$BC3D066F-4A8D-4979-8C20-C133372045D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c62831d743f472cbdf067b4def9f5a42c10e15e","datavalue":{"value":{"entity-type":"item","numeric-id":4003594,"id":"Q4003594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$DAF002A8-B39C-4EA5-957D-CC9714DBD653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7319e9ede084c07ca6651e6ac255e83e001e760","datavalue":{"value":{"entity-type":"item","numeric-id":4513305,"id":"Q4513305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$D4977350-0400-4AC2-847C-C4F46EF0CBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f296d3d4525e08a756dc36c810f3409f95edc1","datavalue":{"value":{"entity-type":"item","numeric-id":755897,"id":"Q755897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$9DE935B6-3712-4388-A3B6-9D4E7BA9BF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57563327bae80ae38a870f40e8a977ebf247e8f","datavalue":{"value":{"entity-type":"item","numeric-id":581547,"id":"Q581547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$8DE4E6C6-B656-4783-8320-21043BEBD5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42de0b638ba926d01560f66b384086072b503229","datavalue":{"value":{"entity-type":"item","numeric-id":1085283,"id":"Q1085283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$8858935F-B329-4105-A3ED-6C383C4CC274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4b58eef69ca002442fc8892d8951907306aa68","datavalue":{"value":{"entity-type":"item","numeric-id":3209328,"id":"Q3209328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$C1F03304-0716-47FD-953C-7930B4FB9052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fcde6f1121f5cf95753264b136b6dc438cfa20","datavalue":{"value":{"entity-type":"item","numeric-id":1380025,"id":"Q1380025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$EA7FC78F-36D2-4358-910A-E22E543C78C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aff5c8cacd83ad6b7451a953232661ac875cd12","datavalue":{"value":{"entity-type":"item","numeric-id":4487602,"id":"Q4487602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$9A853D49-9644-4B96-8AA0-7C4603FA3383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05116c83302b53e26ef91ae63b7b9b780da02459","datavalue":{"value":{"entity-type":"item","numeric-id":4943314,"id":"Q4943314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$1A58A249-A4C4-465E-A95E-6F931CFE1401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041dba3cfa101ba75306de7bad2972f86e1c4303","datavalue":{"value":{"entity-type":"item","numeric-id":4513299,"id":"Q4513299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$2193B2D7-4F6D-43C0-85CF-6E211492ED03","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91fb6550b78f94d58a1cba6708d53190db7203e7","datavalue":{"value":"For a pseudovariety \\(\\mathbf H\\) of groups, let \\(\\overline{\\mathbf H}\\) be the pseudovariety consisting of all finite semigroups all of whose subgroups lie in \\(\\mathbf H\\). The main result of the article (Theorem 4.1) gives necessary and sufficient conditions for a pseudidentity \\(u=v\\) to hold in \\(\\mathbf{CR}\\cap\\overline{\\mathbf H}\\) where \\(\\mathbf{CR}\\) is the pseudovariety of all finite completely regular semigroups and \\(\\mathbf H\\) is a given pseudovariety of groups. Let \\(\\kappa\\) be the signature consisting of the usual semigroup multiplication and the standard unary implicit operation \\(\\omega\\) (for any element \\(x\\) of a semigroup \\(S\\), \\(x^\\omega\\) is the only idempotent power of \\(x\\)). The authors propose a strengthened version of Ash's inevitability theorem (\\(\\kappa\\)-reducibility of the pseudovariety \\(\\mathbf G\\) of all finite groups) as an open problem and show that if this stronger version holds then \\(\\mathbf{CR}\\) is \\(\\kappa\\)-reducible and, therefore, hyperdecidable (Theorem 6.4).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2730741$AF102E11-E14B-42A5-AC5C-43FBC8B122FE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b14ac833afc72247aace02692250d7eb69a8515e","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2730741$6E0EAC37-1333-4203-8078-F1C810E7A48A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba2c4c34e9e7d8f50ecb20556556b6fb8985acc","datavalue":{"value":{"entity-type":"item","numeric-id":5429963,"id":"Q5429963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219a692d9a3e6c17094a4606a45add2743494944","datavalue":{"value":{"amount":"+0.8294857740402222","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":"Q2730741$211422A0-C4E7-45B6-B08B-65DB17447455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dae230937c1d74f568f7dd43c9b01714936af7da","datavalue":{"value":{"entity-type":"item","numeric-id":2986657,"id":"Q2986657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72686acaa725fb0169f6e1469f1abdb6be8fde77","datavalue":{"value":{"amount":"+0.8049430847167969","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":"Q2730741$6F25B6A5-C543-44D3-9744-E1D7151BCA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e9e39fcdb8f6cf6ec52de2d9ee6cab552d91168","datavalue":{"value":{"entity-type":"item","numeric-id":2479751,"id":"Q2479751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfdec19257faa2251829eb82fca8e5adedb73bdd","datavalue":{"value":{"amount":"+0.8006860017776489","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":"Q2730741$A9FCB88D-EEFF-4AE0-8083-589F182C2D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5066c7e5b0893aeaf50be4fb03c12feadb04be","datavalue":{"value":{"entity-type":"item","numeric-id":5298324,"id":"Q5298324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97854b2cef523c823a0ad509c20b8f8c1162fd2","datavalue":{"value":{"amount":"+0.7939611673355103","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":"Q2730741$5266D78B-23D5-48E5-AC3A-49071A73C95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17c1aeeecbc587c3abb8d9e3ce618555a5bac17","datavalue":{"value":{"entity-type":"item","numeric-id":4395729,"id":"Q4395729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d834a1b167a688e8e26954131412fd0a1b07a83e","datavalue":{"value":{"amount":"+0.7843632102012634","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":"Q2730741$1D3F5FEF-D885-4316-80C9-F863D455ECCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2730741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2730741"}}}}}