{"entities":{"Q1866846":{"pageid":1877588,"ns":120,"title":"Item:Q1866846","lastrevid":71017983,"modified":"2026-04-13T18:56:22Z","type":"item","id":"Q1866846","labels":{"en":{"language":"en","value":"Splitting in the variety of residuated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899967"}},"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":"Q1866846$62BAB67C-F33D-4DFF-AB68-D47E8ED7FD87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88e17e123aad7ca93a48dfd4bbb9827da73948c9","datavalue":{"value":{"text":"Splitting in the variety of residuated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866846$CD79B12E-B472-49B6-8814-3477DDFEAE5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b89a03c0c6bd3dd2b5c68abe76aeb833f902ba77","datavalue":{"value":"1015.08008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866846$3D9D97C1-B453-49CD-9DD3-AA8C30B34547","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241d91eac26be9dafce27577b0d1f937fbd531b1","datavalue":{"value":{"entity-type":"item","numeric-id":353354,"id":"Q353354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866846$4CDE7140-A095-4BB8-95BA-169949356205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866846$A6F0BAA6-AB1F-455E-A2C3-FE376078192F","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":"Q1866846$8FCB700D-5B97-4372-BA97-2A11A2216F17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-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":"Q1866846$CCFE26FF-27BA-4A7E-9E49-BD05983123A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68e8391e59826d06d53af96e54c2e612b8a53239","datavalue":{"value":"A pair \\(( {\\mathcal V}_1, {\\mathcal V}_2)\\) of subvarieties of a variety \\(\\mathcal V\\) is called a splitting pair if \\({\\mathcal V}_1 \\not \\subseteq {\\mathcal V}_2\\) and for any subvariety \\(\\mathcal S\\) of \\(\\mathcal V\\) either \\({\\mathcal V}_1 \\subseteq \\mathcal S\\) or \\({\\mathcal S} \\subseteq {\\mathcal V}_2\\). In such a case, \\({\\mathcal V}_1\\) is generated by an \\(SI\\)-algebra which is called a splitting algebra. The authors show that the only algebra that splits the lattice of subvarieties of the variety of residuated lattices is the two-element Boolean algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866846$5965E9BB-FB3A-43F2-9095-A02310DA116C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866846$AFEE879B-F1EA-4F0E-BDC5-B8C402792DA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866846$705F7993-788B-4569-A30B-CE0AAF6B3126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866846$5E20B6C0-E06E-4546-A706-76AB419093C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c760067245391fba4b85e9f0f0400ef92571cf67","datavalue":{"value":"1899967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866846$7097DD24-98E4-44FE-89FE-674A4C715446","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866846$B2D1C274-4B6A-4D6E-8305-FFF2F7FF864C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a94013f4d5cf44394ac6e7b1f23ed4712161fbe8","datavalue":{"value":"equationally definable principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866846$E560B991-3E08-4283-8DD8-E28E9DA7741D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc2931a20ad0ea9eb9bc62e136aefc576f929be","datavalue":{"value":"splitting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866846$3D799E4E-0DF0-40F3-B8C3-29CC9C5C5276","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":"Q1866846$B1C5A18B-FF1D-45F8-9AE6-E9D148916964","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7303b5a7ee48e8991bfc40591d32c0931c4906e5","datavalue":{"value":"https://doi.org/10.1007/s000120050187","type":"string"},"datatype":"url"},"type":"statement","id":"Q1866846$50ACBED9-B4B3-4AA1-8983-3963A93DA7B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"058335330e4376116ff0a553c8b321793ba58a95","datavalue":{"value":"W1999787898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866846$BA329A89-EFAC-4EDD-AC90-ECEBFB6EFDF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f62c1b4759f6a6f566aa2ab52e77c85571705cf7","datavalue":{"value":"10.1007/S000120050187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866846$C689E8E7-1A3F-4440-A281-F49CA0123988","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be37c676ec6e3330bb3405cc200521b9ed45cf3a","datavalue":{"value":{"entity-type":"item","numeric-id":2752413,"id":"Q2752413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6395beea909582b8d693d7eb8640a141037c380","datavalue":{"value":{"amount":"+0.9299412369728088","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":"Q1866846$F0323C8F-B322-4463-85E4-B2F9BB25ED3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3cb0dae4f53448b00a4ce1a73980aaaef42bf1","datavalue":{"value":{"entity-type":"item","numeric-id":5002194,"id":"Q5002194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a461bb3e4185fe4db7589c475f91488e732a804","datavalue":{"value":{"amount":"+0.8538722395896912","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":"Q1866846$E48FEEB3-E8C4-42F1-847C-A65C5FB31754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14c098eddcafde510a8df392deaa3ae80f10869","datavalue":{"value":{"entity-type":"item","numeric-id":422484,"id":"Q422484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfab00bf44e79d9e85cc5a9064bfb4ff9c01de48","datavalue":{"value":{"amount":"+0.8443241119384766","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":"Q1866846$D1919789-CBC8-4C70-84A5-628C502811E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc1b663cedaf16de4e3c89694ce7bfbc316da6b","datavalue":{"value":{"entity-type":"item","numeric-id":2329010,"id":"Q2329010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a843e69a3023cf928a765127556b9f7edb1a62b2","datavalue":{"value":{"amount":"+0.8314607739448547","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":"Q1866846$3ACE880D-0402-404B-8353-C24FDFD677F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5d43c95bf8b39d40ea7c9f841461373a13c8c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2278840,"id":"Q2278840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1200928d8b39114ff0223364506f09f396b220","datavalue":{"value":{"amount":"+0.8015314936637878","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":"Q1866846$B738DCD7-BC4D-4DE1-A37C-7D955F5D7335","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Splitting in the variety of residuated lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Splitting_in_the_variety_of_residuated_lattices"}}}}}