{"entities":{"Q1865130":{"pageid":1875872,"ns":120,"title":"Item:Q1865130","lastrevid":48071713,"modified":"2026-01-03T13:28:28Z","type":"item","id":"Q1865130","labels":{"en":{"language":"en","value":"Excess of a lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1887502"}},"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":"Q1865130$A82ECE66-09A6-469D-B554-612C181DFDA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"148505f6302521cf8dc18c4c498962451c489097","datavalue":{"value":{"text":"Excess of a lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1865130$7A9CB5C9-93CB-41AD-931B-4029758177C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce87db43fadf9b7b5d8c11e3dcd5848e94896b29","datavalue":{"value":"1023.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865130$64D0D939-B198-45E6-8DC2-A00AABE59E87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50836ebacbf55098252c245b7091748ae1b13d6d","datavalue":{"value":{"entity-type":"item","numeric-id":333265,"id":"Q333265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1865130$762BC253-8E71-4A59-B82A-BB4FA9574771","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62093226388c211ee4d5286124caf1fbc8b86437","datavalue":{"value":{"entity-type":"item","numeric-id":185060,"id":"Q185060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1865130$C41DB18D-CA57-49DC-96E2-7CF2F24913B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"29f52fadc80a9a564970354bea97f6e8c261c528","datavalue":{"value":{"time":"+2003-03-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":"Q1865130$E2135DE2-31D1-4A9B-B550-35220E586714","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0b69172d2e4288d4b59bd2dce6db91772a8af9d","datavalue":{"value":"A pair \\((x,y)\\) of elements in a lattice is said to be mismatching if \\(x\\) is join-irreducible, \\(y\\) is meet-irreducible and \\(x\\nleqslant y\\). The excess of a lattice \\(L\\) is the number \\(\\text{ex}(L) =|L|-\\min \\{|V_x|+ |I_y|\\): \\((x,y)\\) is a mismatching pair\\}, where \\(V_x\\) and \\(I_y\\) are the filter generated by \\(x\\) and the ideal generated by \\(y\\), respectively. It is shown that a lattice has excess zero (one) iff it is isomorphic to a Boolean lattice (of one of the following types: two-element chain, diamond, pentagon). It is also proved that the cardinality of a relatively complemented lattice which is not Boolean is at most five times its excess.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865130$EE953CF5-AA06-44E5-8B8B-6D691526868A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e1dfa1f8c0c090ff904ac9167d75774af966591d","datavalue":{"value":{"entity-type":"item","numeric-id":587991,"id":"Q587991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1865130$D2B4406C-28BC-46AF-8D57-FF8A37B8A7A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865130$5516AB6A-35E5-4BDA-ACD9-4F1212BAB3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865130$34711429-B738-4469-BFE1-68DAE10599E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3887cea3ae86c2a8d419e88a217230c8ef3177b3","datavalue":{"value":"1887502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865130$89FF59DB-2122-4371-97F8-BE6E4F733857","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbaa3918192c98d9e46028c744bcb5304cb5e058","datavalue":{"value":"excess","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865130$D5AEF9FB-2BF1-414D-9A84-2FF77A55ABE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"255401a6bcd464d636f29220c17487edaac71d86","datavalue":{"value":"mismatching pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865130$69FF8FF3-E836-4E1D-8652-915D6E75777C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e5635796d61a2276700c5751e732bf45eb0f7a","datavalue":{"value":"Boolean lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865130$00A62909-B6B8-4673-83B2-1572AB26B37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584a0167d10ced793f99cd842b7269e619ec4828","datavalue":{"value":"diamond","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865130$BEB551A4-975D-4BAF-AF64-7E73CC78958C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffbc81f2a6cc08c51463229c774156e08382538","datavalue":{"value":"pentagon","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865130$9F71E437-08D2-4FF8-9FD6-4D10DE0B2A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e2b916de2c4d51b0e34512762d63be101e32f08","datavalue":{"value":"relatively complemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865130$3976CD6E-9A20-4D7D-810C-AEAA8C578594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3e8f6007fec85d442fb112bda32a31899c9fa96","datavalue":{"value":"product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865130$FB71EA88-D735-4FA4-AB4C-CF04E5722511","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":"Q1865130$5193C4EF-0478-4858-B395-C79272D6A47D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82a8ae02688ae62202ad82dcc18cf39732d0b86d","datavalue":{"value":"https://doi.org/10.1007/s003730200029","type":"string"},"datatype":"url"},"type":"statement","id":"Q1865130$C2FDBEBD-CA2D-47CD-878D-DB1DB5A65703","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43cf23b5ae15c915e4ed7f10b36b0255f3823602","datavalue":{"value":"W1963534702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865130$68D5F177-2E50-4B27-A298-DE22DFA2CD2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6412abdfa3a62ce00208553e064ab171ac9a3d04","datavalue":{"value":"10.1007/S003730200029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865130$45CE93EB-DDED-41DC-8740-759CC5042E80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1645675ec09106b37385e237147b37509319ffe","datavalue":{"value":{"entity-type":"item","numeric-id":5461591,"id":"Q5461591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f6b9d1d378fc9b494951a3b948e33d364b8b32","datavalue":{"value":{"amount":"+0.8775825500488281","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":"Q1865130$B9470F4B-3CEF-4129-91A4-A042514A47E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bec718dfc83d5adcd73330cee92ae8f4dc7f506","datavalue":{"value":{"entity-type":"item","numeric-id":4534479,"id":"Q4534479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d93fe1b7940c6f210db974cc538a43a712e3d9","datavalue":{"value":{"amount":"+0.7600866556167603","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":"Q1865130$35697453-5337-4D86-8648-7CBA85D895B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976231ff08558489ec9d2e0a9367fec17f9b72c6","datavalue":{"value":{"entity-type":"item","numeric-id":2496143,"id":"Q2496143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aea311ed67c7d1cfac8a73521b421c3b687d783","datavalue":{"value":{"amount":"+0.7223602533340454","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":"Q1865130$3DC59FD0-0577-4676-B9DF-6719B27BE406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ce7679de8b4c10a109375b69f35513dd82916a","datavalue":{"value":{"entity-type":"item","numeric-id":5496733,"id":"Q5496733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c840a55d6e69b8a1cbe23e907e243c36805822","datavalue":{"value":{"amount":"+0.7114782929420471","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":"Q1865130$65166087-A4E7-4AB7-9B15-D89A9FA06EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47f06a708433017c5cb7f49b4402246e18ff0a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1068863,"id":"Q1068863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c978a16f3b03be0933d8f4a97ebff747a0234bd","datavalue":{"value":{"amount":"+0.6993976831436157","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":"Q1865130$DCCE0CCD-58F7-4CB6-B034-6166EBC8300E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1865130","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1865130"}}}}}