{"entities":{"Q2496157":{"pageid":2506900,"ns":120,"title":"Item:Q2496157","lastrevid":49876255,"modified":"2026-01-11T12:56:57Z","type":"item","id":"Q2496157","labels":{"en":{"language":"en","value":"The shifting lemma and shifting lattice identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5040227"}},"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":"Q2496157$919939D5-1A1E-4D62-86A8-7B0FD598A117","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abbde8e12ba88bf24e38eacf6eff63d2f8fe959a","datavalue":{"value":{"text":"The shifting lemma and shifting lattice identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2496157$7B5C4A97-A924-432B-B5B3-2A09806E6372","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f139ddfc80362c04f9ecbe4ac8b42611eecd280b","datavalue":{"value":"1091.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496157$47BB6E20-22F9-40B2-A3D7-69B0AE6DAF0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496157$FFEB1B53-C362-4135-914B-45410DD92727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c649e22bb3d5db2066270d2895619e83ca9dbc2","datavalue":{"value":{"entity-type":"item","numeric-id":353351,"id":"Q353351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496157$004F027C-AA14-48C4-9CFE-C5A60DF0DA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15ac9b6c43ff8754e24dd3d55c0edcc47b1d7d7e","datavalue":{"value":{"entity-type":"item","numeric-id":616384,"id":"Q616384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496157$EF8B7C4E-FDE1-4C60-80AF-E99D775E501B","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":"Q2496157$D681079C-FA0A-488C-BE83-759B6A7959B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695354130dab3a786d23413cb8a043a7f99b90ed","datavalue":{"value":{"time":"+2006-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2496157$B70A7386-8D51-4521-85D7-5545DDB4C222","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73d5802e4335f8740e4810b83eb625c213218080","datavalue":{"value":"\\textit{H.\\,P.\\,Gumm} [Geometrical methods in congruence modular algebras. Mem. Am. Math. Soc. 286 (1983; Zbl 0547.08006)] has shown that every congruence modular algebra satisfies the so-called Shifting Lemma, playing a crucial role in developing modular commutator theory. Later, some analogous diagrammatical schemes, including the Triangular Scheme or the Trapezoid Lemma have been introduced to characterize congruence distributivity. The paper deals with the purely lattice-theoretical underlying reason for the validity of these lemmas. The authors introduce a special Horn sentence, the shift of a lattice identity. To any lattice identity \\(\\lambda \\) and to any variable \\(y\\) occurring in \\(\\lambda \\) they define a Horn sentence \\(S(\\lambda ,y)\\). When \\(S(\\lambda ,y)\\) happens to be equivalent to \\(\\lambda \\), they call it a shift of \\(\\lambda \\). When \\(\\lambda \\) has a shift then it gives rise to diagrammatical statements resembling the Shifting Lemma and the Triangular Scheme. Some known lattice identities are shown to have a shift while some others have no shift.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496157$91E2D227-ACD9-42D6-88BB-54202C663C76","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496157$2C73D672-D171-4C0E-8D6E-1CFE8935DB20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496157$38571CAB-8850-488B-A600-E43462F0856A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496157$A49AB5D6-8D93-4929-834B-CC45179A8B71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bacb829bcdf78a37ade77139ddf80d66e4915e89","datavalue":{"value":"5040227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496157$996E6056-7A59-428B-AC9A-B30F1FC55852","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a8907e09a6fdefafda00d22f3b250cced30138","datavalue":{"value":"congruence distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496157$085C0FE6-901D-4E9E-8DA2-29237AF09B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aae06f56923a0217ffb7e91e56e82908cc0490e","datavalue":{"value":"shifting lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496157$A9F4AC5F-D921-423A-85EE-6376C4F8B8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6060c76923a71cdbc705685bbe03bafa99122a","datavalue":{"value":"triangular lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496157$C0EA667C-F3FF-4061-A31B-2CD1F08C4E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b91021957ed2925bf55427b86f93f5ad41a5a686","datavalue":{"value":"triangular scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496157$AAAB4BD0-C5AD-4E5B-8568-641C475B62D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66484e8f03a31bbbf5c55ab5ac0ae656df5f4be9","datavalue":{"value":"lattice identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496157$980996C2-B4E8-4C93-8B73-A376BF526887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8869eec9fbf78c59b70e0566ed1b4c772eb3f6d7","datavalue":{"value":"lattice Horn sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496157$B6B1A173-54FA-495A-A689-33C297A2B372","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":"Q2496157$CB166E1D-8FDB-49A2-AE42-C50C4B688FB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ab733215f486aabe7ee18d8b2f5af1e5dc1e957","datavalue":{"value":"https://doi.org/10.1007/s00012-003-1808-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2496157$1E280B75-74E0-4609-8876-FB2B50024B95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52641ab36b4af2ca46b328691e5883583107bf67","datavalue":{"value":"W2065380904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496157$E730F7D7-F207-42CC-A245-ED4F7AE7B402","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"640b7602debdcd13e0691fc9a0f2c0ba5cf325c7","datavalue":{"value":"Q125018022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496157$7FCC7388-1696-4030-ADFE-A269C4E38253","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c20cdda66a97336e749c050f2aecaced0004d89b","datavalue":{"value":"10.1007/S00012-003-1808-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496157$2C89AF2B-C9E8-4B31-8CEE-3431332C2A8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"503215ab1134bb87a02d61b9630be9d0f3a68d45","datavalue":{"value":{"entity-type":"item","numeric-id":1714486,"id":"Q1714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6977b36f6318eda37059a02c4ff54006122a0fe5","datavalue":{"value":{"amount":"+0.7651060819625854","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":"Q2496157$9CAE1814-E8DD-4DF7-81F6-B2DC668D6990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af3a2c3a602816189786fba8d9d3c2979c828b70","datavalue":{"value":{"entity-type":"item","numeric-id":1767454,"id":"Q1767454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a7a914df079aef24a6de0f58c59ff7245e54ca","datavalue":{"value":{"amount":"+0.7599771022796631","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":"Q2496157$C4C88652-FFCB-4DC1-91C9-B3788EBAAB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7795bc11d78bd37a9c9f8b3466fcbfb81268157c","datavalue":{"value":{"entity-type":"item","numeric-id":1185233,"id":"Q1185233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15d0b48d78695342607bdb4651126f92e463a66","datavalue":{"value":{"amount":"+0.6921671628952026","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":"Q2496157$7E05102D-8B31-4102-BD72-4FDB5B09F10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5950aac2ce0aef74db6dbe6fa826ad7921cf7e30","datavalue":{"value":{"entity-type":"item","numeric-id":1802262,"id":"Q1802262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5b85b1abd9bffb9e6555c6226920d9e22c41f3","datavalue":{"value":{"amount":"+0.6919340491294861","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":"Q2496157$6BE746C2-ACD6-49D5-AD42-BDD593E3C657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27209cdedf3f9b6fd1cf548d2de3833ff966b0c1","datavalue":{"value":{"entity-type":"item","numeric-id":1652876,"id":"Q1652876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957ee30b22bd2f091a9aef59c350935d40a3322a","datavalue":{"value":{"amount":"+0.6897109150886536","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":"Q2496157$81881D60-62C8-49DC-AFAF-C328AF22733F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2496157","badges":[]}}}}}