{"entities":{"Q423649":{"pageid":425416,"ns":120,"title":"Item:Q423649","lastrevid":61734255,"modified":"2026-04-11T01:18:22Z","type":"item","id":"Q423649","labels":{"en":{"language":"en","value":"Strong convergence in posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6042435"}},"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":"Q423649$69A19BE4-3035-4101-92CA-9EA53352DE0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efdcb2df14fdb2c2d42efcdeac806a16df8d3374","datavalue":{"value":{"text":"Strong convergence in posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q423649$E39D1FF0-4445-4A69-96F4-85A9D3BCF529","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f161acfb2d89e17b11f913065db8f21780d21bf2","datavalue":{"value":"1253.05004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q423649$D7B1B0B2-DF03-43E4-8E32-13D61DF9E90A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5190bf9933ada6bdc9ebf14b43ea2268d943108a","datavalue":{"value":{"entity-type":"item","numeric-id":423648,"id":"Q423648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q423649$580047DE-8A80-4823-B7B7-6F5DB5DF0EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81ab3c92f44f395b025a7c9836ac25b0a0d1756","datavalue":{"value":{"entity-type":"item","numeric-id":178480,"id":"Q178480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q423649$8EC4BE79-966D-47C5-8DEF-8FC10F32539C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q423649$8039553F-270B-4E0B-A65D-C744DB8B9BAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92c180fa33e94556eaf92f133d6647ee587537b6","datavalue":{"value":{"time":"+2012-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q423649$F9207B59-B59C-4B76-B703-EDBAB6B8DFF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af7f290a8253b0e433e3433986a8c409474a78af","datavalue":{"value":"https://arxiv.org/abs/1108.1124","type":"string"},"datatype":"url"},"type":"statement","id":"Q423649$8519A036-DD94-45CC-83AB-CE78AFC28B33","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b87c451333ffe8be0a891baca4abab0fd5c5b5d8","datavalue":{"value":"The following solitaire game is considered. The game is played on a poset \\((P,\\prec)\\) with n elements. The player is handed an arbitrary permutation \\(\\pi=(x_{1},x_{2},\\dots,x_{n})\\) of the elements in \\(P\\). At each round an element may swap positions with a smaller element preceding it. For example, if \\(x_{i}\\prec x_{i+1}\\), then it is allowed to move from \\(\\pi\\) to the permutation \\((x_{1},x_{2},\\dots,x_{i-1},x_{i+1},x_{i},x_{i+2},\\dots,x_{n})\\) of \\(P\\)'s elements. The player is to carry out such steps as long as such swaps are possible. When there are several consecutive pairs of elements that satisfy this condition, the player can choose which pair to swap next. It is shown that the final permutation is uniquely determined by the initial order of \\(P\\)'s elements. The proof works by constructing an appropriate system of invariants.","type":"string"},"datatype":"string"},"type":"statement","id":"Q423649$B48C0743-6D73-4700-AFED-FB13E9AD53DF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c82436212510eb3fd57a05c9debac7e41dff5f00","datavalue":{"value":{"entity-type":"item","numeric-id":226578,"id":"Q226578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q423649$5149F9A1-0B55-4E54-9117-E27CAF982AE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6247f04fad65d359a20e559b3e9499d6219d492e","datavalue":{"value":"05A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q423649$D8231435-8652-48A5-B790-CAC56916AC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b62273aea3375cefac54cd8688def5a3b6704b92","datavalue":{"value":"91A46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q423649$187B0B6A-1AD7-415D-A38E-E77B92840C8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ce6f5bab02244ba1fa9abeeaa22bb2d4e9c5888","datavalue":{"value":"6042435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q423649$A3612DCA-4231-49A2-B0EB-BF903A8A0BE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q423649$4075A3DD-5859-46B9-8FFF-97C44661CF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"244859d95b7a380dfac7460e8bcc3d7a5a499c0d","datavalue":{"value":"strong convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q423649$3B2B0C10-6FF7-4B6E-93AF-900437F02CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a26c619f3c34107172c32ab1d29a17af19378d","datavalue":{"value":"order","type":"string"},"datatype":"string"},"type":"statement","id":"Q423649$654F5D82-C152-43BE-9F74-A3127117F957","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":"Q423649$AC5DAE26-AC6D-4476-B601-5CFEE5A505B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d5fc7dadfe9a3b385994f912b59709d995831a2","datavalue":{"value":"W2049526445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q423649$54CDA096-FB2B-4DFB-AF2B-CD8652453883","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3185966e4b32ef33182e60c243721777086a4eb8","datavalue":{"value":{"entity-type":"item","numeric-id":3199631,"id":"Q3199631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q423649$B5D2052B-497D-43E4-A2CA-E1F15F1D2A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a97eb791b06926f1c2bb032b699c0903f07ce9","datavalue":{"value":{"entity-type":"item","numeric-id":1916058,"id":"Q1916058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q423649$D2A3F4C0-29BC-4AE0-BA27-58B0214A8EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab66808d252c6e9069c85354be2a69d16dfade4","datavalue":{"value":{"entity-type":"item","numeric-id":1812833,"id":"Q1812833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q423649$5D0C5E6B-C5FC-448B-8064-A51BCE51B1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dbd4a93b0fabfd7eb88bd8e0ca72f40b4fba2e","datavalue":{"value":{"entity-type":"item","numeric-id":4236280,"id":"Q4236280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q423649$3B8331F1-5FAC-4CD2-A5B0-46A21350DA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"becbade5ee70d5880743d40745123d93a925414e","datavalue":{"value":{"entity-type":"item","numeric-id":4452853,"id":"Q4452853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q423649$0A7FF894-7B49-4E17-9334-8C3E31E0A289","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c1bc58c1e125102fb4d1e8f9445694f7be28df9","datavalue":{"value":"10.1016/J.JCTA.2012.03.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q423649$EBB1A0B7-138E-4CED-A1F3-7D0DE7203A13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6cfbca56ae7ebb88cb2cf74d5dcd16a8b803f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1917518,"id":"Q1917518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e02f39628416940bcb56f25354d1411cdd14440c","datavalue":{"value":{"amount":"+0.7114574909210205","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":"Q423649$898BF6A5-96D9-4009-91B0-9049017BE013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92589757d2d9948d2a211607a9a0738467b6992b","datavalue":{"value":{"entity-type":"item","numeric-id":4831470,"id":"Q4831470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef42e9affb65725991b37054e456493f4b2815a1","datavalue":{"value":{"amount":"+0.6875630021095276","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":"Q423649$3F8E0419-E3B7-4DF6-86C9-EAD57A32C443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3979bbebf9d7e3734b3172c3ae71b68fdacf93","datavalue":{"value":{"entity-type":"item","numeric-id":1916058,"id":"Q1916058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8864b448fb67900c42c687237d10e665e8d70bc9","datavalue":{"value":{"amount":"+0.6798613667488098","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":"Q423649$F3F7A628-CA29-4970-84DE-A0A9744EC767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09af6aed4bc504e90970dee799f0903469abea1","datavalue":{"value":{"entity-type":"item","numeric-id":880929,"id":"Q880929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d634b34309744686df91daf6d440e802509eaeb","datavalue":{"value":{"amount":"+0.6750722527503967","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":"Q423649$037DFD77-90D1-4518-BC6D-B90501171867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069dda862af728b0f6ae978b761220c635871f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3977426,"id":"Q3977426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd0f6fabb85b820a501368595237fd07380dcc6","datavalue":{"value":{"amount":"+0.6750103831291199","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":"Q423649$56178DBC-2DA2-472C-825B-98C2CF206001","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong convergence in posets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_convergence_in_posets"}}}}}