{"entities":{"Q942205":{"pageid":944053,"ns":120,"title":"Item:Q942205","lastrevid":65510892,"modified":"2026-04-12T03:06:42Z","type":"item","id":"Q942205","labels":{"en":{"language":"en","value":"Non-representable distributive semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321424"}},"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":"Q942205$DD5A74F7-9C1B-4DF8-B0EB-EDA8CFDB3688","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab40828d788e1082781e8f2b691135e9a82deaf4","datavalue":{"value":{"text":"Non-representable distributive semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q942205$A0D04983-189A-4B89-9BF2-7E3D10B7BAA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"569c9f102e095425683d9ed7cd3b4dc24494bb14","datavalue":{"value":"1148.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942205$9E209C87-5530-4D17-9BC0-38BB69DE12D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06af347d62b2363e181b683d510a6516c1089689","datavalue":{"value":{"entity-type":"item","numeric-id":271700,"id":"Q271700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$D1DA04FC-1E0B-44B0-86A5-76D9C9DC7C2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$AB24A50C-0246-4790-A9B5-42638E087684","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q942205$E989DB14-E45D-4C1F-BA37-D31AE20266DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aad621589678d03bef7e99a6bc4a1ef8d97cb57c","datavalue":{"value":"The investigation of congruence lattices is one of the central topics in universal algebra. It is well known that a lattice is isomorphic to the congruence lattice of some algebra if and only if it is algebraic (see [\\textit{G. Gr\u00e4tzer} and \\textit{E. T. Schmidt}, Acta Sci. Math. 24, 34--50 (1963; Zbl 0117.26101)]). Congruence lattices of lattices have an additional property: they are distributive. The question whether the converse of this is true, is referred to as the Congruence Lattice Problem (CLP): Is every distributive algebraic lattice isomorphic to the congruence lattice of some lattice? The finite version of this problem has been solved by R. P. Dilworth, who proved that every finite distributive lattice is isomorphic to the congruence lattice of some finite lattice. During the subsequent 60 years of effort, various partial positive results have been achieved, but the conjecture was finally disproved by \\textit{F. Wehrung} in [Adv. Math. 216, 610--625 (2007; Zbl 1140.06003)]. The impact of this problem to the development of lattice theory has been described by \\textit{G. Gr\u00e4tzer} in the expository paper [Notices Am. Math. Soc. 54, 696--707 (2007; Zbl 1286.06001)]. In the present paper the author further develops Wehrung's method and provides two other examples disproving CLP. These constructions are simpler than Wehrung's original example and can help to understand which distributive algebraic lattices are isomorphic to congruence lattices of lattices and other kinds of algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q942205$FEE608F4-79C8-42C9-8F59-D3C17F8B9687","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942205$33F4B803-FF0C-492E-977D-421C851F9140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942205$304B81FF-57DB-4F99-82EF-B141882913C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942205$A4E94389-509D-4B77-AB8D-1CBC27611E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942205$238E631E-D6AD-4145-BE26-E692EA609322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942205$641CC135-7449-4F88-91C4-208903222219","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"426cbd63d31eaecb638797812be4aec6013e4a59","datavalue":{"value":"5321424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942205$CD04E49B-F47E-4C4F-90CF-FA615BA9F2FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a1d2f5dbd9cbfcc9a21f624c082fd0615390ea8","datavalue":{"value":"distributive semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q942205$2B6CB1E7-B73D-4575-8682-9BBA718FA93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6af2c3a736c351ece6cd06624d7e84412e2ed0","datavalue":{"value":"algebraic lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q942205$1335ABBD-31B4-4FF6-8A8F-1C0B07AC9898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"400f47c05c19f1fb67f3dc78df0ea6c8f92f633e","datavalue":{"value":"congruence lattice of a lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q942205$042D2C36-7D88-469F-A83D-4123C10149D4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$1CFABDBA-A45D-45AA-BF23-2B7C128FBC55","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":"Q942205$8DFF14C9-BB53-4811-A929-96DAF8FAD469","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48b26d8c0762eb91ecbf8cd08090fb21cca037d6","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2008.03.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q942205$45CDB74B-A7D4-47C9-931B-A4361C32DC97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53c22b3d2d6e0859ac53002ca2e569af75a8a69a","datavalue":{"value":"W2026041408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942205$0E29D995-8038-47D9-B195-37418616D1BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2266520839e8dd9d47d3e4f0f8ec7670278a37c","datavalue":{"value":{"entity-type":"item","numeric-id":5450090,"id":"Q5450090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$2E3AA3D5-D64B-41AB-9F77-F05110B4B4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869babb68fb9020761a16c3b667d218c86b94549","datavalue":{"value":{"entity-type":"item","numeric-id":5895977,"id":"Q5895977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$6627FEFE-BFFB-471F-AB60-85A31B65D94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0a5fe31bbcfc94b385f5edf3a25a8c16107996","datavalue":{"value":{"entity-type":"item","numeric-id":5727672,"id":"Q5727672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$2F2F78C6-188A-4CC0-BA96-623E91BC00AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b4b07a7f3321dbfdcf03ac2fb532d309afc355c","datavalue":{"value":{"entity-type":"item","numeric-id":3315561,"id":"Q3315561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$6D1D87B9-607C-46B9-9588-EF7DAA9E08B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"321fa4e34cea0f1a9ff03957b3301b5700e893ca","datavalue":{"value":{"entity-type":"item","numeric-id":5807728,"id":"Q5807728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$752A99B9-4970-4F20-BB32-CAA1A2BCA749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$7FE0616E-02F8-4C55-8C8A-9A84C6DBC2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e00547172d292ed8f97af6b07f84d8dce75079","datavalue":{"value":{"entity-type":"item","numeric-id":4500558,"id":"Q4500558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$0E60F5AC-153D-422D-ADEB-DE69B58A77CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd65b035877133c1c5f607a4c8cb554dec320e5","datavalue":{"value":{"entity-type":"item","numeric-id":2577770,"id":"Q2577770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$ACB87BDB-9D28-4D24-9041-273387825742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a80fa21400654cda453cf8929a75ed6886573d","datavalue":{"value":{"entity-type":"item","numeric-id":3539446,"id":"Q3539446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$DDAD9640-672C-43BF-B0F3-84B4035FB83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1b8062f121d8358b6047af6a745d779a918253","datavalue":{"value":{"entity-type":"item","numeric-id":4386278,"id":"Q4386278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$046614CC-B2AC-4350-85E6-57D014518742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb255d9bacce6c7a61778d6db1b22d3e2f1f1f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5451612,"id":"Q5451612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$1BB98E29-9892-4F8F-B821-97844823218A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da39f6abdf418b77fd321830c9d5fb1023038fa","datavalue":{"value":{"entity-type":"item","numeric-id":1771960,"id":"Q1771960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$23E2940B-6D86-49FB-BDC6-F88031792999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614a4efcee9a1228be57908449a0ae9b9dda7ba9","datavalue":{"value":{"entity-type":"item","numeric-id":4219129,"id":"Q4219129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$146F896D-5FC1-4072-9096-AB3384C368DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535348d329113b4c7bed2aac763af7b5e7f7c998","datavalue":{"value":{"entity-type":"item","numeric-id":2456974,"id":"Q2456974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942205$67123803-C391-406C-9DD4-379553D4B887","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ef21970fa8d457c1148a4acca0b24998224cbab","datavalue":{"value":"10.1016/J.JPAA.2008.03.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942205$4E20DD43-0957-4955-BCAE-0F775F17373D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334ab1d686b37e89de6f4993f86fd671ef9eb541","datavalue":{"value":{"entity-type":"item","numeric-id":759781,"id":"Q759781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1dbb65b31af09bade39ff464d80825f51fe5dbc","datavalue":{"value":{"amount":"+0.784491777420044","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":"Q942205$DD30DE75-8475-47A0-9B3C-7D1E8E887F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec10b7bb870d1e20769b26ee71ea015023b32514","datavalue":{"value":{"entity-type":"item","numeric-id":4733896,"id":"Q4733896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53fd799e785494f011ffac8295bf442bb651275","datavalue":{"value":{"amount":"+0.7837833762168884","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":"Q942205$F97A1F72-14D7-405A-B609-59BFA536B773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1643a6f256e97d9d4c5d72104e359ac3797ee654","datavalue":{"value":{"entity-type":"item","numeric-id":4386278,"id":"Q4386278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d454701560c71b7b2a4dba03cc88df52415dbbb","datavalue":{"value":{"amount":"+0.7789813876152039","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":"Q942205$B794E488-222E-412C-9CE2-1B445EDF2F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c83ab1ed263efeb9c0d274ed55eff33745be181d","datavalue":{"value":{"entity-type":"item","numeric-id":4733895,"id":"Q4733895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a31d2b8486da2a0c4f646fd1182a7eac414a4a81","datavalue":{"value":{"amount":"+0.7788698077201843","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":"Q942205$27267865-31AC-45D7-9EAE-E5AE85DFB17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5001252492178a4d9e1166b666d1b76a30aa6a94","datavalue":{"value":{"entity-type":"item","numeric-id":5215928,"id":"Q5215928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73378a9ae973f2e5dd415f038a07cb27386051a2","datavalue":{"value":{"amount":"+0.7702203392982483","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":"Q942205$8983CD02-565A-4E95-8BBB-FF602F9B53E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-representable distributive semilattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-representable_distributive_semilattices"}}}}}