{"entities":{"Q1756107":{"pageid":1766849,"ns":120,"title":"Item:Q1756107","lastrevid":68884977,"modified":"2026-04-13T02:53:16Z","type":"item","id":"Q1756107","labels":{"en":{"language":"en","value":"A counterexample regarding labelled well-quasi-ordering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7000698"}},"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":"Q1756107$CED7A3C4-0EA7-4AD4-895C-E78B15C5EA32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1b21dbcacaa0694a894ea6c743d7af2d66ad0e8","datavalue":{"value":{"text":"A counterexample regarding labelled well-quasi-ordering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1756107$930E82BA-7EB8-4D44-971A-ACE8C396F5E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79aa56056ccea90e59b067639c6e2e3bf216b83f","datavalue":{"value":"1402.05182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756107$7CEF15F7-59CE-46B8-886E-703D8B2F6315","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f229b816796d9ca8ffe67db520ae0d929693ef0c","datavalue":{"value":{"entity-type":"item","numeric-id":353404,"id":"Q353404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$18CB127C-3A84-49D2-BD1D-E4C5527D553A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c53a1d54cca9d6cc0dfa1869a70c3562d65c059","datavalue":{"value":{"entity-type":"item","numeric-id":778708,"id":"Q778708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$C23E069A-6E51-4734-BB25-AD22B902E2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6615459891029f8f13462d489f8a58728de75214","datavalue":{"value":{"entity-type":"item","numeric-id":696812,"id":"Q696812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$0075803C-CC37-40B8-8789-B00B288D58CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62093226388c211ee4d5286124caf1fbc8b86437","datavalue":{"value":{"entity-type":"item","numeric-id":185060,"id":"Q185060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$EF765443-176E-42C6-A75D-D23D57248368","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0a1786c627d23fd7437b6a14326c56be749770","datavalue":{"value":{"time":"+2019-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1756107$F06327C4-8B40-49B7-BAF7-A287D1054988","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e91e243ca7fb4aa265ae15dbb060bd8bc1aacff7","datavalue":{"value":"https://arxiv.org/abs/1709.10042","type":"string"},"datatype":"url"},"type":"statement","id":"Q1756107$517080B4-9C8B-447E-9646-CDF4817786ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf75532d01b6a62e99968f172ac76b8bfa00b133","datavalue":{"value":"http://oro.open.ac.uk/56865/1/lwqo.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1756107$04C30C02-07D9-41A0-A58E-64D191C4C150","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5333d0205ccf54f8482367bfadbaa8f4afc5f8fb","datavalue":{"value":"05C78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756107$59738ED2-8409-49C9-A7C9-298B1D6F77C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17d0a371eb2562e9aa13f2c100257440a89d26f1","datavalue":{"value":"7000698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756107$EB8B106A-9992-4C7E-AF69-2A6989DD683C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"788f58ac193d20cb631d2066f825b0b233d8fbd8","datavalue":{"value":"labelled well-quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756107$BE424BFA-0AE3-400E-9C83-EB07E55C58BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cba4f4e6b1d6add40394622cbe47bbb0afecf1c","datavalue":{"value":"permutation graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756107$5F6F477E-6B94-4B0B-B1B0-11309FCEC5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfd722232c4f35da3a742b7dd0939e8297df61c","datavalue":{"value":"well-quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756107$020AF0F6-FC63-415B-89FB-F19CC413B430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc02390690df346b21a923af39a5eadff20bebd1","datavalue":{"value":"widdershins spiral","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756107$394C157A-7340-4ECD-AFD4-A4030C8F7ADA","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":"Q1756107$1598A7DC-440A-4491-8EE2-E3D93C5FDA49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09dca9a47b4771e0f49f386262b83954d2d7c8e5","datavalue":{"value":"W2964181817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756107$2A10C31B-22E6-45B8-A427-73688C02389D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d0081385d7c9dcb06ec9160cd2c9bc102d485a80","datavalue":{"value":"Q124846948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756107$723A4FAB-2753-4CC9-9AE3-CDFAD729336C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"995af24a0cf73379b7d1d1a525ba34bbb6910fdf","datavalue":{"value":{"entity-type":"item","numeric-id":5906401,"id":"Q5906401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$C642C321-ECF9-4143-AA34-DF975CD4A4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8eacd60ab0be36380287d6bedf75eb7edb544fe","datavalue":{"value":{"entity-type":"item","numeric-id":2661217,"id":"Q2661217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$8078B37E-A69B-4693-B424-C5C4C7C3A598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfce96e7e934070789517e6396d8940c1e3c186a","datavalue":{"value":{"entity-type":"item","numeric-id":890007,"id":"Q890007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$D466512A-F7EE-42B3-8320-993579BB3C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb1c9d1ab47b8d49a5acf51a669f3b9db5279ed","datavalue":{"value":{"entity-type":"item","numeric-id":3911404,"id":"Q3911404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$D9E0491A-9346-46AD-9B8F-94B0652C0FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf78ede0e2318febc38db891fd8e9d4a6b50056","datavalue":{"value":{"entity-type":"item","numeric-id":1063046,"id":"Q1063046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$B08DE911-B8D1-4113-BE09-0E5CDB9BFF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ba439f1813ee045229b0e6e83c630cba997c61","datavalue":{"value":{"entity-type":"item","numeric-id":293263,"id":"Q293263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$85520874-6266-41A1-BE37-527C0A2126A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282d88b529308441c287f6c692de7afeae122bdc","datavalue":{"value":{"entity-type":"item","numeric-id":4243764,"id":"Q4243764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$7DBB5240-A4D4-466C-98AE-0386B68E8D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38113b11767aee6aa600ae0c043f6965cd1f5ff3","datavalue":{"value":{"entity-type":"item","numeric-id":2377669,"id":"Q2377669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$D29CBFED-C676-481A-B329-C43A074A5D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a11d0e272613ca08a3b8f424c24cada97e122a76","datavalue":{"value":{"entity-type":"item","numeric-id":603891,"id":"Q603891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$E75DAE9A-D4EC-4AE9-AD41-A82CD8C7DB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba55eceec9b0099a0d50d8fd4afdfde5cf5d769b","datavalue":{"value":{"entity-type":"item","numeric-id":5752616,"id":"Q5752616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$E2489CCA-177A-429B-A26D-3045AD1E38CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8add4627ebed45e331231c9fcb96d24b9b77ef2d","datavalue":{"value":{"entity-type":"item","numeric-id":4193514,"id":"Q4193514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$245066A6-5485-4752-8AFC-B2ED5EAC09E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec42de461c1582955ef3cc06e7e24190149f7b61","datavalue":{"value":{"entity-type":"item","numeric-id":4101862,"id":"Q4101862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$E4445EF7-3DDA-4DEA-85A7-741DCCE1117C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8539d1fcf3cff5fbb08dd6973662b887ad57892","datavalue":{"value":{"entity-type":"item","numeric-id":5534028,"id":"Q5534028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$81F3A064-68AD-4B39-8469-F13089861DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$F1825C24-F4DE-4949-9725-B980F38CCA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267beae52a719d7b248b4874de2a053946dc5d1c","datavalue":{"value":{"entity-type":"item","numeric-id":3179078,"id":"Q3179078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$179ECA3D-3ABE-48FB-89B2-241F8A7381C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834802952c6801fd1a4dfbd3de5dc6f4369cb8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2014716,"id":"Q2014716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$6CDCB87F-FE4C-4836-9E01-30E2BC518304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"419c5e8cc0ca9f2285d867525bd8cc96bceabaef","datavalue":{"value":{"entity-type":"item","numeric-id":382896,"id":"Q382896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$C557910A-37AE-47AE-9FED-36463CB8A530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0f4ad021673248c27451b22c4375e8bc812f85","datavalue":{"value":{"entity-type":"item","numeric-id":5668845,"id":"Q5668845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$002ED1B6-2B92-489E-9670-F49BE6C2DD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7489661d0c92ad040adf8d2140d5b6efc776b644","datavalue":{"value":{"entity-type":"item","numeric-id":1055450,"id":"Q1055450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$212C5057-C3D8-465D-9837-4EB3E31F7C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bef75a25531a5a884f26f68336bbd88bee1fca9","datavalue":{"value":{"entity-type":"item","numeric-id":1336669,"id":"Q1336669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$DA81211D-EAB7-448B-8DE4-A2F32C0317E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c54ada89cd5e84655a1aef4738bf155bd128e4b6","datavalue":{"value":{"entity-type":"item","numeric-id":2949156,"id":"Q2949156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756107$1607A75B-5CC3-45B3-922B-5EFF94CB1E42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab28d0fd6c2d185a12a873f71bc1a9043ad84d5c","datavalue":{"value":"10.1007/S00373-018-1962-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756107$C992BE64-CCF0-4B5C-9443-4F9956F5D600","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d083920c0f6ce676fe90745cb6dcc4640f9f804c","datavalue":{"value":{"entity-type":"item","numeric-id":890007,"id":"Q890007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12574cbd16e99dfe8b63fc77b3dc28692e442906","datavalue":{"value":{"amount":"+0.8428229689598083","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":"Q1756107$36B16B3A-320C-48EF-930C-17A09F93F71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e3c806c0810f284fd2711990604a45f738e5e3","datavalue":{"value":{"entity-type":"item","numeric-id":1745730,"id":"Q1745730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f702820f885e0bbe02b2b1e97eb283a859f140","datavalue":{"value":{"amount":"+0.7711633443832397","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":"Q1756107$829FFBB3-0B1C-45DA-B4B0-F1005EFB1D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e25ccd680c43364e4d995cc2a0e8966d8824190","datavalue":{"value":{"entity-type":"item","numeric-id":5051473,"id":"Q5051473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54307fe536040d04f13e3540fdd2f932b349e5be","datavalue":{"value":{"amount":"+0.7643546462059021","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":"Q1756107$7CF5FA17-AD5F-4C47-B3CA-AE9694F021B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57ea5855435c569f8a713e4cf752e709283874c","datavalue":{"value":{"entity-type":"item","numeric-id":2275404,"id":"Q2275404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9c548b277816f275dfb77bdbd85e0db458083c","datavalue":{"value":{"amount":"+0.7630175352096558","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":"Q1756107$5C28C41E-3C44-4F51-8458-BFDFCE5F55AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5746350544d751fb3576b39a4266ea9c3dc821","datavalue":{"value":{"entity-type":"item","numeric-id":2827822,"id":"Q2827822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe6a472ca943da504bfa98eff8c944df0091112","datavalue":{"value":{"amount":"+0.753952145576477","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":"Q1756107$71405865-DA0D-49F4-9830-38956B2CB6E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A counterexample regarding labelled well-quasi-ordering","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_counterexample_regarding_labelled_well-quasi-ordering"}}}}}