{"entities":{"Q804711":{"pageid":806559,"ns":120,"title":"Item:Q804711","lastrevid":64508814,"modified":"2026-04-11T20:21:28Z","type":"item","id":"Q804711","labels":{"en":{"language":"en","value":"A general finite basis condition for systems of semigroup identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4202592"}},"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":"Q804711$137F96D0-C6DE-4580-8FB2-2E9EA7A9EC49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bfc5e64ababad69d318cc03e4420cfcb6b5bf14","datavalue":{"value":{"text":"A general finite basis condition for systems of semigroup identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804711$BEEDC3EE-005F-4FA0-B3C6-039BC974755B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3a8e1555f163d850b40f7250e3ed27412adca75","datavalue":{"value":"0728.20049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804711$C7B386E2-952F-448C-91E1-51661AD82748","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21cfee9c9d6c6904bad16f41f6a00652826e93c5","datavalue":{"value":"10.1007/BF02573389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804711$48DF9654-FE08-4AEC-98CF-E371606405F4","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":"Q804711$2023E684-66DD-41D2-8D0F-FAFFD271F641","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q804711$88B0E363-EAAB-4F5A-A75C-99F6F6501779","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94207be90432c65952439effbbe690ef1720ce51","datavalue":{"value":"https://eudml.org/doc/135047","type":"string"},"datatype":"url"},"type":"statement","id":"Q804711$67E0D704-2698-4790-8368-5E6B110FAC85","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cbc4076a3040fc934f11f776acb5b9eb5e58b073","datavalue":{"value":"Beginning from a countable alphabet, the author uses certain ordering properties to define the notion of a coherent set of semigroup words. Using this notion he formulates and proves his main theorem, which provides a sufficient condition for a system of identities to be finitely based. The following corollaries are then proved: a system of identities determined by a fixed non-negative integer, in the sense that both parts of each identity have level not exceeding that integer, is finitely based; and a system of identities in which both parts have at most one repeated letter is finitely based. The second of these was previously announced in a paper of \\textit{L. N. Shevrin} and \\textit{M. V. Volkov} [Izv. Vyssh. Uchebn. Zaved., Mat. 1985, No.11, 3-47 (1985; Zbl 0629.20029)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q804711$F31F5F61-71AD-4A62-9C9E-5EC2BF280F0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804711$220A610C-08C0-4C0A-AA64-AC4F8D472DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804711$13CC0B35-6E4B-489C-AC38-75808AFF9A19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56f5cb6084bcb8b816240dea784729862282934d","datavalue":{"value":"4202592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804711$D1CBE76F-37A0-4A7D-A2BD-3F3C38EB9035","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ff4d5357629d3c80a09f36122a0455fa100428","datavalue":{"value":"coherent set of semigroup words","type":"string"},"datatype":"string"},"type":"statement","id":"Q804711$DF2BBABF-E766-49D7-B8B1-88A44E15B413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214db0df0f08b0340eda931d500f7bcdc489067f","datavalue":{"value":"system of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q804711$C11331F9-D8E4-4AE0-8D76-C98ABBF41E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05c3be369fac50ea7fd0121b46e177d0e6242440","datavalue":{"value":"finitely based","type":"string"},"datatype":"string"},"type":"statement","id":"Q804711$E75C8952-1EF6-46D2-BDED-F14927255AA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9836a36a6248613f2664814a87ea01a9c752cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1729794,"id":"Q1729794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804711$D75FBC63-70BC-43D6-986B-8DC233B020AF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"adbdb2393a95b9cc0095400cb77ff3560439d000","datavalue":{"value":{"entity-type":"item","numeric-id":535218,"id":"Q535218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804711$F4F2897E-368E-49BB-95D7-9DAA266C9E54","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":"Q804711$54320436-06CA-48D0-B2AF-0A2CA5D3B40C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804711$38A32F29-52DB-47BB-ABA9-AAC0CA8DEBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e8e4b50c30efc1e499052728acc1d04ef0e3d2","datavalue":{"value":{"entity-type":"item","numeric-id":5679044,"id":"Q5679044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804711$2103AB7A-152F-4A3B-ADA8-E7311FAE50EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740cb886eb095d0a8c707aac801289b9db94804e","datavalue":{"value":{"entity-type":"item","numeric-id":3765976,"id":"Q3765976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804711$511BFCA9-5CDF-436C-B6E9-0D08C5FCA130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb17eea22e006ae4250ac20153932dd0b2fa9afe","datavalue":{"value":{"entity-type":"item","numeric-id":786929,"id":"Q786929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804711$87219672-F055-4CCD-8165-919C82B7BB39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fbcfd87c927e8c8871021c182de9065d1d95a6e","datavalue":{"value":"W1983005984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804711$3F1232F8-2712-433F-9E1D-C3DACC2B0A16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e698eebe609c04a23e9bce52e7da1914fb18c7","datavalue":{"value":{"entity-type":"item","numeric-id":691030,"id":"Q691030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71baccbc016ec7d7406d632888d4e6ca8fa94b40","datavalue":{"value":{"amount":"+0.8060702085494995","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":"Q804711$4CD487B4-D0A9-4D0B-8266-E0A128C24426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eb51401bd8126fcaebb37382ab3785e68cf4f3d","datavalue":{"value":{"entity-type":"item","numeric-id":361862,"id":"Q361862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284b477c2e22b7e9b5afca1571f8ca12daf0cb77","datavalue":{"value":{"amount":"+0.8041993379592896","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":"Q804711$EA63249E-7EEB-40D1-885A-D091CA39BCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"605474812e18e582e69c9e6a66c9a4e454fdbd46","datavalue":{"value":{"entity-type":"item","numeric-id":4802802,"id":"Q4802802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71143fc758ea2dd5b015b19d053c0c4c156df792","datavalue":{"value":{"amount":"+0.7987185120582581","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":"Q804711$9D4E0A0D-558C-4312-AB1D-415C2B3A7F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7c49c9fba0ad0fa78bdea65bb094246de34798a","datavalue":{"value":{"entity-type":"item","numeric-id":3789786,"id":"Q3789786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524cf5d0bac93e8ceafeaec8d76bb1088a257e72","datavalue":{"value":{"amount":"+0.7986467480659485","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":"Q804711$73F584ED-84B3-4B0A-A3DB-4F4FB89BA25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1e8e8f0fbd32893468bab214033c8cc2ddee766","datavalue":{"value":{"entity-type":"item","numeric-id":4227131,"id":"Q4227131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519bd844568b16ca0e45d06a36f9e0fe036ddb87","datavalue":{"value":{"amount":"+0.7973729968070984","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":"Q804711$F2203837-5FF3-49CE-AEEE-C19FA89C15D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general finite basis condition for systems of semigroup identities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_finite_basis_condition_for_systems_of_semigroup_identities"}}}}}