{"entities":{"Q1176723":{"pageid":1187472,"ns":120,"title":"Item:Q1176723","lastrevid":47042023,"modified":"2025-12-31T11:48:18Z","type":"item","id":"Q1176723","labels":{"en":{"language":"en","value":"The core of finite lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 12438"}},"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":"Q1176723$44CBF67F-AD4D-4B60-8B17-C0BA3ED549F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85f415b6e06e3779936060e8d385f279a0d0ae90","datavalue":{"value":{"text":"The core of finite lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176723$6B39FECD-905E-4A48-B8D6-FCD2083D96AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70d80aca918998e576047fb3a38baaa5792742dd","datavalue":{"value":"0736.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176723$7935BD0E-2EA2-4627-A690-E428F807068E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e760e780c109b776c52d99bfe375eca30805fb2","datavalue":{"value":"10.1016/0012-365X(91)90005-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176723$E3ADA67F-B16B-430E-B1E5-D3634BBDB626","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"222703b8201acd1255aa6d6be1dcb081cbeb70d1","datavalue":{"value":{"entity-type":"item","numeric-id":1176722,"id":"Q1176722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$E25BA8D5-5902-4849-8BC1-88BD31262CC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$8D108238-401C-4807-B414-CFD8BEB789E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176723$DE740B87-C7FE-4DBA-A71B-610AAF9D7761","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cfc35190c67c668bce73549a26b3b45904e7ad7c","datavalue":{"value":"This paper contains the lattice-theoretic analysis of a rather obvious but useful result (due to the same author but also present in database dependency theory) describing closure operators on finite sets \\(U\\) by means of ``bases'' of dependencies \\(X\\to A\\), where \\(X\\subseteq U\\), \\(A\\in U\\), which are minimal in the sense that none of the \\(X\\)'s can be omitted. The closures of the \\(X\\)'s are the essential elements in the lattice \\(L\\) of closed sets. Together with the join irreducibles they form a partial lattice having \\(L\\) as its filter lattice. For modular lattices the essential elements are those which are the pairwise joins of at least 3 irreducibles. Characterizations are also given for upper and lower semimodular lattices and their atomistic special cases as well as for meet-distributive lattices. This allows a fruitful new view on the structure of lattices in some of these classes. Last but not least reading is recommended for the witty style.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176723$80484586-FB03-4BF5-B7A7-0C84D3A1CB86","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d6552b9493e28a48db87c623d50a8f60c6a03855","datavalue":{"value":{"entity-type":"item","numeric-id":185695,"id":"Q185695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$EBC20FC2-9CC6-427A-B8C7-43F8337CD820","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176723$ED0B58AD-683A-4A3F-A174-E1EB691157EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176723$58A629A8-A6BD-402E-AFDD-62700E23A04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"47e5c6d08b39e79bdd0bccfaeec11db7eee63b87","datavalue":{"value":"06C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176723$54E02E42-FFB5-4EF6-8D4D-416A8D7A8491","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5306d6bca94efff76987a2aa49ac737c99c4707e","datavalue":{"value":"12438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176723$AC8F4C51-67E6-4056-8915-89C504335BB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0909ed8d265ff46b4078ccca41131010327b116a","datavalue":{"value":"functional dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176723$83A337DF-E17E-45E1-81AC-6C9B50238DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c2f646b21fb76545c991e5c5f357c47729d4125","datavalue":{"value":"closure operators on finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176723$1550B39D-98A3-4448-84AC-948CF3C79A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c06d892a2313f33c9a0e88cdf1c571447cf43bcf","datavalue":{"value":"partial lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176723$B149D2AE-B7CA-40B3-85C1-90E599387719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5b9494da5e76f6fd1bc5d21a8846bdfe2b76f5","datavalue":{"value":"modular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176723$4D7F49F6-0337-4784-852F-9F90147F5CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7d225eaa6b16f4252ec10f1a05a9cc5805b8f9c","datavalue":{"value":"essential elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176723$25BCE242-23E2-4E73-9C0A-3E151F04980D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a76da5b205d62dbf70df166a37763d505f7e10ca","datavalue":{"value":"semimodular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176723$1AA9184E-E27A-4FDB-82FB-70FAD4449B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5103de709e393aead4d04e0384bc9bbaddf682a","datavalue":{"value":"meet-distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176723$D75486EE-6465-4D3F-86A3-D4CB73F5BAD2","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":"Q1176723$10B6C051-E6E3-4075-9D0E-0232C49BB287","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf0286d6b735487227d24437e14202203ff14c8","datavalue":{"value":{"entity-type":"item","numeric-id":3050437,"id":"Q3050437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$7A59041C-881B-43BB-9A45-B0A75D43C152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b8cec95e9d0c836ba454f8b98c13007a3c45ae","datavalue":{"value":{"entity-type":"item","numeric-id":1064330,"id":"Q1064330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$0336E31F-391D-4166-9780-2540125F87D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$4325513D-8221-477E-90D7-55554C446B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37680542e1675e50d3a5f39d395c448ab2e97b3","datavalue":{"value":{"entity-type":"item","numeric-id":5516085,"id":"Q5516085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$34DF5185-FDD4-491F-A063-E95995639DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$82E6F697-5D66-490E-BF6C-0F3EBD92A33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a95a249707029a1e3141905b00ce1b52cb5f38","datavalue":{"value":{"entity-type":"item","numeric-id":2646956,"id":"Q2646956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$CE7410BB-B181-41B3-B605-2B100CD91DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50db3b19da4b9eebf264cd5af09cac783fd40399","datavalue":{"value":{"entity-type":"item","numeric-id":2646957,"id":"Q2646957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$18B5BA24-1F20-4FD8-AF18-CEAF84DD096A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e180aea28fecc875497e5ab7e0b7b3cee341233","datavalue":{"value":{"entity-type":"item","numeric-id":3918645,"id":"Q3918645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$3AE13380-6B9A-4B9C-BC70-2DFE0C187BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf20bad2f52f0e67f28ec5ef09dc2220198c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":5058462,"id":"Q5058462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$9FD230A5-8EC7-4B0F-BC78-0238EC95F7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4abb65a49b131af8fd12ef5371bc34a21fa13883","datavalue":{"value":{"entity-type":"item","numeric-id":762512,"id":"Q762512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$93822FBD-1E31-4E9F-9DE8-0CC6E18C7966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c47d730051eba4a50607da57ac3c3de5d7913cb","datavalue":{"value":{"entity-type":"item","numeric-id":800946,"id":"Q800946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$94C0AD91-1D90-42E3-85AA-7C673C4A98D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acb5bfc296208714c19bcd75968f157dfac22e1","datavalue":{"value":{"entity-type":"item","numeric-id":4103139,"id":"Q4103139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$8908FB9E-14F6-41DF-A601-5363FD212CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b2cc4cd05b73c2203653fab8ddd4e8503fccbd","datavalue":{"value":{"entity-type":"item","numeric-id":4193521,"id":"Q4193521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$8AF90698-B91E-4FC2-A0B8-C737B542B8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3633272da25be1f86cdd97ccbb9be3d5057fa0dd","datavalue":{"value":{"entity-type":"item","numeric-id":1134776,"id":"Q1134776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176723$35DECF54-1198-40A3-9A06-BD8A5E5BFBBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae750de947f13ca005dc12d646e03ffab49fdef0","datavalue":{"value":"https://doi.org/10.1016/0012-365x(91)90005-m","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176723$75813085-027D-4982-AD87-207B91DE38EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4162fcec6225fa903c0b4cb399da4d096bb86153","datavalue":{"value":"W4213137395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176723$C33990A6-97C4-4C27-A6EF-0FE8D2E167F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783a4d8720d1edc0f010d6f3545d452c0bd24403","datavalue":{"value":{"entity-type":"item","numeric-id":4521532,"id":"Q4521532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdadd44cdbad56fa1e757e09b300e3c3790f17a","datavalue":{"value":{"amount":"+0.76876300573349","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":"Q1176723$645A2E03-C742-49E7-B63D-ECF03C990C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550cb2ebd0373ec528f0222f2ecb5f23354b7cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1874537,"id":"Q1874537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04abd86a892412b62e6c33be8c3c04bc6dca5e7","datavalue":{"value":{"amount":"+0.7651798129081726","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":"Q1176723$7398095A-A879-4DFF-BFFB-44CA4A034B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba7effd8b4cbc1843812f929cdfc1d20cdbdf7e","datavalue":{"value":{"entity-type":"item","numeric-id":4667602,"id":"Q4667602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f626fce4066a0f035a4edf267a6ea9bb2eb2e5","datavalue":{"value":{"amount":"+0.7513942718505859","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":"Q1176723$A00ED59F-A876-4D77-901D-B01CF2CB1C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf34b753d5814f1c8158297e80e6f1d6acd9275e","datavalue":{"value":{"entity-type":"item","numeric-id":1061155,"id":"Q1061155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a0fc0d193388be47ebc9c6e5458f1794afd59e4","datavalue":{"value":{"amount":"+0.749163806438446","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":"Q1176723$01C3221D-6D76-48BB-A26E-4EDEBC9138FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362bd0062194fa793088f33c778ab9f1d70531a0","datavalue":{"value":{"entity-type":"item","numeric-id":2741274,"id":"Q2741274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce58af5ea4140f003dd802e2e7cd2bc2e308eb9","datavalue":{"value":{"amount":"+0.7468498349189758","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":"Q1176723$72F4D0B2-470B-49F2-95A2-611927E946A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1176723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1176723"}}}}}