{"entities":{"Q1006603":{"pageid":1008451,"ns":120,"title":"Item:Q1006603","lastrevid":77729156,"modified":"2026-05-06T09:56:28Z","type":"item","id":"Q1006603","labels":{"en":{"language":"en","value":"Exact unprovability results for compound well-quasi-ordered combinatorial classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532830"}},"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":"Q1006603$1DE18FA7-BAE2-4494-AF37-F78486A688D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"562249509f52c9bfae72109a29146dc635086ef0","datavalue":{"value":{"text":"Exact unprovability results for compound well-quasi-ordered combinatorial classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006603$4A05BEE2-5E14-490C-AB71-6AB4C4074805","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5866048ee8513b4dbeb2162e843a0a75a8f0557e","datavalue":{"value":"1159.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006603$10CB8822-612E-4482-A8CA-AC77880E657B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d825a0556f8004e1c17977524a9ab4042f7770d","datavalue":{"value":{"entity-type":"item","numeric-id":638482,"id":"Q638482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006603$CD0671B0-0C2C-45AA-B8EF-FE8E12AB7AC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006603$7B10046B-0E9A-4AFC-B1F7-CBC3D1AB4EA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f17d548f42efb27321ed2d9ca45a732b10fcb2c","datavalue":{"value":{"time":"+2009-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006603$43F93952-0EE1-48B6-8237-1147D1EB46AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006603$9C78E087-3752-43EF-80F3-F871FCDDA1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006603$137340D5-4DA0-4FA6-87AF-F0E949E120FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c20db64302439576b71f57cdd3320293e01a0796","datavalue":{"value":"5532830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006603$487616E0-5A5A-48AA-9EC2-1060F70908B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c318c66224f6ea8cef7994edf3cf73302c30df24","datavalue":{"value":"unprovable combinatorial statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006603$5AE8F467-DB98-4AD8-9833-3E5C158FACD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe15387a627c557a318be436024c2ac3f2f086b4","datavalue":{"value":"well-partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006603$8AF54214-5F50-495D-BDDF-AA049F2ED92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87f073fd7f262a0ff46fdf249f98670b48d31897","datavalue":{"value":"Kruskal's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006603$7D8BB0D3-039A-4E07-B298-77B585C07AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d091ad925d16b6c049875d57cc9fc1ad004d88","datavalue":{"value":"Friedman's finite Kruskal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006603$B32120B9-6921-44BD-9590-5EFCF7A8C902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a03b2eade7881da3c819162de3e31d0e0792cca","datavalue":{"value":"Weiermann's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006603$D38D9A67-95C5-4C0D-9557-274F7836A94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f28aba1e905e47099a3ff891975fa94eb93e32d","datavalue":{"value":"unprovability threshold","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006603$E5BFE1AD-5663-40A1-9F2D-E07848F227E5","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":"Q1006603$29879696-D4C2-4E10-8D02-548C1B0B4164","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b3e6f7b3a491710eec38a85cadaad119a0801ec","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.09.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006603$50CF3AB1-8CA1-4AEA-B097-C0284981469A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b27a0ad835de3e93cdb271f6459a33d6fabc1c3","datavalue":{"value":"W2080211289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006603$CE9AB318-9B08-4BF8-B66C-672F4D011247","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b8ca40d396437875792e7f7e5f4544d41cd59f","datavalue":{"value":{"entity-type":"item","numeric-id":4386297,"id":"Q4386297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006603$033A50C7-0866-4B0D-BA21-5DD95E8E59E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab8ba5ad82b9fd9e70f4f6e59d5e26aa6fdf3f7","datavalue":{"value":{"entity-type":"item","numeric-id":3773882,"id":"Q3773882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006603$F6237C78-10DA-45B3-A7F1-4BFB6C60471B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff90b53746deaf40f0bd975035788d645dc76ab","datavalue":{"value":{"entity-type":"item","numeric-id":5682013,"id":"Q5682013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006603$C8D5473A-6224-4C03-9564-F1CF58970356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d615a3f8788a2afa41d61f9d82bfdfb812e36172","datavalue":{"value":{"entity-type":"item","numeric-id":5696111,"id":"Q5696111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006603$DFB61A17-57D3-4526-BAE0-9AA333AB7375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a850017ad2ef12a3d5956315d33040ec377b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3772200,"id":"Q3772200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006603$0AB9D537-BF2B-49C8-A9A3-C04BF002850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d238f90d4821fe662aab969829820165dd66123a","datavalue":{"value":{"entity-type":"item","numeric-id":2498744,"id":"Q2498744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006603$01DD6B53-5E4E-4C6C-9E1C-47FDB0ABA077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c17e9582b013897935f16395d052797859e581","datavalue":{"value":{"entity-type":"item","numeric-id":2647861,"id":"Q2647861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006603$600E5452-8EE4-48D5-BB67-9DA26820B9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397fa3138e19e2c144f218b0780686208522c5ef","datavalue":{"value":{"entity-type":"item","numeric-id":4457723,"id":"Q4457723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006603$46D5A456-246B-4271-8D54-A74ACA847DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21dc6ce513ca0314b1f49510aca046082c48f16","datavalue":{"value":{"entity-type":"item","numeric-id":4433096,"id":"Q4433096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006603$5DB2A6E5-09EA-4CA1-A711-748E5169B25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6589dab2098317a0226002cc00aad65e7fab6c0","datavalue":{"value":{"entity-type":"item","numeric-id":3423145,"id":"Q3423145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006603$E3408FD9-2FC2-4DD2-BFC7-1EA733D5D246","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8db20f8ddae81e809d5de11f4f1b158c1a68caf8","datavalue":{"value":"10.1016/J.APAL.2008.09.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006603$C23CF0BF-294F-4674-B65F-925319EA1612","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6923f4b317ce126ec75cd0759d00ec6fe38c952","datavalue":{"value":{"entity-type":"item","numeric-id":1201266,"id":"Q1201266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49fe2e0763f2f5c7871e3c5140777253c9436d7a","datavalue":{"value":{"amount":"+0.7390830516815186","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":"Q1006603$AA02F6BE-3237-4519-ADEE-B43FFD54EECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1c3be3ea8e861be3e75b3787c993d2caf96c30","datavalue":{"value":{"entity-type":"item","numeric-id":3375872,"id":"Q3375872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a7572a55336b9b5c3793a6d7d8e328048744fc5","datavalue":{"value":{"amount":"+0.7275838255882263","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":"Q1006603$77F1F09D-56C1-4AD0-9C15-66246B00D3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed30cde13b065ddfb8397d017a8309a1299135b8","datavalue":{"value":{"entity-type":"item","numeric-id":3772201,"id":"Q3772201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f55eeb801d81b5503052daa33e0645c66676d7","datavalue":{"value":{"amount":"+0.72015780210495","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":"Q1006603$C4882AA0-E740-43F7-9D4A-36BC582050FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e9bd52f5a62ba716b351072f66f6147c194c72","datavalue":{"value":{"entity-type":"item","numeric-id":2959916,"id":"Q2959916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122fbf19bf7497b66e7d8fa0ae992ca7ecbf6ebd","datavalue":{"value":{"amount":"+0.7156765460968018","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":"Q1006603$279E6ACB-427F-40CD-9B86-778ACB48F3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d5f4f628aa178173b1d25610811c99ccf039c1","datavalue":{"value":{"entity-type":"item","numeric-id":1803588,"id":"Q1803588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5447cc34fae5f4bc610ab827bd5c56a009994aba","datavalue":{"value":{"amount":"+0.7080146670341492","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":"Q1006603$2D7392EF-49E4-48A0-B5FF-16978F0C75F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact unprovability results for compound well-quasi-ordered combinatorial classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exact_unprovability_results_for_compound_well-quasi-ordered_combinatorial_classes"}}}}}