{"entities":{"Q1080872":{"pageid":1091624,"ns":120,"title":"Item:Q1080872","lastrevid":66850740,"modified":"2026-04-12T13:16:48Z","type":"item","id":"Q1080872","labels":{"en":{"language":"en","value":"Ladders in ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3968640"}},"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":"Q1080872$D45A1254-DB9C-4EEF-875A-15B58CC472AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b464b4fc9d658735d4a10295b907258a3933a9a","datavalue":{"value":{"text":"Ladders in ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1080872$43BEA3A0-9CB6-4C94-B420-FCA776360DEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"267a9ded7062c7a2c7e3148389249c7e3e7b02ba","datavalue":{"value":"0601.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080872$E6264E67-342D-4C6F-A324-A338D5223A68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1452a57934597da641833ae9441f69a419ab40aa","datavalue":{"value":"10.1007/BF00403407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080872$51EB884E-E640-46BD-B949-166FB8EE8BE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dee23038420885dd454c6062e4cbb76f8023a949","datavalue":{"value":{"entity-type":"item","numeric-id":760447,"id":"Q760447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080872$CFB340DB-16E7-450A-B7B5-0A87823B3EDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080872$DC4CB7AD-A088-47BD-BC96-8DEC81EE54A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1080872$DD90831E-92CF-416D-8AAB-DE6CCD50DD4E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e93ea8180f592e2011cda93895bd9c8ee5a489c","datavalue":{"value":"A partially ordered set (or, shortly, ordered set) P is said to have the 2-cut property if for every element x of P there is a subset X of P whose elements are noncomparable to x such that \\(| X| \\leq 2\\) and such that every maximal chain in P meets \\(\\{x\\}\\cup X\\). An ordered set P is called a ladder of length n, if \\(P=\\cup (\\{x_ i,y_ i,z_ i\\}\\); \\(i=1,...,n)\\), \\(x_ 1<x_ 2<...<x_ n\\), \\(z_ 1<z_ 2<...<z_ n\\) and \\(x_ i<y_ i<z_ i\\) for every \\(i=1,...,n\\). The main result: Let P be an ordered set with 2-cut property and width n. Then P contains a ladder of length \\([1/2(n-3)].\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080872$C95AB681-646C-4369-A794-DBA104B7948E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080872$2F361E3D-19FD-4938-AECE-3FD3F56119A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98a6df3f038200cbebb3177f8f5c8fcf3b41aa4f","datavalue":{"value":"3968640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080872$46649970-EE0E-4345-AF6F-E3F7FA217C59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c12533e1406e33816856813f8ebf55f6f74c69","datavalue":{"value":"antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080872$7CCDE030-1503-4C50-A7DA-A88847E3CB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da0f5147540e5ff9abe1a7fedfdb0d575bb38f3","datavalue":{"value":"partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080872$D1D6BA7B-494B-4967-90B6-5EC56AF79BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff2df6e41c839264a8dc40ea2074432b1d24515","datavalue":{"value":"2-cut property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080872$C443DB39-7040-4049-AAA7-44489ECD38A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa11204b7a828e30d93c966a7037c580ecfef23e","datavalue":{"value":"maximal chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080872$007062C9-E647-42BF-B71C-7C5D8037A712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7bb68a0e6d6481788d90b9c9b6b232ad71a66a6","datavalue":{"value":"ladder","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080872$5D145D04-B028-4064-B284-53D8A79EEBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccdf98bea6de3dcf3a7edd1fca9d3b62359e75d8","datavalue":{"value":"width","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080872$90D2C707-C003-4061-B7AE-8A0129DF0136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aa90b1ff0982ab5d5fab48275d3f9dc7c1839ee","datavalue":{"value":"length","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080872$40DC34D9-26B6-43E6-82D7-DC2B3FA24EF6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a461cfcc1c525c3e05a3716cbb9b308cdf61f148","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080872$8AF8C597-519A-4B0F-8F04-F2E698E6BF83","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":"Q1080872$0C3BC97C-3078-4148-B868-623F6262339E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7bf23ef18fe656ee82acb4586c7d9adb3e4719","datavalue":{"value":{"entity-type":"item","numeric-id":3217243,"id":"Q3217243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080872$A9B264A9-5CCC-481B-97BF-FA8E40CF7800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f684511ebebb46ad5a879099626b168dbf3b42","datavalue":{"value":{"entity-type":"item","numeric-id":760448,"id":"Q760448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080872$E6853F59-1664-4BBB-A1F1-6AE84B09D460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347b240a884db05fa17b8bb6b4ebaa1d0395d4a1","datavalue":{"value":{"entity-type":"item","numeric-id":3744207,"id":"Q3744207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080872$604374DF-0FA7-4FD2-A7AF-8BE9C3E22BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cca28dce324423330aaa223fdcf4d4f6afc64db","datavalue":{"value":{"entity-type":"item","numeric-id":1124616,"id":"Q1124616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080872$B43611E5-1732-41CD-8FAA-4C7B42F65308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9d5296f40ff82792829067ac9320202d663622","datavalue":{"value":{"entity-type":"item","numeric-id":762182,"id":"Q762182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080872$8BC0B75B-D395-47E8-AAE5-E78CE8880473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79fdb8b0d0445e510d81cbcd07ba41ea7543866f","datavalue":{"value":{"entity-type":"item","numeric-id":802580,"id":"Q802580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080872$04E0B612-CB67-4935-AE2F-5361178D56C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3175efac3d96dbf2a2b1aa301ea2dbc3ac52aca7","datavalue":{"value":{"entity-type":"item","numeric-id":1068861,"id":"Q1068861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080872$12A5A632-29B6-42FD-B2DA-8370602BF302","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b39643f0df99ff3fe0fd1f28de36512a1640d6c3","datavalue":{"value":"https://doi.org/10.1007/bf00403407","type":"string"},"datatype":"url"},"type":"statement","id":"Q1080872$E6DFB179-EF35-456C-84D0-32EE7CB4F88C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9229ba832220ea8cb36b0b43346743ce3e2aa160","datavalue":{"value":"W2059083940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080872$89F59D66-9DCA-4174-9040-580339607BB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0eabbe6e6848bc75c01658fcc6fb9c384ff9a4","datavalue":{"value":{"entity-type":"item","numeric-id":3539342,"id":"Q3539342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b3ae26688a2b78336c094da8ba6c7d74cd60bc","datavalue":{"value":{"amount":"+0.8891058","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":"Q1080872$0DAA4EFB-C8EA-480A-A43E-974DD26C1E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83457745dd172449203253137e6b8ff2f7fe86cd","datavalue":{"value":{"entity-type":"item","numeric-id":1769970,"id":"Q1769970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816c23c633db279296dacecdf711d90fe146d738","datavalue":{"value":{"amount":"+0.8748106","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":"Q1080872$18A01752-18E0-467C-8886-BA381241AEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae6e4d38ebd8fb4445cc469f881e2c46374b0535","datavalue":{"value":{"entity-type":"item","numeric-id":5151835,"id":"Q5151835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797071428181712cab038d914fbcc6ec3c876a3b","datavalue":{"value":{"amount":"+0.86853343","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":"Q1080872$63EAEB75-5B87-422A-8E8D-371DEAEAF53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01da33390aa7df2c5ea1140cdbc1009189298ba","datavalue":{"value":{"entity-type":"item","numeric-id":4722060,"id":"Q4722060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92abcc32b68ac3251eaa2f178a23f5fdb597ac8","datavalue":{"value":{"amount":"+0.8678958","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":"Q1080872$7A1C4C27-CF15-4115-9645-DD1E0A557FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac9c8c78b2196d17378f2e38123dc30e5efb3ee","datavalue":{"value":{"entity-type":"item","numeric-id":4907362,"id":"Q4907362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a483fa65214ca880f6ab672bc0e261985a0b241f","datavalue":{"value":{"amount":"+0.8627213","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":"Q1080872$82874CCF-DD29-4EC7-95E9-FD57E4FF4EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde67ec36ed789a3b76ce9ab6004a8ff99625fe9","datavalue":{"value":{"entity-type":"item","numeric-id":2294548,"id":"Q2294548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e382b39c1101d12ce1aff054d9ea3a460b0aedc","datavalue":{"value":{"amount":"+0.8586532","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":"Q1080872$838FF746-47F6-46E6-ABDC-F07AF6627826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5c6407272248bc24d6ecfea7810873ef2d6b90","datavalue":{"value":{"entity-type":"item","numeric-id":1368659,"id":"Q1368659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8572b6fed2beb7b5853d9262c37b3090124880","datavalue":{"value":{"amount":"+0.85860026","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":"Q1080872$CB2CEFFB-EF06-45E1-894E-142401EBA968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0faab3b378daa50b14f9732e9656858d62e4b937","datavalue":{"value":{"entity-type":"item","numeric-id":4695518,"id":"Q4695518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2850f201296ac86fc9a910741615a805bbcc82","datavalue":{"value":{"amount":"+0.8486701","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":"Q1080872$CD84C405-B52E-4DA1-A2A9-E370A6F768BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a391626799e7875b293b8941077d95281b5fb4","datavalue":{"value":{"entity-type":"item","numeric-id":4918392,"id":"Q4918392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968ba2d1f177e6e5bb77491f348fcbaa7e139d96","datavalue":{"value":{"amount":"+0.84818923","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":"Q1080872$6319EAAF-5FA3-4FEE-B4A9-87484BF95525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf7ed68ee580fe7420d517c12c288ec7ab4b301","datavalue":{"value":{"entity-type":"item","numeric-id":2365087,"id":"Q2365087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43071124598fa9efca9fd2e74ccd815c6fdf0c43","datavalue":{"value":{"amount":"+0.8466807","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":"Q1080872$89A9ADA7-C08E-449E-9CDB-1246BAD51459","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ladders in ordered sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ladders_in_ordered_sets"}}}}}