{"entities":{"Q4031465":{"pageid":6061201,"ns":120,"title":"Item:Q4031465","lastrevid":55227748,"modified":"2026-02-05T01:47:14Z","type":"item","id":"Q4031465","labels":{"en":{"language":"en","value":"An Unprovable Ramsey-Type Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 149134"}},"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":"Q4031465$4A20740C-17B2-45DE-A49E-8B7349BDDC84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9fb964c446a7642324cec546918773d865ee521","datavalue":{"value":"0773.05098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031465$18DF88B1-0EE5-42D9-8F78-53038B43AB6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14e309b794a7c04d316a1bb6ea3da2dd61e65e5a","datavalue":{"value":"10.2307/2159452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031465$1AFF1C95-5895-4BF7-90A1-1E58FAB05A51","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":"Q4031465$7069363C-B1B2-426E-82DB-E3BEB358592C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9380c4124a5ef272e2152da1b5d415130e3e64f8","datavalue":{"value":{"entity-type":"item","numeric-id":175596,"id":"Q175596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4031465$D22085F6-0C57-44B3-BBD2-0FD5FAE50811","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4031465$7426D515-86A7-4C76-A375-9AED081BB544","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031465$81195170-D635-457E-9240-A951A35EF7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031465$E3626933-615A-479F-884C-1CD0BDC4013B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58d33fcd5e5cb8a52812aa5e4a2f3f30b5cf0e30","datavalue":{"value":"05A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031465$4E79CE91-1BBE-4F92-91E0-4E66D94EF45F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"632c381581ee5253d9bacaf2e1cf103a5c4fddbc","datavalue":{"value":"149134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031465$1D2A816F-3597-4C94-A6EC-658CC6C671C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"366519c7da6dce304cdcd239e840ddb739afb016","datavalue":{"value":"Paris-Harrington theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4031465$468B1BB6-4425-49ED-AA1B-777C628985E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7838eb964e63838e004e62bbdc9598fabd67615","datavalue":{"value":"Ketonen-Solovay theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4031465$1FB75B94-1686-498C-84CB-5A92BB089A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54eef793d8daef537d074e91efb8070a1a5d4449","datavalue":{"value":"Ramsey functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4031465$1BC622D6-DF7F-43F0-81D3-DBD964A40F7B","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":"Q4031465$5E2446DA-5281-4515-96AD-06045CA2E7DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78cf07c1edba94820113cf65bbab989a85ceab5e","datavalue":{"value":"https://doi.org/10.2307/2159452","type":"string"},"datatype":"url"},"type":"statement","id":"Q4031465$DA1D02CB-323C-424F-83E2-2598D90FA86D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40abec80288108458e8629d14ae151e686d31ef0","datavalue":{"value":"W4242420257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031465$FFA66F3A-7A34-42CC-8603-00A36836839A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"deabc28b1f867d9863f1b0b6bddd588563ddf4e4","datavalue":{"value":{"text":"An Unprovable Ramsey-Type Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4031465$D3CBC737-22C0-4C71-A49C-58742B19B8D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a454ef6b42682012c40ff7e7cb072f359af068d","datavalue":{"value":{"entity-type":"item","numeric-id":3773880,"id":"Q3773880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4031465$08B248B2-2EE5-4E0D-9DDC-B628E527B167","rank":"normal"},{"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":"Q4031465$DC2D8895-973F-4DEC-87AD-6BE47E468890","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":"Q4031465$BC9765C4-DBD1-47CC-B4F7-F213E8DDD698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d087997f39728f68ba5717661dfa38b5ead409bb","datavalue":{"value":{"entity-type":"item","numeric-id":581400,"id":"Q581400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4031465$4B358A55-E0FA-4DC2-A1E6-FCB2B913507A","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":"Q4031465$3FE16ED6-ECBB-4A04-AE60-6C787094A259","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":"Q4031465$9641A064-6625-4912-8CA3-5034FE36DF91","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":"Q4031465$B24AB147-E8FA-4F44-8DE9-20DE93BC0602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae95c6fccb5b8b39f79e9551520cd425a5dcc59b","datavalue":{"value":{"entity-type":"item","numeric-id":4339001,"id":"Q4339001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4031465$EABEA9DD-21AD-48D3-AF79-E9D736DECEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a3d0ca2cffb89a8b8e4ffb095f9cab99474c5c","datavalue":{"value":{"entity-type":"item","numeric-id":5202178,"id":"Q5202178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4031465$59A4B377-8160-4576-B7CD-FC7EC176F2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d64bbc8c36466cd75ac5f7c3e1e13abe00124c","datavalue":{"value":{"entity-type":"item","numeric-id":3731598,"id":"Q3731598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4031465$4F9715AD-19FF-4683-924C-79A0BE79883D","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":"Q4031465$8DBCE040-A5A2-4629-8C74-FB97710176D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e82324124f0c43d66d25fe0208509e674492f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2789881,"id":"Q2789881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cbf103ba26a8e16e999f40c9dce285d5556d8fe","datavalue":{"value":{"amount":"+0.8361675143241882","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":"Q4031465$97B04033-245E-4F5B-8615-480E05CF7634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bea6548967ead448de1d634292fb7a7c2c67d9","datavalue":{"value":{"entity-type":"item","numeric-id":1904403,"id":"Q1904403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d511c73b8f30d05bbd614a3dd6037d76799f37","datavalue":{"value":{"amount":"+0.8125780820846558","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":"Q4031465$81E23393-4FF5-45E7-A3FB-831233E1329C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a895dc54639ab21cc7b6646ac9a56d087397622","datavalue":{"value":{"entity-type":"item","numeric-id":1327381,"id":"Q1327381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1abb88c30cf1d9f80cde02d1c11d6f6ddaf1de","datavalue":{"value":{"amount":"+0.8125156164169312","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":"Q4031465$8A0F3155-7CA9-41E8-BBCC-8633C569217B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325bf37f167b11522375baff47f1cef500926ac1","datavalue":{"value":{"entity-type":"item","numeric-id":3035275,"id":"Q3035275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7bcdfb5fd72938521303db3356c38d22c0f0d3","datavalue":{"value":{"amount":"+0.8088803887367249","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":"Q4031465$5731FAB9-4160-4423-A2F9-1CAE69ADD487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8ae8b96fbb3382e268e2a6ad464a86dfb1bcdb","datavalue":{"value":{"entity-type":"item","numeric-id":3717036,"id":"Q3717036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4999ac3c52910d6a243500efe8fd3a6716ebdd","datavalue":{"value":{"amount":"+0.8007485270500183","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":"Q4031465$4748347E-3A48-45E5-A2A4-2FEA709CBF2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4031465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4031465"}}}}}