{"entities":{"Q1093655":{"pageid":1104407,"ns":120,"title":"Item:Q1093655","lastrevid":66953133,"modified":"2026-04-12T13:57:02Z","type":"item","id":"Q1093655","labels":{"en":{"language":"en","value":"A note on Dilworth's theorem in the infinite case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4023343"}},"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":"Q1093655$749EF290-2E9C-4DE8-9928-38CFB7C3DD73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c7d1aba9999b0df5f4daabe08679ffc7e6e35cf","datavalue":{"value":{"text":"A note on Dilworth's theorem in the infinite case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1093655$20E8394F-7BA6-417D-9B64-7236E4DE31A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abeacf2916046107416222517c985f400aec4b7c","datavalue":{"value":"0629.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093655$CEC1CFB1-3F42-4EA0-975B-0BB07438D3AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"087c350f0c4a6696af5fa1a605ab23e2b8fa2167","datavalue":{"value":"10.1007/BF00337691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093655$AD6EFC89-72B2-4B7D-A96E-BC343C3F8C5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd3a8a0ef7c0c8d4c0d1181c361db30c054bb33e","datavalue":{"value":{"entity-type":"item","numeric-id":193710,"id":"Q193710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093655$EE956269-6262-4F6E-9869-AD44BDA8076D","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":"Q1093655$7C82A987-8841-4BEF-8F69-91E9AACB0756","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":"Q1093655$D8FD3BCF-B600-4915-80CD-4BEA7EACB640","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"64d98a4db4a8361b52e59dedb55417a1d7d6fcee","datavalue":{"value":"The interesting work done in this paper was inspired by the following theorem of Dilworth: if every antichain in a poset has size \\(\\leq k\\) (k is finite), then the poset is the union of at most k chains. The main result of this paper: if P is a poset and every antichain is finite (without assumption of existence of a finite bound on the size of the antichains), and if the length of the well-founded poset of antichains is less than \\(\\omega^ 2_ 1\\), then P is the union of countably many chains.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093655$58499AA2-AB28-4EE6-A179-151641F0381F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093655$5347D36B-84CD-4720-BCC7-48AC86213866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093655$52745C3A-20C1-41E0-961D-5478F2A3097A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"704aad644606c9b6c2f63a721f62d09c7fa1fac7","datavalue":{"value":"4023343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093655$A996572B-7AEB-4F78-903D-B0D3A09C8717","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ec7981da20d93cd1905244f771d2c2c33a0b4b7","datavalue":{"value":"theorem of Dilworth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093655$6B7457FD-0DFC-438B-BAD4-C0A681A0EB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aa90b1ff0982ab5d5fab48275d3f9dc7c1839ee","datavalue":{"value":"length","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093655$7A28AAC6-BA96-45F2-92FB-0EDDCD9C0891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9a8c5be9dda1e6956abfe0395df50117b12f367","datavalue":{"value":"well-founded poset of antichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093655$69E86578-3B36-4F2B-BFE8-4D3C701BBB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a76925fe7fb373ecc6149be799f5a7c44f2da0f","datavalue":{"value":"union of countably many chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093655$2C7B0498-D8F5-489C-A7F6-5DD7D9C7DC4F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55cce125d2b50c23768a94700ce957231de3a61f","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093655$9028B2D1-7A84-4BDA-8C5E-09F8C5E4AFE3","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":"Q1093655$936CEB76-93DF-439B-9D4F-6AFC7D369036","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"206729c9432a45cb7a8dbcb0b7de6a24ea69223a","datavalue":{"value":{"entity-type":"item","numeric-id":5838532,"id":"Q5838532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093655$FD15DF91-9EAC-4FED-8203-929194DBCB9F","rank":"normal"},{"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":"Q1093655$007582B8-7A51-490B-88FE-BA1CC18542EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04655507cfa3b8351f7f0657e6f8472d4b8b19a3","datavalue":{"value":{"entity-type":"item","numeric-id":5780132,"id":"Q5780132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093655$61315B5E-FF01-41F6-B4BD-20C96C6ED305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093655$7FE80AD6-C571-4174-A432-46FBF499C892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19ff6b20c91f778b9d7e396bcf5aec1b6d93bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4749876,"id":"Q4749876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093655$AC460453-1000-4034-ADAB-5A8EA3865AE7","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":"Q1093655$20383413-63C1-4349-B516-5FFF0431F3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4b2c7186dfc80f12b510941e7532e3861a4aa2","datavalue":{"value":{"entity-type":"item","numeric-id":2625478,"id":"Q2625478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093655$1F09C396-3859-45A1-8723-4C3AF67B2A15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987981bb45d333aec9422e99c2117a59ceff3a77","datavalue":{"value":{"entity-type":"item","numeric-id":1207720,"id":"Q1207720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3f40bfc7e44c851247f8aec4a59bc28ce46508","datavalue":{"value":{"amount":"+0.7917630672454834","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":"Q1093655$A525ED99-3FFC-4D0F-909D-994DCBED729C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63315db4520dd3f864a269c22f3c7dd186deb7b","datavalue":{"value":{"entity-type":"item","numeric-id":3765826,"id":"Q3765826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcca2b6186b3af05e7a94c403681f8a0550a6338","datavalue":{"value":{"amount":"+0.7882055044174194","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":"Q1093655$FDE8C2E3-D43F-4973-8D41-00947604F2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cecdc64cef5d9754f53aa8160e0dc3e29f024b61","datavalue":{"value":{"entity-type":"item","numeric-id":1252854,"id":"Q1252854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57456fb646e58f0e698016031ffc362d35ed462","datavalue":{"value":{"amount":"+0.7864419221878052","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":"Q1093655$2FC702AD-8A7D-479B-8720-FC696A3B511B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67d52a01e438504ac446c670a92e9bcdec20fe1","datavalue":{"value":{"entity-type":"item","numeric-id":1109796,"id":"Q1109796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb6ab3804dd995988b9cea8724c4188f37c7ac3","datavalue":{"value":{"amount":"+0.7813591361045837","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":"Q1093655$AB2A31B4-0C38-40E5-8A9C-84E431D49173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a16dbbbcdde2e70d2434dcc7be78dcd5e9e654","datavalue":{"value":{"entity-type":"item","numeric-id":2338588,"id":"Q2338588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676941cf67c70fab5d6df6bd969a84403ae8b2a2","datavalue":{"value":{"amount":"+0.7755675315856934","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":"Q1093655$9F23FDFE-01E0-495E-BFCF-1B64CDF5BA84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on Dilworth's theorem in the infinite case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_Dilworth%27s_theorem_in_the_infinite_case"}}}}}