{"entities":{"Q583378":{"pageid":585145,"ns":120,"title":"Item:Q583378","lastrevid":62965611,"modified":"2026-04-11T09:19:16Z","type":"item","id":"Q583378","labels":{"en":{"language":"en","value":"The finite basis property for varieties of semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4132458"}},"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":"Q583378$802AF50E-A69A-4A8C-88AA-473DBEE9AEB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd90f8afbfb7e69f0abd867602e9c8bf5e0fddcd","datavalue":{"value":{"text":"The finite basis property for varieties of semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q583378$2A23ABDA-B37C-46E0-BA77-EB55DFE8454C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd84da6583f81f0ebeb6061fa1d3ee2fa729a762","datavalue":{"value":"0692.20048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583378$E636C5BA-005D-4DA0-8042-12B90D10AC0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"051e09969eeeda2cb3a7e68f89dd2db4bb8a9fc5","datavalue":{"value":"10.1007/BF01158553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583378$98B0BAA6-18C3-4F7D-BDC5-D7EF8FEA587B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583378$AF937A8E-5EF3-4BAD-AD65-F1D96C21816D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q583378$F71F0ECD-99C7-4AD9-A86B-6115AB494929","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"faf3d421cdc7d736fc211aa298375aa21cf20712","datavalue":{"value":"A general condition for a finite semigroup \\(S\\) is proved in order that it be not finitely based. Using this condition, several concrete results are obtained: e.g. all full transformation semigroups and all full semigroups of binary relations of finite sets of power \\(\\geq 3\\) and \\(\\geq 2\\), respectively, all non-commutative multiplicative semigroups of finite simple rings, the variety generated by all 5-element semigroups are infinitely based.","type":"string"},"datatype":"string"},"type":"statement","id":"Q583378$43CE1AA9-377A-4D32-884F-DA9AD5EA5872","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583378$39628143-338A-4E36-B68C-96176ED2640B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583378$91773A41-ADFF-4542-AE82-17C6B9AB24F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a110c7416e1228fed50bb2e0832c21a254df2cc","datavalue":{"value":"20M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583378$4AD09FAE-6F71-46D9-BC29-DBFF2C0CCE59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"795a8e33327c990f873a35bcc01c520a4e56779f","datavalue":{"value":"4132458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583378$55B5563B-A7BE-4F82-B437-7962A3890DF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q583378$D319BFEC-EF9B-4ACD-AE5D-2D02BC34C319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02a7d5e6977b4cb4b1de6b7c73c5343c66025c8","datavalue":{"value":"full transformation semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q583378$41DF575E-DA4A-4922-8399-65AE902895B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4d68900b12ba5436d8467a50f2f0ae4ceef6f9","datavalue":{"value":"semigroups of binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q583378$D561A9CB-DBFA-4E4E-A7D4-36B88B8D7012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d163b0b701aa8da6e1ad27ee50222dca43bdc1","datavalue":{"value":"multiplicative semigroups of finite simple rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q583378$6A84C9B9-37A6-42DC-9147-78B192B1AFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90763addb930f8185d70e1fd8ee19e5c73f3c137","datavalue":{"value":"infinitely based varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q583378$A1479B9C-0824-478B-9383-1DD707134615","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":"Q583378$8A6531C3-AF28-4ACD-A40B-3FFDFA6B4ECC","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":"Q583378$F279E1D0-82FD-4BB6-BC51-E9DC4C23454A","rank":"normal"}],"P223":[{"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":"Q583378$48841791-231D-42A3-B2F3-861AEC5143BC","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":"Q583378$3F1449C2-25F7-4A27-87E5-E85F05B3CED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e22d0368f87ae9079e85edcf743b91440fe3e35","datavalue":{"value":{"entity-type":"item","numeric-id":1254378,"id":"Q1254378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583378$56F8E393-FEF7-41E1-AE09-C9978DB947DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7198e10bdf17892b3da36a59902515c7e29ac463","datavalue":{"value":{"entity-type":"item","numeric-id":5528704,"id":"Q5528704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583378$4DD89295-4572-40FB-B8F6-64273F504A99","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":"Q583378$1D699C77-B261-4A97-A492-69C2E4463D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c11992cce80045a468796553d49bd6c059fef550","datavalue":{"value":{"entity-type":"item","numeric-id":1250857,"id":"Q1250857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583378$A2AF2A21-E6CF-44AA-8E7A-A48A53C8FDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902936bd2dfa950537eb0ba471067a5c57f8489d","datavalue":{"value":{"entity-type":"item","numeric-id":3658046,"id":"Q3658046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583378$A228EA77-ECAC-445A-9C34-4F36A58C690E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7a3141b6b52bbbf33995e8a715488600d631c5","datavalue":{"value":{"entity-type":"item","numeric-id":5562624,"id":"Q5562624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583378$8E4925E2-B33A-4C20-B4CC-8EB4D3DCCD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529f69d1653d3cf4b4242ef0138c5a71bf978f19","datavalue":{"value":{"entity-type":"item","numeric-id":786928,"id":"Q786928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583378$0CC5D833-5C5B-42FB-8F30-B90D8B23C069","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":"8bbd4f49a15ce30c59563502445b7cba572a4ef7","datavalue":{"value":{"amount":"+0.8623548150062561","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":"Q583378$F457BEDE-1397-4ADD-8F23-032EEAE2057C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d595e66a450247bd62e239ce3283b9424ca704fc","datavalue":{"value":{"entity-type":"item","numeric-id":2351505,"id":"Q2351505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3eb58e2b2ad7885282326afa0c22ff765fcae13","datavalue":{"value":{"amount":"+0.8533245921134949","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":"Q583378$A7152620-C28F-4CDA-9BCD-41EBF8CFE1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"104eb565f3e213dd9e4ee935206332372f25743d","datavalue":{"value":{"entity-type":"item","numeric-id":2814345,"id":"Q2814345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef501df289bc7a01cf36ff6c62193c48e06c7ab7","datavalue":{"value":{"amount":"+0.8464995622634888","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":"Q583378$50B90B81-B8FE-4BB3-B9F0-1EBFDABD41A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16aaafc82dd71a7ba65f8e229ce886c5e3526953","datavalue":{"value":{"entity-type":"item","numeric-id":3807431,"id":"Q3807431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72767daccfc180530ff4b177516f8951d8691430","datavalue":{"value":{"amount":"+0.8426096439361572","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":"Q583378$0E97EE6B-4796-48BD-855B-15E4FEF9CF38","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":"1c1ed93660739f35186a8c18ca1643759614560e","datavalue":{"value":{"amount":"+0.8385124206542969","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":"Q583378$E5EEE9E9-6CDE-4B2A-A98F-998504EE86EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The finite basis property for varieties of semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_finite_basis_property_for_varieties_of_semigroups"}}}}}