{"entities":{"Q1921916":{"pageid":1932658,"ns":120,"title":"Item:Q1921916","lastrevid":47413249,"modified":"2026-01-01T16:30:46Z","type":"item","id":"Q1921916","labels":{"en":{"language":"en","value":"Eventually \\({\\mathcal H}\\)-related sets and systems of equations over finite semigroups and rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 923690"}},"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":"Q1921916$C8F68150-A61A-4374-A254-2DE7D63ECAF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe7ee325ee0f688594ad8970f28683bef10e09ef","datavalue":{"value":{"text":"Eventually \\({\\mathcal H}\\)-related sets and systems of equations over finite semigroups and rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1921916$22EED07F-1627-42A8-A6ED-717E225AD815","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e88580b7eeea1bac565b66b2e132456bc059906","datavalue":{"value":"0857.20041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921916$A8BC7229-0F94-4ACD-A3AF-EFDFA5D2131C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921916$0968B8C3-EB0F-445C-8A52-B4B56421F86D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d551ab41395161b64b27c63c28655a09a8eb2ff6","datavalue":{"value":{"time":"+1997-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1921916$597B3756-A7AF-4D49-8874-AFC7D73AB446","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"798b41399051d715b8954b807b1b0309f389bdc1","datavalue":{"value":"It is shown that there exists no algorithm which, for any given finite semigroup \\(S\\) and disjoint subsets \\(A\\) and \\(B\\) of \\(S\\), decides whether or not there exists a (finite) oversemigroup \\(T\\) of \\(S\\) such that \\(A\\subseteq H_1\\) and \\(B\\subseteq H_2\\) for some \\(\\mathcal H\\)-classes \\(H_1\\) and \\(H_2\\) of \\(T\\). As a consequence there is no algorithm which, for any finite semigroup \\(S\\) and a finite set \\(\\Sigma\\) of equations each one of the form \\(ax=b\\) or \\(xa=b\\), \\(a,b\\in S\\), decides whether or not \\(\\Sigma\\) is solvable in some (finite) oversemigroup of \\(S\\). Such an algorithm exists however in the case where the sets \\(\\Sigma\\) are allowed only to consist of equations of the type \\(ax=b\\), or only of the type \\(xa=b\\). Similar results hold for finite rings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921916$2ACBC7F9-0085-4953-BE01-989FB9E72881","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eee9bd9c9ab6ed5b7dd1e7910ae950215efafcc9","datavalue":{"value":{"entity-type":"item","numeric-id":744857,"id":"Q744857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921916$8F4A919C-8C67-4BA3-B6FF-AFB5164B8CF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921916$BF3FB020-959B-433C-964F-8D0D75E1DC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46cc6f74904d93d783c1cf8007a9494ea0b980f2","datavalue":{"value":"16P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921916$C13922C9-A0C4-4638-A181-FB2C2B0049FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921916$D2EA5BD9-C400-4971-9ACC-BA82E1B5F88A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28bdb661198c06afb5712303ad4c27656290f740","datavalue":{"value":"923690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921916$466292E4-CF10-4BD0-96C6-640E7034B3D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ac6701bff6972da991c5209d8dad72896f4570","datavalue":{"value":"linear equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921916$79A5CC06-4B76-46B6-92EA-601C9F91D82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459eab9d23c5493324cb920a82feb507bf3dca3d","datavalue":{"value":"\\(\\mathcal H\\)-relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921916$1E51D639-2DFA-48A0-A85D-DBFBD291F24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921916$0658DEC5-2108-4BFF-B823-716EE963A36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ceebaa719036c2976369d4ca6a2c94f8e767dd","datavalue":{"value":"disjoint subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921916$2C8811D5-06EA-4ADF-A374-822F2F0F21D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921916$62EF1667-6177-4E82-BA84-0515DD24571E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee8e8704ceed059c5cd6c37aa19c44660e03b735","datavalue":{"value":"finite rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921916$762488C4-1174-468B-B087-D1EC67445F18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"862afb06b461dcc1ff46d6df9b011842f09f8803","datavalue":{"value":{"entity-type":"item","numeric-id":1016797,"id":"Q1016797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921916$8DF45E9B-457F-4F07-A7A1-DCE0BF555DE0","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":"Q1921916$4526E4C5-A956-4EDF-A557-F3A5D40D4654","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45d36a5f246b463ec6e609f84d14bfc869ef6383","datavalue":{"value":"https://doi.org/10.1006/jabr.1996.0225","type":"string"},"datatype":"url"},"type":"statement","id":"Q1921916$6D5E5073-6946-4DF5-9634-030E989486FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"200d47951b6df504d76b8b91d8ddde95ddbcb5d6","datavalue":{"value":"W2067141462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921916$594EB715-FE18-47BB-9815-3F509B30E203","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8085a5cdcaca48b9db4f865f17f95ce44627333","datavalue":{"value":"10.1006/JABR.1996.0225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921916$0808C90E-7FC4-4B87-9269-0E634BF201D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f95b39b8c86cdb90cb7dec29e9d848e68635b22","datavalue":{"value":{"entity-type":"item","numeric-id":870451,"id":"Q870451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13026ce8aa5b42bee187fd765c8c5a30dbc9631a","datavalue":{"value":{"amount":"+0.7994871139526367","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":"Q1921916$B1F92B7B-39C8-4B94-ADCD-FCA84A1F0E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66dccde614e9f289d7f054dc1d91d30eaf627e57","datavalue":{"value":{"entity-type":"item","numeric-id":5458364,"id":"Q5458364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39595851ce60e8d8f02a8f8ebbdd8ded294e23e8","datavalue":{"value":{"amount":"+0.7975403070449829","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":"Q1921916$E125A812-240C-422D-9332-B508D144B9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fabd8f2dd98e5d8ce77b5c1888e36f79904b45ea","datavalue":{"value":{"entity-type":"item","numeric-id":321267,"id":"Q321267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4506ca75091531e314b617d49bf253ff3d0108a5","datavalue":{"value":{"amount":"+0.7835549712181091","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":"Q1921916$E4D9FD2C-99EA-4696-9642-C735928D80CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88c46a0391b7a045d95e59eb03f7cc858ff14ac","datavalue":{"value":{"entity-type":"item","numeric-id":2342301,"id":"Q2342301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbf8fc3d60b18a0a0ed73403c1ee91d551359bf","datavalue":{"value":{"amount":"+0.7824105024337769","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":"Q1921916$53B432D6-5B6E-41EE-BB7F-FB4093EAA882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31dae53ef607b52f0ae7882e43cd72d14877a5f9","datavalue":{"value":{"entity-type":"item","numeric-id":3098040,"id":"Q3098040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910d0e2c06cb10bb483d3ddff13e7838c14fd4ce","datavalue":{"value":{"amount":"+0.7787866592407227","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":"Q1921916$22806123-B8D2-40A8-B841-2F3AFD557019","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1921916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1921916"}}}}}