{"entities":{"Q1903013":{"pageid":1913755,"ns":120,"title":"Item:Q1903013","lastrevid":69242943,"modified":"2026-04-13T05:43:02Z","type":"item","id":"Q1903013","labels":{"en":{"language":"en","value":"Order-matchings in the partition lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 823501"}},"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":"Q1903013$1E5B6948-C36B-49E2-A015-455B011336B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae09d3318ed82d1b687ca4add4082ba7a67a13b7","datavalue":{"value":{"text":"Order-matchings in the partition lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1903013$2D2B0621-DA70-4472-B5C0-D1F163E90430","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f8bee0f78c096ea111a6259926b8c275c793659","datavalue":{"value":"0839.05012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903013$8A85C2E5-CD44-494C-9B6C-A52B8587C26E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"700d0d2c96a3d02ce27bab61854c795f1b48180e","datavalue":{"value":"10.1016/0097-3165(95)90069-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903013$E0724A46-D9DA-4A89-980A-4EC0FB71AE87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bf796f2d45c0b21846e6c9c8fc9105d6adc804d","datavalue":{"value":{"entity-type":"item","numeric-id":186254,"id":"Q186254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903013$DD13EF96-FA51-4D0A-B156-E9BBB13E1A11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903013$5D74EC19-8203-4AD5-BE31-AB40EAAAEBEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94216ebf2d6bcbf04d51310e4eaa74cb6d0ac011","datavalue":{"value":{"time":"+1996-06-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":"Q1903013$8ED46000-5C51-4C7B-AE31-A7D9C4056859","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51f36666c14bbf4c580ef67755587cfdf57a353c","datavalue":{"value":"Denote \\(\\Pi_n\\) the partition lattice of a finite \\(n\\)-element set ordered by refinement. A chain \\(x_1,\\dots, x_h\\) in \\(\\Pi_n\\) is said to be an upper chain if \\(x_{i+ 1}\\) covers \\(x_i\\) and \\(\\text{rank}(x_1)+ \\text{rank}(x_h)\\geq n\\). This paper constructs inductively an upper chain decomposition for \\(\\Pi_n\\). This provides a new proof of the result of Kung that there exists an order-matching from level of \\(\\text{rank}(k)\\) into level of \\(\\text{rank}(k+ 1)\\) in \\(\\Pi_n\\) for \\(k\\leq n/2\\). The proof is an extension of a method of de Bruijn, Tengbergen and Kruyswijk.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903013$CE07AC2A-FE3D-46CB-8A5A-1688895C247C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"16a41880afbd8630e6acc78be050f90ea5608911","datavalue":{"value":"05A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903013$622D152C-755A-43AA-8961-5ED588510C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903013$636F4654-8F7F-445A-B6AB-C576993242AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa3ec27de96c16c8db99a4133da38b82bf54242b","datavalue":{"value":"823501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903013$AB621730-BE5D-4A70-861C-619B350C0557","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3af0a446639d176da13969f84067b93bf0ca04f6","datavalue":{"value":"partition lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903013$2A6581C7-EBF3-4A85-AF32-62DF92C5B6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8059d94f8db5e55b81d95ac56f564a5869a91d7","datavalue":{"value":"upper chain decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903013$65D73619-20C5-4DB5-BD35-87502EB95E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef148418bdafc568c97e110f099ab07ef05cb344","datavalue":{"value":"order-matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903013$85BFC58B-6DA4-4F1E-A32D-B6F5CCAB25DF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"01b0989d65d3fe37f1a608a8cd96e416bda56c38","datavalue":{"value":{"entity-type":"item","numeric-id":200913,"id":"Q200913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903013$A73A6E09-FBF8-4B96-A7F5-C4A78F098BCE","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":"Q1903013$6928CE7B-9C29-4795-A194-AA601366736D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"482fc5116e29e231212bba96e9b20ea22c8bb8e6","datavalue":{"value":"https://doi.org/10.1016/0097-3165(95)90069-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1903013$F7909822-C2B7-4838-A384-524EDB6B8179","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee4ae6271b395119900a2bf73cf616f659285731","datavalue":{"value":"W1969313939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903013$F751DBD5-9DFA-4B4D-A167-D3D51A2875D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe62fe8adcf48ef5a7cc944e569d5ea9f50595c","datavalue":{"value":{"entity-type":"item","numeric-id":5805073,"id":"Q5805073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903013$54F882B4-5F8C-4D90-A5A3-309E69CBF7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4183d7e55d0cc1a525477c073a2b6f4906cda522","datavalue":{"value":{"entity-type":"item","numeric-id":5285940,"id":"Q5285940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903013$0C7755F5-388A-4EF5-BB74-5E2C7FFAA122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8aaf63bc5fb6f4148b9b4a7b4f0e0d235b81d39","datavalue":{"value":{"entity-type":"item","numeric-id":1257485,"id":"Q1257485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903013$9CA41283-2FC7-4437-8DF3-CAC46F6EC0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f29cc46099c982469aee24e5bfb694459ccb1547","datavalue":{"value":{"entity-type":"item","numeric-id":1312851,"id":"Q1312851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903013$48EE09D9-BE5D-4C67-93F7-6C0DD76855C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fea0374a503f3f3aac54d1fa2eecc2e390b9e16","datavalue":{"value":{"entity-type":"item","numeric-id":5285940,"id":"Q5285940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c785291c9242d7776ace3ffc5e6de200d250c87","datavalue":{"value":{"amount":"+0.8100934624671936","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":"Q1903013$19F1D72E-AC02-4AD4-AFBB-3B23DA0FF299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646799b58e2f0d965328c64061b63466ae775ee7","datavalue":{"value":{"entity-type":"item","numeric-id":1269889,"id":"Q1269889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c785291c9242d7776ace3ffc5e6de200d250c87","datavalue":{"value":{"amount":"+0.8100934624671936","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":"Q1903013$B0E25F7A-92D2-4864-B912-6F540873C9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa21b1d66f42d3682454476c7e9a264318ca2033","datavalue":{"value":{"entity-type":"item","numeric-id":1317461,"id":"Q1317461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429b62f038536bca03727139788bccd3a90b000c","datavalue":{"value":{"amount":"+0.782804012298584","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":"Q1903013$7A70945D-F48C-4A31-A78C-F284B22462BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9582663d3c0e17d6eb6d19f2864c82fa52eb54f","datavalue":{"value":{"entity-type":"item","numeric-id":1567679,"id":"Q1567679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d614b7432a34da4ef366b2603526e67055d4287","datavalue":{"value":{"amount":"+0.7823876142501831","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":"Q1903013$B05B9459-1678-4EC2-9E52-440324A59C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7a8d920c89eecf4f2c176e8842961982fd7f02","datavalue":{"value":{"entity-type":"item","numeric-id":787981,"id":"Q787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d3736c680f5092ae08769f8cd4974842fbcd0e","datavalue":{"value":{"amount":"+0.7533369660377502","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":"Q1903013$658DCFF9-978A-4344-946E-D92DE89477B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Order-matchings in the partition lattice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Order-matchings_in_the_partition_lattice"}}}}}