{"entities":{"Q2351505":{"pageid":2362248,"ns":120,"title":"Item:Q2351505","lastrevid":52288502,"modified":"2026-01-21T08:58:03Z","type":"item","id":"Q2351505","labels":{"en":{"language":"en","value":"On the finite basis problem for the variety generated by all \\(n\\)-element semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6449380"}},"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":"Q2351505$EC4A45B6-B9D0-4E8B-ABF4-565FD9BE6BB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02870388993265855f8aac41d7a26d894fb30d5d","datavalue":{"value":{"text":"On the finite basis problem for the variety generated by all \\(n\\)-element semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2351505$A46595D7-C18C-4A16-9D40-C9AFBE39D4E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5385b4d56fb0ac3b7676a4d0103b196563380fe8","datavalue":{"value":"1328.20076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351505$C46A324A-8352-44E4-A9B6-132059B30EC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"361ec6bbaeccca2bc83bd04836c6bd787c477a60","datavalue":{"value":{"entity-type":"item","numeric-id":895868,"id":"Q895868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$F1983BC5-0A5B-4B04-B639-7A7F1DEEF883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"003793b15cb0284e590e37371bc07efe2886367a","datavalue":{"value":{"entity-type":"item","numeric-id":312575,"id":"Q312575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$F4939994-15A4-4BD1-8A0F-18954491E738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05cb9f8283990caa51aaae7ca0e146f15d9beff4","datavalue":{"value":{"entity-type":"item","numeric-id":896249,"id":"Q896249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$20E23F2A-85B3-47F9-817C-FEFD88D768EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$57850B15-6865-4D6D-95BE-2754D17E67DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c61f53f8f8d7719eaa1ef54a22f9b50ec39aa46f","datavalue":{"value":{"time":"+2015-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2351505$0DCA2AD4-B467-4423-8319-95E17ABBB3D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"82855900ad80d0ebdca143b2e0256040fbd841ea","datavalue":{"value":"This paper answers a long-standing open question on the finite basis property for semigroup varieties by proving that the variety \\(\\mathbf{S_4}\\) generated by all semigroups of order four is finitely based. In fact, the authors provide an explicit basis for the identities of the variety, albeit one that is too lengthy to reproduce in this review.   To put the result in context, \\textit{M. V. Volkov} [Math. Notes 45, No. 3, 187-194 (1989); translation from Mat. Zametki 45, No. 3, 12-23 (1989; Zbl 0692.20048)] proved that for \\(n\\geq 5\\), the corresponding varieties \\(\\mathbf{S_n}\\) are nonfinitely based (even though all semigroups of order five are individually finitely based); while for \\(n\\leq 3\\), they are finitely based. Related results are also summarized in the article.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351505$BFF2D75D-8EE3-40C1-8D1F-0A1347B7DDE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351505$AD6F03AC-5C42-48A1-97D5-2F01FCE7487D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351505$4F765CBA-A182-4C10-9D75-3578FD3D28B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351505$7CBFB8D4-3412-47F9-AE65-040A7472E384","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"105d52a4524dbda90050c477b4a6940eb7aea278","datavalue":{"value":"6449380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351505$5C0A17CB-DE67-4874-9F20-894BEE39CD61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b506ba18e299894cf12c81ffd0a7d898253ec2b4","datavalue":{"value":"finitely based semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351505$752336F8-EED8-4690-A25E-EA187CD4938B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351505$51D2A7C5-2B3E-494D-821E-6466AC5EE1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b665671affc5d56ffaeb8f31646a7ef9162c4fc","datavalue":{"value":"inherently nonfinitely based semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351505$52BE6E7A-BB25-4620-B3B9-952CE7CC1157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351505$8A4F44FD-5651-47FD-BB94-7BF926CCCA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af5c860cc65476bdb5abdf5be59ac85eccd0bdf6","datavalue":{"value":"varieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351505$2E42549E-F251-4731-AFFB-7CF26014670C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fbf857eb8b7252d0ae2d4cd45fb41e60c91c39","datavalue":{"value":"finite basis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351505$5D25497C-C1EC-4AA1-989E-B6A866C0DD41","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":"Q2351505$614A5FDA-8C09-43A4-943F-D5952889F4FB","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":"Q2351505$FC02D536-D8F2-4190-A5AD-28951AD69488","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"911ec6d090409e8ad76cfca8902721dc21d57b4b","datavalue":{"value":"https://doi.org/10.1007/s00012-015-0326-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2351505$8C720115-6CCC-41B0-85D0-BB5FD9950871","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3454f5dafbe5f123a5d351381c7cefeae37c31e3","datavalue":{"value":"W2017844182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351505$1A3ED94B-0D0C-46AA-9F37-78385260FD7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee97c25e389bbd894a8874dc5c6566816abe03c3","datavalue":{"value":{"entity-type":"item","numeric-id":3686902,"id":"Q3686902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$2A96DCB9-A3AE-4A37-96EB-9247F087112E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$7C4BF53D-3EF3-4E01-B75F-84DF72ACB166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187f248d8745efd95e77c46a6bf423575ee180e8","datavalue":{"value":{"entity-type":"item","numeric-id":1147233,"id":"Q1147233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$C1392A6C-A0EE-4A9C-B8BF-FA0EB63BE850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf3449d0011c690ee4f297f8de9f5879059dca8","datavalue":{"value":{"entity-type":"item","numeric-id":5847218,"id":"Q5847218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$A720696A-42F9-442B-9296-34FF7BA43C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$C94D729A-ECE0-468B-ABE9-0DBC9B1C1893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b080df349552f9ba7601a6932ebf94565585f7","datavalue":{"value":{"entity-type":"item","numeric-id":1570360,"id":"Q1570360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$D32F727D-8E85-4548-86D0-9024CAE251C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f891ab729bfbc69981fb671b19e4e540d92ec6","datavalue":{"value":{"entity-type":"item","numeric-id":361862,"id":"Q361862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$8EC1D7A0-28DD-4407-812B-7B50DF18564A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b178e650a33c7cdd072f05638c99a1a92380a7","datavalue":{"value":{"entity-type":"item","numeric-id":3103755,"id":"Q3103755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$48141741-00E9-4D34-BF1B-72C0F57C2963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12eab94ae6441e003b2c3d903d0c8d80a421111","datavalue":{"value":{"entity-type":"item","numeric-id":652165,"id":"Q652165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$1D9E17DF-247D-42B4-95DE-61E21484198B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$3D114B6B-5B2B-4C7E-AA2E-582443AAFEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec8875edd74561cc5d1cd17aba7a5796ac3ffcd","datavalue":{"value":{"entity-type":"item","numeric-id":3789786,"id":"Q3789786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$54D3FB5F-27CC-4E07-BF99-0D5C9E3813B6","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":"Q2351505$F26F32BB-85C6-4442-BA16-C20A51B021C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b47c1adeb8bae2b339ed4010eb98b7d4784265","datavalue":{"value":{"entity-type":"item","numeric-id":5831351,"id":"Q5831351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$E4CE3696-AA23-4452-A4CD-A8C8B43B1FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99fb6d066fc98bdad046b601b9ac7264cdf697c0","datavalue":{"value":{"entity-type":"item","numeric-id":4302155,"id":"Q4302155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$CE414CFE-D9A7-458A-A21B-F43B890BB315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb590d58d083238921b3eb85524e5cf90c57f69b","datavalue":{"value":{"entity-type":"item","numeric-id":4518130,"id":"Q4518130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$B307630B-CCC5-4F4F-A67A-31C57EAF8F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0470d9b88cc3d82e2652f5efbf449b142aaeefda","datavalue":{"value":{"entity-type":"item","numeric-id":583378,"id":"Q583378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$B80B1E51-E387-4EC2-A46A-3C7A77B7A264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d0d619725e78d8d62c35ba51dee2c8d62de95","datavalue":{"value":{"entity-type":"item","numeric-id":2740982,"id":"Q2740982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$62E1220C-A6C8-470B-B876-17E023476682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bcc9669cb889a8e72d8c0be74b0a150ea6890d2","datavalue":{"value":{"entity-type":"item","numeric-id":4909918,"id":"Q4909918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351505$EF6108F8-A32D-45ED-8D3E-2112FDEE891A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8f95e12ce898d74933b6643ad4658cbb19cd2ed","datavalue":{"value":"10.1007/S00012-015-0326-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351505$5AAD27CC-E987-4534-B49C-239088F1322F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3796a0f8e977e4eca38d56e243ed64681c5ad108","datavalue":{"value":{"entity-type":"item","numeric-id":4909918,"id":"Q4909918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679b68c2ecb429c7f542d100888be8c319a97d2c","datavalue":{"value":{"amount":"+0.8619505763053894","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":"Q2351505$1AEF2253-EF3A-40BE-9AE5-044A688F5FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e87cb20b7864970e490bee57198f34cc489345","datavalue":{"value":{"entity-type":"item","numeric-id":2786994,"id":"Q2786994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e8c7fd0c67e58fd92176998d3dc7d95a25d12c","datavalue":{"value":{"amount":"+0.8405707478523254","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":"Q2351505$2A793C54-36E4-429E-A76E-D6E5B0A27221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c9cb383caf2c7b992680234627be8536afea4d","datavalue":{"value":{"entity-type":"item","numeric-id":5872642,"id":"Q5872642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612f43577654efcc8297e013855b286a849ac0f9","datavalue":{"value":{"amount":"+0.8331133127212524","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":"Q2351505$08DEC75D-89ED-46AD-96DA-3310266B3444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3716bd43015d9e648bc72ce4fc34872f1ee8e8f","datavalue":{"value":{"entity-type":"item","numeric-id":2740982,"id":"Q2740982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad099c790d6404f2b1c479a0aaaea26e0ddd423","datavalue":{"value":{"amount":"+0.822003185749054","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":"Q2351505$D2DA9D17-E7D0-49E1-B998-AFCBE14C1BDD","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":"61b8ada7fe2a24943ed02f4f0239e71d8a6301e2","datavalue":{"value":{"amount":"+0.8177201151847839","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":"Q2351505$8315DF5B-048C-4E2B-BB5E-AE8D8388720B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2351505","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2351505"}}}}}