{"entities":{"Q1360833":{"pageid":1371572,"ns":120,"title":"Item:Q1360833","lastrevid":68553867,"modified":"2026-04-13T00:31:29Z","type":"item","id":"Q1360833","labels":{"en":{"language":"en","value":"Superidentities in the variety of lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1037786"}},"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":"Q1360833$9886412C-9923-4351-82F2-001F3E363034","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2072feab6f7937f5415971917ae032e1bee85171","datavalue":{"value":{"text":"Superidentities in the variety of lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1360833$2214C5D2-6BF7-45FD-A7E3-38015235E09D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3011c897744673da21ca15ab6cdfa97f45fc3daa","datavalue":{"value":"0919.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360833$BA666B86-6C96-48FB-93EB-7A3A3A30DF7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be188a20cdc537b3ff2ce3b5fd06353bd08a8326","datavalue":{"value":"10.1007/BF02307222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360833$9AD9A50B-94A9-4443-A75E-C2EC8325A8D4","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":"Q1360833$0F664E34-C1CC-4A2A-81EC-00FAB7B6DB26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ddea1b397bc053606c375c503598d10243896fd","datavalue":{"value":{"time":"+1997-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1360833$3156ECF1-069E-4675-A1D6-C43BA3E76ECC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"00ef52da7eef3fe6dcacb7146f80c0f9ba735c15","datavalue":{"value":"A superidentity is a formula of the second-order language of the form: \\(\\forall X_1,\\) \\(\\dots, X_m \\forall x_1,\\dots, x_n\\) \\((w_1= w_2)\\), where \\(X_1,\\dots, X_m\\) are function variables and \\(x_1,\\dots, x_n\\) object variables in the terms \\(w_1\\), \\(w_2\\). A superidentity is said to hold in an algebra \\(\\langle Q;F\\rangle\\) (with \\(Q\\) as base set and \\(F\\) as set of operations) if it holds in case each object variable in it is replaced by an arbitrary element of \\(Q\\) and each function variable is replaced by an arbitrary operation of \\(F\\) (with corresponding arity). For a variety \\(V\\), a superidentity is said to be a superidentity of \\(V\\) if it holds in any algebra of \\(V\\).   Consider the following superidentities:  \\[ (1)\\quad X(x,x)= x;\\quad (2)\\quad X(x,y)= X(y,x);\\quad (3)\\quad X(x,X(y,z))= X(X(x,y), z); \\]   \\[ (4)\\qquad X(Y(X(x,y), z),Y(y,z))= Y(X(x,y),z); \\]   \\[ (5)\\qquad X(Y(x,X(y,z)), Y(y,z))= Y(X(x, Y(y,z)), X(y,z)); \\]   \\[ (6)\\qquad X(x,Y(y,z))= Y(X(x,y), X(x,z)). \\]  In the paper it is stated -- without proof -- that, for the variety \\(L\\) of lattices, any superidentity of \\(L\\) is a consequence of (1)--(4); for the variety \\(M\\) of modular lattices; any superidentity of \\(M\\) is a consequence of (1)--(5); and for the variety \\(D\\) of distributive lattices any superidentity of \\(D\\) is a consequence of (1)--(3), (6).   Furthermore, the concept of polynomial superidentity is defined and similar results on polynomial superidentities are stated (for the varieties of distributive lattices and Boolean algebras).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1360833$2751B6AC-E293-4054-8A42-E1939A49A258","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360833$5448C9F3-6287-4F7F-95B3-4E57C367EB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360833$41583CC7-2A8F-47DD-A22D-2C0ED3B990FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d94f95c5d094d732632c46e9488d48ada9c73b0c","datavalue":{"value":"1037786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360833$2AF4B421-4556-40C7-888C-463373CF0726","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24db5018ef796fc1894726dfee800d6cfa36cea7","datavalue":{"value":"varieties of lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1360833$FE8D65FF-45B9-4C32-9B55-E108BD71690E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19eceb28b3d4505ba888d1ace179a9bd0d9c64b5","datavalue":{"value":"hyperidentity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1360833$64FD1C68-300A-4370-8711-41C2DA63EEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a9bc7d7bee45a9d329b6e807652811792cfd2b2","datavalue":{"value":"superidentity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1360833$1A6528D3-EBD5-409E-848E-4C212361D687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6733ca062e7a55a307003870991373c01bfc1b47","datavalue":{"value":"polynomial superidentity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1360833$8237CB36-F6FB-43CF-9415-432CA632F57D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5155e6ef6b5cfb93d6e0dbcefb7b4fadccdd18c","datavalue":{"value":{"entity-type":"item","numeric-id":403198,"id":"Q403198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360833$6391A1FB-0056-462E-BD7E-427B2BE90C33","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"91c81d2a07f17bb7a2ffecb85e0f87749274f55f","datavalue":{"value":{"entity-type":"item","numeric-id":590994,"id":"Q590994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360833$264929FC-E06D-4F54-9D64-5ACA46384875","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":"Q1360833$A0BAA7EA-2B09-4ED2-B8D7-E8E4D2563B43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360833$62DA4393-5F9D-4E3C-B0BA-498D7AD99503","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ac65643e6241e37959e6faf99dd37b85925a34","datavalue":{"value":{"entity-type":"item","numeric-id":3325791,"id":"Q3325791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d71848efe558565da2b5f541f1b432a4e53282","datavalue":{"value":{"amount":"+0.8266727328300476","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":"Q1360833$4AA9EB64-D716-4E39-9105-149452A12350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89507547789d3705392b76db22928c3289098964","datavalue":{"value":{"entity-type":"item","numeric-id":4298783,"id":"Q4298783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33574830af8843a9cc7262a91ff93a988c505ab","datavalue":{"value":{"amount":"+0.8191641569137573","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":"Q1360833$EE04827E-70C3-41AB-AA10-C699801A4D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ea71e505547c95bb5e5d1481748c372273732f","datavalue":{"value":{"entity-type":"item","numeric-id":1825213,"id":"Q1825213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3626077bd2e26ed7b4864d2494d7eb965b98c4","datavalue":{"value":{"amount":"+0.7810836434364319","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":"Q1360833$97F36D34-CA44-4A48-9A13-00764A266F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f612090943981eb48eba9bfff11940e38cb454a","datavalue":{"value":{"entity-type":"item","numeric-id":1966133,"id":"Q1966133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b3b6ecf2c6ff31de9aa60e999b820c371e7196","datavalue":{"value":{"amount":"+0.772859513759613","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":"Q1360833$3D033C8B-1923-460A-85F1-5D34889E2E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e443331bc592a2cc4e86822f40cbb5cb813ae833","datavalue":{"value":{"entity-type":"item","numeric-id":5753993,"id":"Q5753993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a6b4e230eca1be37b6b84918a5518ea8dfa791","datavalue":{"value":{"amount":"+0.7706601023674011","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":"Q1360833$858F5CBA-2EEB-4515-BCC9-69E4366FF5CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Superidentities in the variety of lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Superidentities_in_the_variety_of_lattices"}}}}}