{"entities":{"Q580378":{"pageid":582145,"ns":120,"title":"Item:Q580378","lastrevid":62922318,"modified":"2026-04-11T09:00:32Z","type":"item","id":"Q580378","labels":{"en":{"language":"en","value":"Two easy duality theorems for product partial orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016961"}},"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":"Q580378$F9BA9FEE-63B8-4842-85A4-6771803F47FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2468f907219ef0c98037c73fba0802e88c779f10","datavalue":{"value":{"text":"Two easy duality theorems for product partial orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580378$52B6B20E-0173-4E7D-B0A7-29E95ECB1547","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3885cf35d897d4585edc4e5711bc88307fad360","datavalue":{"value":"0626.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580378$3A24F8CE-6C59-4BD3-9016-E8A31FCCDA9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a2237964f9a47d26923f4c4c3e93c49c3a66608","datavalue":{"value":"10.1016/0166-218X(87)90065-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580378$697AA704-B4FF-46B7-8FBE-0E54D7AFB4DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d4c73f0a1fcfa77f8c56f84fd9c0566fb0d581","datavalue":{"value":{"entity-type":"item","numeric-id":185079,"id":"Q185079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$78F3230B-3252-4DEE-9272-D49FA37871F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f69677a08f56ea4590edc787323131a4bdc2e419","datavalue":{"value":{"entity-type":"item","numeric-id":686727,"id":"Q686727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$039F27DE-98D6-4E04-A407-A540036719C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$3639C426-7EAF-42BD-B87F-CEDE38FF369C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q580378$766C5B64-1C5C-4A4A-B977-700C91E4AE93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"52d5b2796f6dcb4ae4789f480b85ec779bf5c291","datavalue":{"value":"Two duality theorems are proved about the direct product of two partial orders. Theorem 1. The largest unichain in a direct product of posets has the same size as the smallest covering by semiantichains. Theorem 2. The largest uniantichain in a direct product of posets has the same size as the smallest covering by semichains.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580378$F9991560-C319-40E7-886D-CE365DE7AC75","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2d6b7ba93c1239081bb7ddeef2e4dacccc5a578a","datavalue":{"value":{"entity-type":"item","numeric-id":587906,"id":"Q587906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$EE4B02C4-5B73-4CE5-B4AA-4FA03D8586ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580378$FDF27FBC-4D1D-4F90-BE8F-9D75C49AA838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb6fa31c061028a10fb1c2a1679af7746583c504","datavalue":{"value":"05B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580378$D864D24B-1147-4E20-A069-48EE22AB578E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580378$69C44201-8B3B-447F-BCE7-31C27A4AB525","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"778894923b4bdeeb5100cde47752c774ea00c278","datavalue":{"value":"4016961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580378$A1CD321E-1FDF-4591-9B68-C39FE353CBB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7aa63c38356fce7cd824cb38ff1cbdfc27d685","datavalue":{"value":"duality theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q580378$94402624-E4C3-4D5D-BB5B-C948C231C423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q580378$7D973E04-8EFA-4474-9474-A36AE6C3C5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94259fe35973e5b8353e170be389ec41c66bbcb7","datavalue":{"value":"largest unichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q580378$15B49959-8DFA-4BAC-95DE-8BA9B66FE097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af454455f2e5281e02dca37900fae0bde8c2f3c","datavalue":{"value":"direct product of posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q580378$D0102CD4-3062-461D-A10C-7751F8520E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c3efbac46023084d6f0618566707df9acf819d4","datavalue":{"value":"covering by semiantichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q580378$0860A042-CB35-4F76-ADCD-654CC4CCCACB","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":"Q580378$2BFA0B48-02D4-4397-AED8-00EEB281B26C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"007c64cb1e51e420a82b1528582743678952b922","datavalue":{"value":{"entity-type":"item","numeric-id":2648578,"id":"Q2648578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$E2354845-D77C-4228-9D22-86BAF24E5A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"220d4ab4bf1e85d67a96585735c0bcc184d9d730","datavalue":{"value":{"entity-type":"item","numeric-id":5586413,"id":"Q5586413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$B3CFB9CE-1E5D-48C0-8BA8-8D890149FC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39738cea79e11456d6583aec1786d79af209b23","datavalue":{"value":{"entity-type":"item","numeric-id":5341586,"id":"Q5341586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$9340164E-8AD8-4DC1-844A-709FB173CC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4042a6a8925d33e7ac25ffe3a11c3e8654542cc4","datavalue":{"value":{"entity-type":"item","numeric-id":5668601,"id":"Q5668601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$5212B786-A726-4EF0-A7FA-D69F5360DA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb2ca458acea0e3632727170dcd237e7765fa59","datavalue":{"value":{"entity-type":"item","numeric-id":5514188,"id":"Q5514188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$3141283D-6240-4EA2-8A80-7C0CF7CBA106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d8a0ac67e074af2783991b082cd18a14315535","datavalue":{"value":{"entity-type":"item","numeric-id":5668263,"id":"Q5668263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$B3A88C47-36A0-42B1-8D83-A55E221AA92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f022c5d6b08439aa878e2ed1f5966d14821894","datavalue":{"value":{"entity-type":"item","numeric-id":1224110,"id":"Q1224110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$8E9676F5-E770-450A-824F-6F0771AF050F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3540803e6c2941a79b658c1ad46488049de9a54a","datavalue":{"value":{"entity-type":"item","numeric-id":5966939,"id":"Q5966939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$A819D982-8E1B-4C37-8DC9-2D6B0E9D3FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631200adace0f14c2f6d92fc47cb2d9f5d82cdbb","datavalue":{"value":{"entity-type":"item","numeric-id":3928241,"id":"Q3928241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$9AD59F47-8C6C-46C1-9872-0C4047106680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c09bc7f41d9e21aabc7817f48c7d6313ce813d2b","datavalue":{"value":{"entity-type":"item","numeric-id":2625477,"id":"Q2625477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$11F15BD0-D9FD-4C1A-B3B8-DF55B65EFD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0f324a04950095dede8cc7c2547a2f1a267c7b","datavalue":{"value":{"entity-type":"item","numeric-id":3966188,"id":"Q3966188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580378$35068AEF-1793-44B4-B516-0C7F9C5A92F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fa45f01f502f9cf9a4987919ed5eeffa345076","datavalue":{"value":{"entity-type":"item","numeric-id":1013994,"id":"Q1013994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df3d3a305e6724c7c45bfce148cdeeacaeb989b3","datavalue":{"value":{"amount":"+0.8305789232254028","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":"Q580378$D06132E2-8EBD-412C-8106-5D81CB5C22D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f76bfeb76114a5653068707d775f55772ef96e7","datavalue":{"value":{"entity-type":"item","numeric-id":2407680,"id":"Q2407680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39a1ffb740d4b8a2e487c89f0705f28a73a5770","datavalue":{"value":{"amount":"+0.816856324672699","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":"Q580378$18E0F29B-2E58-4651-B8A6-9D820216360D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51cfb897bfe48bfa0b4de0288024fb5934bcdb4a","datavalue":{"value":{"entity-type":"item","numeric-id":5965139,"id":"Q5965139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3da022e41c31ebc6e308d3769024b6bd9894aa9","datavalue":{"value":{"amount":"+0.7892213463783264","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":"Q580378$327AE6F4-B9C3-41E2-B6D1-022B8C98CFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a632c3abcb9ae553a243ff742ba53ea284b12324","datavalue":{"value":{"entity-type":"item","numeric-id":3428796,"id":"Q3428796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4357282eae42b5339b546e46dde2b491771f22","datavalue":{"value":{"amount":"+0.782750129699707","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":"Q580378$1CA96333-CD4B-40A7-B757-34E2BABF6644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ffc39eab1dc16365b7102f3920a1766d015163","datavalue":{"value":{"entity-type":"item","numeric-id":1059648,"id":"Q1059648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f2a6032c91ec07616f5bd931ae5a989a413f9b","datavalue":{"value":{"amount":"+0.7808324098587036","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":"Q580378$7EC127E4-EC0F-40B0-A468-3D009A34CEF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two easy duality theorems for product partial orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_easy_duality_theorems_for_product_partial_orders"}}}}}