{"entities":{"Q1825213":{"pageid":1835955,"ns":120,"title":"Item:Q1825213","lastrevid":73878636,"modified":"2026-04-14T17:35:52Z","type":"item","id":"Q1825213","labels":{"en":{"language":"en","value":"Variety-independence in lattice theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4120216"}},"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":"Q1825213$8236159D-6078-4EF1-8BD4-953E6A345C60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cce0bdf2a19425da22092302efad628c9237569","datavalue":{"value":{"text":"Variety-independence in lattice theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1825213$245CFF95-2291-49DC-AAA0-3B7AAEC2536F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ce2a7960195ad119df85f47b7a3ccce24356641","datavalue":{"value":"0684.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825213$EDD3F0CB-9E93-49B5-84EC-0514BAEFFEFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41b57356396a0996c23359b53b24b46ea4f50308","datavalue":{"value":"10.1007/BF01211844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825213$C4CCF9B0-9212-4BA8-8B9D-FF761CE467AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9c953b2ce706013ef2ec0fbee1df154bcbd40d7","datavalue":{"value":{"entity-type":"item","numeric-id":761475,"id":"Q761475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825213$71E477A5-430E-491E-90B4-582613313A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a969862dab9693ba2871085c6658749a1bf7a23","datavalue":{"value":{"entity-type":"item","numeric-id":818942,"id":"Q818942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825213$35392DF2-7F74-4B42-8188-E0E9B7F87244","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":"Q1825213$5B1BC633-BFC3-43C5-89DE-DF040C5761ED","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":"Q1825213$999A7B6B-97A1-45EB-88E6-B10B5CE0B2E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"102a97d243b1e480c9bf485df97796447f01f6ac","datavalue":{"value":"A lattice identity is variety independent if the following is true: if it holds for distributive lattices, then it holds for all lattices. The authors give some syntactic conditions that imply that an identity is variety-independent. Theorem 1 states that an identity of the form \\(p=x_ 1\\vee x_ 2\\vee...\\vee x_ k\\) is variety independent. - The depth of a polynomial (inductively defined) is used in Theorem 2, which says that if the depth of both sides of an identity is at most two, then the identity is either variety-independent or is equivalent to distributivity. A polynomial p is said to yield the n-ary operation f modulo a variety V of algebras, if p generates \\(f(x_ 1,...,x_ n)\\) in the clone of the countably generated V-free algebra. The notion of p directly yielding f is also defined, and several characterizations are given for a polynomial to yield the join. The penultimate section of the paper discusses connections with duality, while in the final section the effect of adding one or both universal bounds to the type is considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825213$1FB490CE-6917-41C9-AC29-D836D8898678","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"58573562b12b67820bfe4d5d1f6198dbe970b5d9","datavalue":{"value":{"entity-type":"item","numeric-id":593418,"id":"Q593418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825213$7C042BF9-C01F-43F0-895F-392FA3A7FDF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825213$7A1C2E10-962F-4765-98C5-2ECAC09E3313","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"058b340564a6dfe31f338d18376eb2259cf12706","datavalue":{"value":"4120216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825213$8D9244E5-F69C-40A4-A423-49FDF008B988","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ea76bdca14508cd3f6d0d26abb1ddf7f9d7223","datavalue":{"value":"lattice varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825213$2D7FB6A7-7F66-4D7A-ACAB-66E32CE25B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13d5e2bdda900da1f5802a5124ce6ccf5816fc16","datavalue":{"value":"variety independent lattice identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825213$6057E0CC-8BFA-4F5F-A782-54960D6D8A68","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":"Q1825213$2C39DC99-FA36-4E2C-B5AB-0943BA1FB357","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"219efca1161f8e71b6a787834052c138e4af0832","datavalue":{"value":{"entity-type":"item","numeric-id":4063199,"id":"Q4063199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825213$B55ADC8F-8DAA-4031-91BF-6602B53B8A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6679245759e476c4d7e8ee60707cddb22ba6863a","datavalue":{"value":{"entity-type":"item","numeric-id":1248635,"id":"Q1248635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825213$CF0171DA-BACA-4B66-9698-FB2EF274F475","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4fffacfa6490c368edaa9c58050013d6e2649d","datavalue":{"value":{"entity-type":"item","numeric-id":3689234,"id":"Q3689234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059b498044cf206b3733a2e414615c1e69ebba8a","datavalue":{"value":{"amount":"+0.8090777397155762","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":"Q1825213$59A282B2-725A-4140-A877-14E9C2292E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772dd21374ac76d38cab11b78080ec10cc2bd10b","datavalue":{"value":{"entity-type":"item","numeric-id":3705507,"id":"Q3705507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955cdab7b0770294f14d5749afb72b6aaf0b8033","datavalue":{"value":{"amount":"+0.7949463725090027","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":"Q1825213$CF49B057-EB42-4CC3-BEAB-1C52C67E370C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ead54dfee493cfe6e9a73d7ba130c064750664","datavalue":{"value":{"entity-type":"item","numeric-id":1771958,"id":"Q1771958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166eae1be0b6c805dca123f059580d5da930d483","datavalue":{"value":{"amount":"+0.7864542603492737","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":"Q1825213$9AB48D15-286F-4826-BBD3-8DEE10363435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43607345a2b41d0bacb46e3eda08f8e390fdc5e","datavalue":{"value":{"entity-type":"item","numeric-id":1360833,"id":"Q1360833"},"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":"Q1825213$6942552C-CCB6-4D4C-93F8-0054D8F82EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b354d3f1101f53a3304dd4f04a71d1c8a711226","datavalue":{"value":{"entity-type":"item","numeric-id":4864484,"id":"Q4864484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8d311ef1f0c8c6be0b880491f0a369c9cbc38d","datavalue":{"value":{"amount":"+0.7803477048873901","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":"Q1825213$934C5AC8-E50E-4C4E-8836-C883AB509431","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Variety-independence in lattice theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Variety-independence_in_lattice_theory"}}}}}