{"entities":{"Q1092071":{"pageid":1102823,"ns":120,"title":"Item:Q1092071","lastrevid":49083217,"modified":"2026-01-06T13:57:13Z","type":"item","id":"Q1092071","labels":{"en":{"language":"en","value":"Ordered sets with no infinite antichains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4012673"}},"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":"Q1092071$277A3AF8-3B63-4613-9FE9-2E15E6D268BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"816f2f0bef35da76de3e1c84e2c082ddd58b7afb","datavalue":{"value":{"text":"Ordered sets with no infinite antichains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1092071$84008703-F6C8-4012-BD51-E755E9EB937A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c16d1d579de787f67d21f641853d88250a6d9263","datavalue":{"value":"0624.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092071$278793F5-02AC-485E-9260-DA7AD1B20A38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad130083718c500aaefdd524f579dfd381bda587","datavalue":{"value":"10.1016/0012-365X(87)90010-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092071$28002C0E-5357-4C49-878C-86CCBC3D6572","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45c81a7111198acb07e6d5e23fbdff919a2b7fd","datavalue":{"value":{"entity-type":"item","numeric-id":418817,"id":"Q418817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092071$B7282DAF-1E34-4297-B29A-1EC5EA3AC0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7256ce4da28dc118cec51eb3d7cd80467cbfd7d","datavalue":{"value":{"entity-type":"item","numeric-id":1070252,"id":"Q1070252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092071$7096D12B-C425-46E8-B172-F3CEBC13252B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46a3e3c8a24b211e7440a6138147de4bc19693b","datavalue":{"value":{"entity-type":"item","numeric-id":581872,"id":"Q581872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092071$DCA1683C-6BA6-4EAD-8924-8098C88CB812","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":"Q1092071$5797D83E-7BF6-4866-BA7E-022CDC03CD9B","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":"Q1092071$9D49C48A-2B88-42E1-BC38-F3692CE7C355","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a36292d48182c1a79c1c687e23ba55d44e910312","datavalue":{"value":"Some necessary and sufficient conditions are given for an ordered set P to have an infinite antichain. Related results are stated for the set I P of initial segments of P and Id P of ideals in P.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092071$F7267F5C-8D46-49E1-8CD8-40ACDA422830","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092071$47C7B39F-B069-4B45-8AE6-BD224C0A011E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3820ab03eff4f55693a21a2faa86b0a858513447","datavalue":{"value":"4012673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092071$D2C495EC-716D-4BF7-968F-0479D8A8F414","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b4012ccbdab023048a01bfc8f94bd23553d1d4","datavalue":{"value":"ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092071$96709ED0-0AF3-4517-B7BB-120157048112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4b4421a7a5d3d9f3a8a52b5d79cfd29c2769155","datavalue":{"value":"infinite antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092071$631029C9-3802-4A6B-826E-940130A257F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"002d1492e7a86c4a2239a4de6d010ee6cd1f5cdd","datavalue":{"value":"initial segments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092071$3700A155-2798-43B0-BD95-360A9A8D4152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092071$81037071-1A10-4CC3-ACA2-529EF17519AA","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":"Q1092071$253FBA4E-50AC-4809-8E12-706F60BA49FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57261a1ed7fb67b99258cd7e33a361f80a17a5da","datavalue":{"value":{"entity-type":"item","numeric-id":4083724,"id":"Q4083724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092071$ECBC6D92-EF2E-4E7D-A76B-28E54F4F9663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f559535cc14261e30dec646b790f769a094a13","datavalue":{"value":{"entity-type":"item","numeric-id":1155071,"id":"Q1155071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092071$D03C5BA8-0BBF-455B-BF43-1B2FF8C2F482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d969f1a386410447fd997baee9581f135d1e0f","datavalue":{"value":{"entity-type":"item","numeric-id":2652530,"id":"Q2652530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092071$77C66DB9-D0D2-4163-861E-2A02489F5321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990ca0655fbcefb8c6625b1499fe65e43f56d627","datavalue":{"value":{"entity-type":"item","numeric-id":801945,"id":"Q801945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092071$55EB2549-9620-4858-8087-4C0AA8F2D98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4821a50b8e39deda4c25804b4fbb5518d04d9743","datavalue":{"value":{"entity-type":"item","numeric-id":3950595,"id":"Q3950595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092071$F298F18A-258F-4EC8-8960-783D3B0D7244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61583e138fe6362ef26882c31309da0a196fcee","datavalue":{"value":{"entity-type":"item","numeric-id":3726178,"id":"Q3726178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092071$1185782B-1659-4478-B6CA-02DE08741E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eade18537e8626eaa4fce37ee294f3a63e25936","datavalue":{"value":{"entity-type":"item","numeric-id":1066924,"id":"Q1066924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092071$B8228657-A367-4D3E-8A76-4EF4B9C68B29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ef230e95d6b303d071fae86ae06701e2f02c3e3","datavalue":{"value":"https://doi.org/10.1016/0012-365x(87)90010-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1092071$15F68F63-5677-490A-A95B-E8F7722FA150","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67f3f356d818369452f34b16f8f4548b7545ef42","datavalue":{"value":"W1966892474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092071$BC934964-F391-441E-AB62-D4A6A518E6A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6044bb5fb91384c720529f580bccde7e14c80d5","datavalue":{"value":{"entity-type":"item","numeric-id":3718764,"id":"Q3718764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de956bcb7d7ed5a0cd0ca19aa5a9a489159a186a","datavalue":{"value":{"amount":"+0.7678198218345642","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":"Q1092071$C4256B77-944A-4DCB-882B-85EAF0B80057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05174a04dce7081fb40d4049e2cd74626e51d9a5","datavalue":{"value":{"entity-type":"item","numeric-id":762508,"id":"Q762508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6b00ce4e8eb28e46820474c353fbe92b5f55326","datavalue":{"value":{"amount":"+0.7615537643432617","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":"Q1092071$D73D4116-58C0-4D46-8509-8A2B2333F477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fec08e6383011dc7da4723a27836b1490c907cb","datavalue":{"value":{"entity-type":"item","numeric-id":802580,"id":"Q802580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0692c99c2221bc5a4c5d74e2de3958a29105f96","datavalue":{"value":{"amount":"+0.7590193748474121","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":"Q1092071$1FF81C92-3431-4336-BC49-0B0A65242AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9192a1f73f3a72c9f382d49ce95958a42973675","datavalue":{"value":{"entity-type":"item","numeric-id":1205155,"id":"Q1205155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad366fff3a76426551e9ee8632ad420cc552d14b","datavalue":{"value":{"amount":"+0.7393489480018616","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":"Q1092071$EAE9E4AF-0A01-439F-BBFF-1B94F6248AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f573efb1a897203ee759014f08437080096c3880","datavalue":{"value":{"entity-type":"item","numeric-id":3972099,"id":"Q3972099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad366fff3a76426551e9ee8632ad420cc552d14b","datavalue":{"value":{"amount":"+0.7393489480018616","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":"Q1092071$7A436AC6-75E4-493A-AAC4-0E9C02DA4674","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1092071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1092071"}}}}}