{"entities":{"Q2725016":{"pageid":2735755,"ns":120,"title":"Item:Q2725016","lastrevid":82984949,"modified":"2026-05-06T22:36:12Z","type":"item","id":"Q2725016","labels":{"en":{"language":"en","value":"A note on inclusion-exclusion on semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1618590"}},"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":"Q2725016$ADC09DBB-0C47-44A8-9626-C961E78101D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57c67f177e92cf52b8dd1ac33e37fcf8835f0979","datavalue":{"value":"0984.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725016$C814A562-35A3-4299-8F8D-468CD7C2C168","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f24de012ef289cb89a28b4ea277300a092772365","datavalue":{"value":{"entity-type":"item","numeric-id":230778,"id":"Q230778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2725016$94B821F3-BA07-4CAC-BC53-840C6BD60393","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56876ee84a98428ba4911e3b2022b1c24eab272a","datavalue":{"value":{"time":"+2002-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2725016$CCE21874-6C4B-4F3A-9EC1-ED3A703A4BBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725016$D3D30371-E0A4-44B9-BBE2-6C5214914CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725016$E3F6A43F-A2AC-485A-B423-EEDE561EE1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725016$D619C726-C835-4F29-9A75-AED0E081E13D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83f6b26f68dbcd7f6200e6860d13054d34c9b1ec","datavalue":{"value":"1618590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725016$D6CA093B-1115-4FE0-BAA8-79631113664A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c80b125fdc142b64453344ec16a1a048f6ac200","datavalue":{"value":"join semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725016$DF5E722E-D68C-4E27-BFD8-574E23C68016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379272f926eea761941679f116e9dbee4c3f3d1e","datavalue":{"value":"M\u00f6bius function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725016$5E311CBD-8523-4A15-8C83-62F1651D9306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"418423f3c250a3ba5da38441e23d4a5b385c7bd1","datavalue":{"value":"inclusion-exclusion variant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725016$4CF06236-2293-40C1-AFD6-D85C8F632786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce1718e02ceaf35200e4f94cc550a915bf332d64","datavalue":{"value":"Euler function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725016$634FBD64-CB58-42C6-80BA-D7060704EF57","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":"Q2725016$F6FC09FC-EA14-4CB2-A47F-188077DCAB92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f281883b10008c518dc0a9b9e8a5a29e9afbd8f","datavalue":{"value":{"text":"A note on inclusion-exclusion on semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2725016$8C68A101-A936-4BB7-9955-6DBDB4B47168","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"481127518f5c5cffef053de35c6b1802b44a6b2c","datavalue":{"value":{"entity-type":"item","numeric-id":6559876,"id":"Q6559876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2725016$E7EACB80-95E8-43CB-9F95-DA8020364F69","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5cbaeb877aeab1681e324b24e5aeefdcc1974980","datavalue":{"value":"A \\(\\vee\\)-semilattice is a partially ordered set \\(P\\) containing the least upper bound \\(x\\vee y\\) of any \\(x,y\\in P\\). Let \\(P\\) be a finite \\(\\vee\\)-semilattice and let \\(\\widehat P\\) be the lattice obtained by adjoining a least element \\(\\widehat 0\\) to \\(P\\). The M\u00f6bius function of \\(\\widehat P\\), \\(\\widehat\\mu:\\widehat P\\to \\mathbb{Z}\\), is defined recursively by \\(\\widehat\\mu(\\widehat 0)= 1\\) and \\(\\widehat\\mu(p)= -\\sum_{q< p} \\widehat\\mu(q)\\), if \\(p>\\widehat 0\\). The author derives the following consequence of an inclusion-exclusion variant of \\textit{H. Narushima} [J. Comb. Theory, Ser. A 17, 196-203 (1974; Zbl 0289.05013)]. Theorem. Let \\(P\\) be a finite \\(\\vee\\)-semilattice and \\(\\{A_p\\}_{p\\in P}\\) a family of finite sets such that \\(A_x\\cap A_y= A_{x\\vee y}\\) for any \\(x,y\\in P\\), and let \\(\\widehat\\mu\\) denote the M\u00f6bius function of \\(\\widehat P\\). Then \\(|\\bigcup_{p\\in P} A_p|=- \\sum_{p\\in P} \\widehat\\mu(p)|A_p|\\). The author also deduces a well-known result about the Euler function of number theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725016$F2025899-3A42-4AAB-AEA5-05A1EDD5A99C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c29e445115b6fbe909292afc82298bd9a018da62","datavalue":{"value":{"entity-type":"item","numeric-id":1767715,"id":"Q1767715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2725016$FDCD8BC0-7B97-43EA-A741-65DD071E2D19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a337e3a9136004906890ce01a525f61e0a752e0f","datavalue":{"value":{"entity-type":"item","numeric-id":4929829,"id":"Q4929829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e8f6668345258106596ecb968d5eb1386e8632","datavalue":{"value":{"amount":"+0.7579735517501831","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":"Q2725016$CC7A70E0-D4CE-4C20-95EE-73F1C351325E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6537029aeb81c339be2d1a8a2a94d2a95e25a67","datavalue":{"value":{"entity-type":"item","numeric-id":3717052,"id":"Q3717052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3175082c4c3cceda7f04029607d25abfa93039c7","datavalue":{"value":{"amount":"+0.730373740196228","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":"Q2725016$E13218CC-A02F-423F-931B-CCDD09C64BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf04e993259e57e0e7d2a7a1be8cf493994a5d2","datavalue":{"value":{"entity-type":"item","numeric-id":5461553,"id":"Q5461553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1173a40c765c0fd16cc4b66d53da3f1616a385c","datavalue":{"value":{"amount":"+0.7230497598648071","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":"Q2725016$B6F2CBBC-FB1C-47B1-8F13-2017A16F8221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfdb3ae579002655bd1e454d406fa59773d9c64a","datavalue":{"value":{"entity-type":"item","numeric-id":1305172,"id":"Q1305172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25b1938512ecaedfec0046dee7870bed9c9bcb9","datavalue":{"value":{"amount":"+0.7227751612663269","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":"Q2725016$32B1175F-D106-4239-B798-D76059845DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8415f36fcf2fb5cee17ba58c3bcc6cda931e3776","datavalue":{"value":{"entity-type":"item","numeric-id":1898562,"id":"Q1898562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25b1938512ecaedfec0046dee7870bed9c9bcb9","datavalue":{"value":{"amount":"+0.7227751612663269","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":"Q2725016$B2FC8082-1378-4504-B4D1-14613B3C8986","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on inclusion-exclusion on semilattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_inclusion-exclusion_on_semilattices"}}}}}