{"entities":{"Q1201266":{"pageid":1212015,"ns":120,"title":"Item:Q1201266","lastrevid":66861747,"modified":"2026-04-12T13:21:39Z","type":"item","id":"Q1201266","labels":{"en":{"language":"en","value":"Unprovable combinatorial statements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 97513"}},"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":"Q1201266$3C215720-0BB6-4565-BAB1-97B0CA857DD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ada61968760443b77e53073af7934460b624ac9","datavalue":{"value":{"text":"Unprovable combinatorial statements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1201266$CB297DF0-7E89-4399-8F4E-B07D8DC6DA13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffbd0f412a50e890f98cabbc324906067e987f9b","datavalue":{"value":"0763.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201266$BFC81034-9628-4091-857D-6AF2FF963298","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e7e7ce95a699873af07595b3e53e682c1700a66","datavalue":{"value":"10.1016/0012-365X(92)90686-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201266$33398654-7E9B-4A4B-A4C4-B8ED94A77374","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":"Q1201266$2530EDEF-C1C4-4259-9D52-6279238CE697","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1201266$6BD460CF-25E7-4EC9-BAE5-4864A1F95D12","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bc83db0ebc9aec354d85704dc5f53fee3dc08c7a","datavalue":{"value":"Via an inequality between two families of canonical functions, some unprovability theorems (on Kruskal's theorem, on Goodstein sequences and on the Hydra game) are reduced to Wainer's theorem, i.e., that the totality of a sufficiently fast growing function cannot be proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201266$9BFD4077-ABE2-4119-A605-56D8F31FC394","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201266$A00FD305-D60A-4A69-9E90-3A16B522DD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201266$42807738-53A2-47B6-BCBC-BDA1250A8B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201266$DA128B7B-B190-4E7F-A93A-19BD13CAB0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab8eef56e70f4344928a6ab2df1e044698959c62","datavalue":{"value":"11B83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201266$3A58F1D7-D2B8-4B79-B9ED-4F17FE6DDCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201266$9DBAF0D9-CE5E-403C-B514-A38E21F7918B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201266$52A2BFC1-8901-4213-86E1-2BD60C5324DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29eb99d16cc68437dc7e4dc1c93480a65cf195d9","datavalue":{"value":"97513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201266$42AF6F3A-7C14-4FF9-8C52-732E3EAC0AA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da35757a3636984bd1cf7ecb8270a39f80dbff3e","datavalue":{"value":"unprovable combinatorial statements in Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201266$41682C24-6FCD-4C99-8D21-DD578B4C8C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2107b3d3a640e8250d758359e3d45a03de5b3002","datavalue":{"value":"fast growing function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201266$6E3394CA-24D3-442A-BFDC-48A9ED6CACCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4cb1ac7b9b5d3abab510302311a9c6ed936475c","datavalue":{"value":"finite Ramsey theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201266$FC305D65-1E0A-4656-A7B5-16521819B4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d71e576907ce939af27f3da1abc75e3ea584d","datavalue":{"value":"unprovability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201266$756B41B7-F9B3-4034-9E72-D7337745DF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87f073fd7f262a0ff46fdf249f98670b48d31897","datavalue":{"value":"Kruskal's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201266$630F3222-BF44-47AD-B532-DEFFD75B6E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c5cd3f3b3b585e0f634a32385ea3742910a20c","datavalue":{"value":"Goodstein sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201266$4C983C42-8E39-404F-918F-78A31AC52625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0960b06af32df14047fa5de71b91bd5b68c1526c","datavalue":{"value":"Hydra game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201266$88827EF1-2E6A-46BB-99FF-3F87946A951A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c08fe0acd0e006ce2dbdc51bd85acd251440adb","datavalue":{"value":"Wainer's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201266$0524396F-F987-4C36-88EF-C5727ABB74BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e288ae08772fffcadfa65aedce51f2b962364fd","datavalue":{"value":{"entity-type":"item","numeric-id":185366,"id":"Q185366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201266$335D1B5E-29E4-4D4A-ACBF-BC0EEAFB4022","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"826db22c8ad0fdc537525e95eba03f39da931f90","datavalue":{"value":{"entity-type":"item","numeric-id":178041,"id":"Q178041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201266$9AC8D7AA-834C-465D-802C-6AEAA49E0127","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":"Q1201266$C04BDC88-BB18-4B96-9488-0212F42231CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4069fc99cb46e4a17e82773855cf96a50af6be28","datavalue":{"value":{"entity-type":"item","numeric-id":4750638,"id":"Q4750638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201266$6B844AAC-8117-4F7C-9551-BF1FF0964B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bcaacfea2aa87458e1d3c1aa5260e6875d0121","datavalue":{"value":{"entity-type":"item","numeric-id":5834329,"id":"Q5834329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201266$53544419-40B6-4613-BDB4-87E95F2A250B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e243aafa636ab09d990564f754a991e6ab8e8228","datavalue":{"value":{"entity-type":"item","numeric-id":1168967,"id":"Q1168967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201266$F7EC7438-3287-400F-9548-6A32DA68C137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201266$9D5D1D98-A544-4F33-B4F4-B97A326726F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201266$E206BE5D-C4BB-49AE-96A3-EB0C85A42FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ea384c12033d7fd3070fc35e6148a3aebdcb62","datavalue":{"value":{"entity-type":"item","numeric-id":3680651,"id":"Q3680651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201266$88628C70-F49D-4C4A-A761-35C394FD4FC6","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":"Q1201266$DC954483-DFF9-4635-93D6-FA68D68B2DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04daa82016df263abb08357149c78924ca49a740","datavalue":{"value":{"entity-type":"item","numeric-id":4031465,"id":"Q4031465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201266$E47A8CBD-D85C-4C3D-A11C-2432086A2C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe828755a8279e3bd3aa6796e39b4b23d0daae0","datavalue":{"value":{"entity-type":"item","numeric-id":3970636,"id":"Q3970636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201266$DDE12CA1-88AB-418D-AA9D-2C7D2C1C6E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5037c04c9c92c64619d5eb9e67e54d8bcab3371","datavalue":{"value":{"entity-type":"item","numeric-id":5635436,"id":"Q5635436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201266$83455A5F-C937-4E3F-9BCA-A879949BDD11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0ca38629ee1d8c9e1fc5296fc7a92aff3e902a","datavalue":{"value":{"entity-type":"item","numeric-id":3772200,"id":"Q3772200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06decd9e132a5a6df31d60844be1a300c841f029","datavalue":{"value":{"amount":"+0.8107840418815613","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":"Q1201266$452ED6A8-6098-43C5-B971-CD8E9567E78A","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":"e91e6b5303ce1c93b4ca08f25eaaf556d854d12c","datavalue":{"value":{"amount":"+0.804770827293396","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":"Q1201266$1A45A82B-0305-4B29-8941-1BDCB44B3567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a683d6942429362086e34faab2f81aad5cd815b","datavalue":{"value":{"entity-type":"item","numeric-id":3975129,"id":"Q3975129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7901b3296b876b02f1fa1014cd8d3cd34df82b2c","datavalue":{"value":{"amount":"+0.778724193572998","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":"Q1201266$CA6F93DF-BC75-4C0A-9852-A722A43EC78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfc187c8561dc16d4cca38bf204f2521a82c5d4","datavalue":{"value":{"entity-type":"item","numeric-id":1182475,"id":"Q1182475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4362991ca6cd2c1ced506c560db2289092e4153e","datavalue":{"value":{"amount":"+0.7773197293281555","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":"Q1201266$B38E0FB4-8B12-4FFF-B70F-A540266716C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"394737382c9877af2f1f133adcfbe4e77692181f","datavalue":{"value":{"entity-type":"item","numeric-id":3791148,"id":"Q3791148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a21101eb084629fadc3d8e09a14cb627f1dd2cb1","datavalue":{"value":{"amount":"+0.7755858898162842","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":"Q1201266$4B138073-8C52-4E6E-863C-D895AF9E1B43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unprovable combinatorial statements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unprovable_combinatorial_statements"}}}}}