{"entities":{"Q870020":{"pageid":871868,"ns":120,"title":"Item:Q870020","lastrevid":64970043,"modified":"2026-04-11T23:26:46Z","type":"item","id":"Q870020","labels":{"en":{"language":"en","value":"From well-quasi-ordered sets to better-quasi-ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5132814"}},"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":"Q870020$1A40039A-D5A8-4570-82A6-6796F3582D63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b101aa4cbf11d005613935710f8d26f3a7ec525a","datavalue":{"value":{"text":"From well-quasi-ordered sets to better-quasi-ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q870020$6F549A04-BE97-49D3-A54F-8A948A822009","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d3ef92ffaff6de1c6fb4f362cf5bda2f83133dd","datavalue":{"value":"1110.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870020$621967FC-122F-4BB8-95E2-56F7A1A3359F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e0030acd98cbe4786cbae362aba391b5681a10","datavalue":{"value":{"entity-type":"item","numeric-id":186055,"id":"Q186055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870020$2BA66216-53AD-4F37-A9EB-DC990C64B7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ebff99eeb8491a02d6db5829740ad7a4f4e4bd0","datavalue":{"value":{"entity-type":"item","numeric-id":532123,"id":"Q532123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870020$6804A479-B935-4E18-8587-8F33183AEED5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870020$3AACB0EB-A4A2-4515-828C-5604E15F540B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39eed756ef4774638f5dc70a5b404d4f34900328","datavalue":{"value":{"time":"+2007-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q870020$F2F509B8-BF23-4859-B562-A44991073D1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa5fd733f3f2727ed6b6f701b7eaaac62fa1a7a1","datavalue":{"value":"https://arxiv.org/abs/math/0601119","type":"string"},"datatype":"url"},"type":"statement","id":"Q870020$38821C01-D62E-4B7F-B97A-E19FC80D10D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f843944ade45a99254760c047c7ccc8dd6556d6f","datavalue":{"value":"https://eudml.org/doc/127214","type":"string"},"datatype":"url"},"type":"statement","id":"Q870020$4735BF6C-D3AE-469D-B4AE-0A6E5050ED50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"104735ab08de4eee1ad4841fd42bff8fc9f074ce","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_13/Abstracts/v13i1r101.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q870020$B08D08B0-AA8B-4100-A503-A402BCCCC562","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"06a8df0c14b212ed6160bfe88d64076e844955e0","datavalue":{"value":"Summary: We consider conditions which force a well-quasi-ordered poset (wqo) to be better-quasi-ordered (bqo). In particular we obtain that if a poset \\(P\\) is wqo and the set \\(S_{\\omega}(P)\\) of strictly increasing sequences of elements of \\(P\\) is bqo under domination, then \\(P\\) is bqo. As a consequence, we get the same conclusion if \\(S_{\\omega} (P)\\) is replaced by \\({\\mathcal J}^{\\neg \\downarrow}(P)\\), the collection of non-principal ideals of \\(P\\), or by \\(\\text{AM}(P)\\), the collection of maximal antichains of \\(P\\) ordered by domination. It then follows that an interval order which is wqo is in fact bqo.","type":"string"},"datatype":"string"},"type":"statement","id":"Q870020$F89764F1-FB7D-4565-92A6-6F91F839E3B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870020$5A4FEF0E-FB6C-4FC3-8886-837C8B55F0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870020$3C42CFF4-950D-419A-9895-23AC176914F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d657c35aaa3d0986175d41d2578a0a9af0a9b15","datavalue":{"value":"5132814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870020$7CC82CF2-D631-487E-89FF-882DE50FB42F","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":"Q870020$A593D9D2-94F1-405D-B213-5453258BAAEC","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"9f9ae68a7684e7af07d73dbc492c4d73af8f0b1b","datavalue":{"value":"bafkreicobgpifxj63xkypvlxwxhyb6gmj5rerl35kncplxyw4bss5yzryi","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870020$A0FEBC54-6EBF-4FF1-AC58-B57711521927","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a759d557ab96a0b572dc4cf5b93fb60698f015e2","datavalue":{"value":{"entity-type":"item","numeric-id":3295144,"id":"Q3295144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d90593eff6df6333a8e033fe31850a8ab200c5","datavalue":{"value":{"amount":"+0.8599181175231934","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":"Q870020$9B14763F-22E4-45DB-BF94-D0E2A0A12FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f43894e5beae82546c070dd12916480b9452bd","datavalue":{"value":{"entity-type":"item","numeric-id":3691785,"id":"Q3691785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb8c0e8043a8991f432d1d48d8cc31688c58202","datavalue":{"value":{"amount":"+0.8154456615447998","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":"Q870020$973F3E83-7BEC-483D-8E98-7CC59007BB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7215960e636e65adfc9cb77f389b6d5279622adb","datavalue":{"value":{"entity-type":"item","numeric-id":2412926,"id":"Q2412926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49dcad312b80d50918c801506e8e25bc690f0cf","datavalue":{"value":{"amount":"+0.8071879744529724","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":"Q870020$59568930-1940-4C4A-BB5F-EE46941AB11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5997ac4c2ca1f4f0847d91e5d000164c17a8c1dd","datavalue":{"value":{"entity-type":"item","numeric-id":4316958,"id":"Q4316958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89e123c38539f0c7762764ba9cd077a40d946dd","datavalue":{"value":{"amount":"+0.8051474094390869","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":"Q870020$76DA0D70-3276-4572-900B-7C42B5001760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ab39a622c9b9688b8edf75a5405489962af878","datavalue":{"value":{"entity-type":"item","numeric-id":1120606,"id":"Q1120606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89e123c38539f0c7762764ba9cd077a40d946dd","datavalue":{"value":{"amount":"+0.8051474094390869","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":"Q870020$3976B2F3-A04F-4E21-B817-9082D54DF6B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From well-quasi-ordered sets to better-quasi-ordered sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_well-quasi-ordered_sets_to_better-quasi-ordered_sets"}}}}}