{"entities":{"Q1180703":{"pageid":1191452,"ns":120,"title":"Item:Q1180703","lastrevid":66777756,"modified":"2026-04-12T12:47:28Z","type":"item","id":"Q1180703","labels":{"en":{"language":"en","value":"Strongly finitely based equational theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26455"}},"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":"Q1180703$1094DDF3-346C-4330-9CC8-BB313A3A277D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3199e37a78c4435b316624260607059b618223a9","datavalue":{"value":{"text":"Strongly finitely based equational theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1180703$F8D47D33-993C-4C27-BFCC-80B48C760C7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff3c0fe142a89c44493f149b18b04be3a13bf6ac","datavalue":{"value":"0742.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180703$C29305A1-A993-473E-A955-C634BB7CE6AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ed61f76d44c33eddb10a09804fa49174e471df7","datavalue":{"value":"10.1007/BF01195863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180703$7E3D0DEC-F7AE-47E5-89E0-0CF03811DEEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c338f93c2a1a4ab7dfbb04101583cd552335e1b6","datavalue":{"value":{"entity-type":"item","numeric-id":798646,"id":"Q798646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180703$C62B9CDE-7447-44B0-A74F-46F2C03A9F72","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":"Q1180703$8B4555ED-1B28-42C6-9FE7-4B0B56E1C951","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1180703$52EADA2D-323E-4683-93EB-622A0E4A556A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aecd598c8a4eb107824e7fc8f741d5d4d669f043","datavalue":{"value":"An equational theory \\(T\\) is called strongly based on \\(\\Gamma\\subseteq T\\) iff each equation \\(e\\) in \\(T\\) is derivable from \\(\\Gamma\\) in the rudimentary Birkhoff calculus, i.e. without replacement rules. Moreover \\(T\\) is strongly finitely based iff \\(\\Gamma\\) is finite. Section 1 contains, beside some examples of strongly finitely based theories, the result that the regularization \\(T^ r\\) of a strongly (finitely) based theory \\(T\\) is also strongly (finitely) based if \\(T\\) is an equational theory in \\(L_ 0\\) containing an equation \\(\\tau(x,y)=x\\) for some term \\(\\tau(x,y)\\). Section 2 deals with independence of equational theories and varieties generated by 2-element groupoids. A groupoid is called proper iff its operation depends on both arguments. The main result is that each variety \\(V\\) of groupoids generated by proper 2-element groupoids is strongly finitely based. Finally two problems are stated: Is any variety \\(V\\) strongly finitely based iff a polynomial equivalent variety \\(V'\\) is strongly finitely based? Does a strongly finitely based equational theory \\(T\\) exist such that the regularization \\(T^ r\\) is not strongly finitely based?","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180703$D70FD69A-AC9A-4613-BF3F-64920E6A4284","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6537e4dbc27d6024722d6db5255b901cc30f77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1177860,"id":"Q1177860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180703$B847AA76-B880-4368-97ED-F10E842CF22A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180703$DB33CC4F-DE27-441C-B599-28EBED40F5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180703$CFD137E9-A890-4EDC-9151-D3371F9C686D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180703$874127B0-490E-4C4E-AA5C-6B04450E8B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180703$1C94DDDC-3D04-4936-9F45-25682A865EA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3bc0dd73a9c45677816092595dc33e0d12be8d9","datavalue":{"value":"26455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180703$A76CB9DA-1ADF-4860-8D1E-9131E0154551","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180703$29ABE706-F079-48A2-814C-0CEE52C6A708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180703$53A9E654-F99E-4315-A9D1-DC69D5750CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180703$3C8E183E-E842-4F83-8931-268F4B2CE541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76cbee7fcfa08050a0741362cb6814db47a4b1d2","datavalue":{"value":"Birkhoff calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180703$58B14EF1-CF9C-47D9-BCB0-EF2FA45662BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a33f2d230c286bf4649f2ea878b72fb8a133955d","datavalue":{"value":"strongly finitely based","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180703$F3572B19-6532-44F5-9262-646DDDD61939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180703$D86ECE82-93EF-4FA3-A527-D48BC9F27D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5995e018a24e69f6e12809f6df5dcb39f0eca2","datavalue":{"value":"groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180703$7D2A53CA-42F4-452F-9BE8-E7A3440DEA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a3e3a07bf9e2e2a3c6d4e25ff70fdb20ea4b8d7","datavalue":{"value":"regularization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180703$396974DD-CB15-46CE-B57F-707CCB9BB504","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":"Q1180703$15892B7C-C134-4A0A-AE9D-688ABBC9A5F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180703$01DDDAD0-524F-4930-83EC-DDA70E25809D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792b126fec002eb7ba2fa274f58f5db42e4fc18f","datavalue":{"value":{"entity-type":"item","numeric-id":1084122,"id":"Q1084122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180703$BA3ED038-43F6-48D0-88D8-2B3B95AA94B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7dfaf7cbfb6b80a9d4c81ea76f7b0f7433f1ee8","datavalue":{"value":{"entity-type":"item","numeric-id":5581666,"id":"Q5581666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180703$51DBF6F8-3028-435B-BA10-5F0F5512C3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb5f9d29e418cdd285b925e9f70a0b0e5374b1f","datavalue":{"value":{"entity-type":"item","numeric-id":2264786,"id":"Q2264786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180703$0A3FD4C9-802A-4B14-AC8F-9FB90984A9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b552bf80de4b2cc3461bbfcde9fcbff1a366130f","datavalue":{"value":{"entity-type":"item","numeric-id":5806804,"id":"Q5806804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180703$BFD17492-52FB-4D2D-A82A-2606C1FA1E16","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":"Q1180703$F0E22667-231C-4BD5-9654-A4E3E8A8674D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e7c87eeb0c78cc6fc13a51c9532a0f19ee5289f","datavalue":{"value":{"entity-type":"item","numeric-id":1263575,"id":"Q1263575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180703$D7B2DCA6-6321-4502-B557-11AAEE076E71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac83670863cd82f8ed9780cf092c8b1bd721887b","datavalue":{"value":{"entity-type":"item","numeric-id":3695317,"id":"Q3695317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95b7d7932001068d3291d45ff25a1ee5a448de2","datavalue":{"value":{"amount":"+0.7765643000602722","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":"Q1180703$B4A68814-64BD-4FD6-B758-6A960FEC2359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c461d5cd07d02a15948eaf78a3d6dece2fe7aceb","datavalue":{"value":{"entity-type":"item","numeric-id":3676190,"id":"Q3676190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8556c7bd93b3e5fd62408d5cc4ee542cbcb639e","datavalue":{"value":{"amount":"+0.7760897874832153","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":"Q1180703$C5D7073A-24C1-4F12-8816-F0FC7D786324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c385f0ad450d631277fe688e07781be80959e6","datavalue":{"value":{"entity-type":"item","numeric-id":797614,"id":"Q797614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a0d9825ee79e0770bab05b901bf94b9204fc31","datavalue":{"value":{"amount":"+0.7732945084571838","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":"Q1180703$E1EBC1B7-CF90-466B-AEF5-077267B50497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3f068884d6ccb6cae8db1e0c74eb4b6cc2d913","datavalue":{"value":{"entity-type":"item","numeric-id":1265546,"id":"Q1265546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d7b06b2f9cb9f17861f7db0d59c520a1418477c","datavalue":{"value":{"amount":"+0.77295982837677","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":"Q1180703$B82DA707-ABD3-41C5-BB35-F458DF7180FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strongly finitely based equational theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strongly_finitely_based_equational_theories"}}}}}