{"entities":{"Q807653":{"pageid":809501,"ns":120,"title":"Item:Q807653","lastrevid":42704297,"modified":"2025-07-08T16:23:49Z","type":"item","id":"Q807653","labels":{"en":{"language":"en","value":"The dimension of the cartesian product of posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4208127"}},"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":"Q807653$3F118526-9405-4E27-A2D7-ED67B371B519","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"039d25193a6c4eb08989f6e0a12e51db18b53db3","datavalue":{"value":{"text":"The dimension of the cartesian product of posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q807653$F488604A-8D67-41DA-AD65-5ACA34E3A58B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72ae3eb3eea274052517f5f1e086bde2149253f7","datavalue":{"value":"0731.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807653$5FB17633-8252-453B-9050-8D9DBDDDB749","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5426e64f290d25f0a64556204db0a5a16e1f9f9","datavalue":{"value":"10.1016/0012-365X(91)90060-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807653$24616917-D980-411F-9DD1-CFE25A43FB1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6d4439315d199de483a81f5660032f03a05044","datavalue":{"value":{"entity-type":"item","numeric-id":534034,"id":"Q534034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807653$B1AB2233-A106-470E-8484-26E6F82BE564","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":"Q807653$118C36A0-878B-4901-8C41-85FA489AC20A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q807653$0CC7E64E-1FC3-4368-BD5B-C3F04C6BC159","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d5452c80827d4056b6c6a7557d7d1ccfd2915108","datavalue":{"value":"A pair (x,y) of elements of a poset is called a nonforced pair if x, y are incomparable and if \\(z<x\\) implies \\(z<y\\) and \\(y<w\\) implies \\(x<w\\). The dimension of a poset P refers to the least positive integer t such that P is the intersection of t linear orders. Nonforced pairs are characterized in the Cartesian product of two posets and this is used to determine the dimension of \\(P\\times Q\\), where P, Q are certain subposets of \\(2^ n\\) and \\(2^ m\\), respectively. Let \\(S^ 0_ n\\) denote the subposet of \\(2^ n\\) formed by its atoms and coatoms. Then (as is well-known) \\(\\dim (S^ 0_ n)=n\\), and, by a result of Trotter, \\(\\dim (S^ 0_ n\\times S^ 0_ n)=2n-2.\\) This is generalized by establishing that for n,m\\(\\geq 3\\), \\(\\dim (S^ 0_ n\\times S^ 0_ m)=m+n-2.\\) The dimension of certain other subposets of \\(2^ n\\times 2^ m\\) are also calculated. There is some overlap between this paper and a paper of \\textit{K. Reuter} [Order 6, 277-293 (1989; Zbl 0699.06004)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q807653$E3C13C6B-B14D-4A06-8845-603B9A7F0E7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807653$FBA63051-9080-4446-B03D-FF6B3FC8791D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807653$45B50195-6B5B-4F13-9C58-CF8CE880C537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807653$6686F10C-EC52-4081-889F-D2245F7013BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dda55b8ec68d4f39a493ca4b2e89e8c36052be7d","datavalue":{"value":"4208127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807653$DDEB8F24-182D-4F90-8100-7908C0402CBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a526fe740ab383e7e3f29e936530214bad4211","datavalue":{"value":"nonforced pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q807653$C63184ED-6CB2-4547-9031-9212D05EA6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4768181659397122937393c61764e2f954409467","datavalue":{"value":"dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q807653$93283025-34CF-4BBE-9BBB-C11EECE4BEC3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"88a87edeea11e54abfe6c168c94e598e8120dc75","datavalue":{"value":{"entity-type":"item","numeric-id":1042320,"id":"Q1042320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807653$F6F22CAF-F2C7-4973-B3C3-E9C3D2AC51BA","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":"Q807653$5D9A82DD-D8AC-4B9D-84AD-D767D52F6982","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7051fef68e1da18ea7055d1589706589ca0d57","datavalue":{"value":{"entity-type":"item","numeric-id":3964626,"id":"Q3964626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807653$F1D477A2-0DA1-4968-BF00-918C460CEA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b43bd2d5cdec95f60233e9034ca5099fa2a92b","datavalue":{"value":{"entity-type":"item","numeric-id":912876,"id":"Q912876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807653$481B9180-64B2-4E75-AE91-8073C75BFCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ac6dbe90948f8819a725b72f2bdd3a978b91fa","datavalue":{"value":{"entity-type":"item","numeric-id":1061151,"id":"Q1061151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807653$66343DFE-B2DD-4E0B-909E-E88938B99A15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b5b8620e1591fb6401d5fa449653f6f705f4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1061151,"id":"Q1061151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5209f09b3844a7cfe4dc4a3650cfedb9ebe026d","datavalue":{"value":{"amount":"+0.9322398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q807653$F6889DF3-BFC2-4DA2-9DD4-2D7AB986E9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777f69d5828b4220a9b80a40fc573d057e24e215","datavalue":{"value":{"entity-type":"item","numeric-id":4348952,"id":"Q4348952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83673813b16b11424c2d678c84d67e17f3d291c","datavalue":{"value":{"amount":"+0.9243568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q807653$96419931-3A1E-4663-B624-7E3C200B0E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2585dc053524970c41f29f0816bda7f98290f09f","datavalue":{"value":{"entity-type":"item","numeric-id":2953414,"id":"Q2953414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3b002f616ea5060a7ae1561d21cf424e0b5a12","datavalue":{"value":{"amount":"+0.90983045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q807653$1ABB1EA7-D664-4176-BCA7-156AAA690B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbb54f807ece16afad7405484ed9a811fb28095","datavalue":{"value":{"entity-type":"item","numeric-id":912876,"id":"Q912876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83eb26afdf991fbbfd6bc723eeba3116751d977","datavalue":{"value":{"amount":"+0.9089546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q807653$3DDC675F-7FF9-4838-94ED-AE17897695C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff45f20cff47965fa0c47f33e535b142f025252b","datavalue":{"value":{"entity-type":"item","numeric-id":382878,"id":"Q382878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec3805b3f887a238eb5ec3a88959113d8ac78fd","datavalue":{"value":{"amount":"+0.9069425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q807653$66E24527-AB56-4965-89B7-E51420F6121A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e87d9d74e0ce1149a161f0320f8224a6aef0f4","datavalue":{"value":{"entity-type":"item","numeric-id":4027599,"id":"Q4027599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565ab90ab8b283c0b3fe28ebb53e89551d1410fe","datavalue":{"value":{"amount":"+0.90549016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q807653$220B5D6A-7FC4-4688-9D51-DC6DE1FEEFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b8dd7c5deb61ae5f0930b002b54f2881ce2c643","datavalue":{"value":{"entity-type":"item","numeric-id":2418971,"id":"Q2418971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e6c75ce57c21b94cc308df111865e4a56023dc6","datavalue":{"value":{"amount":"+0.9000214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q807653$670714A3-36BB-42FC-92F7-3FE2AAA43B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7d7041cb1534efb7987de60b4e6af432454e9e4","datavalue":{"value":{"entity-type":"item","numeric-id":1325968,"id":"Q1325968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f3b7d434a383d4ecae7ca2168f2e9abca41f66","datavalue":{"value":{"amount":"+0.8966826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q807653$DC010F71-391D-4042-9D30-6527EDD9FE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ac41a04c8ebe89a579bcf572047e163cfa1f47","datavalue":{"value":{"entity-type":"item","numeric-id":4281738,"id":"Q4281738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8dbdd0d5b0428b6a928c730d9f82d3ec3d80a5e","datavalue":{"value":{"amount":"+0.89515376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q807653$AD6B1398-909A-446A-9C06-F138D155F192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be30784d829efb37157157a2197634fa762f9ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4667861,"id":"Q4667861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2931c1070ffda7d2b8887eacd9add69282b2cc1d","datavalue":{"value":{"amount":"+0.89398324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q807653$7922A8D8-3F08-471B-9CE1-E5F087D26319","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:807653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:807653"}}}}}