{"entities":{"Q1644984":{"pageid":1655725,"ns":120,"title":"Item:Q1644984","lastrevid":72421017,"modified":"2026-04-14T04:47:25Z","type":"item","id":"Q1644984","labels":{"en":{"language":"en","value":"The proof-theoretic strength of Ramsey's theorem for pairs and two colors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6893254"}},"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":"Q1644984$4F7D0972-EF7D-4073-8D27-03FB54E04E29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11c2bef83c1a89160491e3c17d7c923e63affcaf","datavalue":{"value":{"text":"The proof-theoretic strength of Ramsey's theorem for pairs and two colors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1644984$031D765E-6496-4F0E-BE06-280816187382","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13658247bc19f9c8af66a45e55c3a036f7695812","datavalue":{"value":"1469.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644984$FD874EB9-71DA-460F-BE57-570B36D983B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1ef153d9b4f1f3d6db3e86ef08f3ed5191e259d","datavalue":{"value":{"entity-type":"item","numeric-id":490868,"id":"Q490868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$BCAB4188-2BB6-41C1-A3BA-77E4F663D025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991554509c5340d11023c6c860d73645277e2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":324247,"id":"Q324247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$0B76567D-F3E0-407A-9771-51AD4CAE31E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$AC911D03-32F6-433D-9805-1D2E8E1BE25F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffd3908f7a79ea44e2a8117ba180282c720bf0ed","datavalue":{"value":{"time":"+2018-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1644984$CD68E382-2E79-473D-93EF-8A1E206CDF1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c29e7e16f1711775f73010ae0cf62de9977adf67","datavalue":{"value":"https://arxiv.org/abs/1601.00050","type":"string"},"datatype":"url"},"type":"statement","id":"Q1644984$63361FB0-AE19-4D84-910F-FD097EF19BFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644984$2E741837-BDA9-47D8-A1DA-5DFD4DCA01BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644984$2BE3EC04-2D70-416D-90C4-CEFE9645681C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644984$57131951-E8DC-4D6A-B183-DCB773CFA1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644984$8AF2F53D-1075-4225-899D-CAE00BCDFFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644984$0EC7B931-1ED5-4631-8EB1-A584162B542B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644984$54B14525-A92F-4277-A4AE-6B38A6925956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cabcb697f55b84beae2517ebe7b1718f03d5bda2","datavalue":{"value":"6893254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644984$39868217-1EC8-4B33-9548-96302A71D78A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644984$511770F3-9B54-4C42-8276-5DB2475413B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644984$3BBDEF58-487B-4C25-92DD-E10F53512D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644984$A614D69F-4AAA-41CD-BB9C-310ADA7C2C12","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":"Q1644984$E50AE529-2947-4269-9C15-5276E577218A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da4de9b153f55325151b19c32a14f05369b68186","datavalue":{"value":"W2964070035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644984$5740DB94-19B5-478C-B600-C8D80968E45E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48cdb4967217b1ebdf89d7a86c8dfec4920ef835","datavalue":{"value":{"entity-type":"item","numeric-id":3947654,"id":"Q3947654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$C6D29BCB-94C0-4E07-A999-7F4F93319D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0e0310bad5e15bb5e67aa1ab3d8fbe56b30f08","datavalue":{"value":{"entity-type":"item","numeric-id":1780389,"id":"Q1780389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$2C2ED269-CE59-4136-A109-513135394075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d06b5f4c703493afa11a35957cdaea722b1351d","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$343F73D9-AAA5-42BF-823D-3310CCC21B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6989014e34d3a9775035abf0cfcc3b2c1b5a10b","datavalue":{"value":{"entity-type":"item","numeric-id":4110996,"id":"Q4110996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$0AF5301B-9EB6-4C62-9E5C-7E4EB91402AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed76fb826674154100cb639fa6d84dadf53cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":3340832,"id":"Q3340832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$F9C8F9A8-08C9-470E-A170-CFCCEF265FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0ba64e6064208d971f9ee37c11d6a9a48a2a52","datavalue":{"value":{"entity-type":"item","numeric-id":4700239,"id":"Q4700239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$71B56FE7-B29D-4C47-8958-31DB66733927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20643d60fe0cf05c3581627a680d1f8203f5a0b","datavalue":{"value":{"entity-type":"item","numeric-id":4790189,"id":"Q4790189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$897440F0-1713-441F-814E-8F724B1A9A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99526a1e64bd6b3538142945c9986220603dc9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3420352,"id":"Q3420352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$CC7D8F77-8D25-46E3-B79D-460CE4E6F84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34acf63a07818b9dcf84693ba53330b75207c3a5","datavalue":{"value":{"entity-type":"item","numeric-id":2358627,"id":"Q2358627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$5F244CD3-680E-4EB8-8D0C-CD3EE825278A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb5bacd666be23a0df6f86c663a34e93fbfcc10","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$3C5B29E4-2C79-4025-A9B8-BCAF706B4048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$88CD5791-E056-4581-94E7-2DC0498FF488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$496A0504-4CF8-4912-908E-19A2752E4C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c36d3f2be7827491b5673d0e04c23217f1388","datavalue":{"value":{"entity-type":"item","numeric-id":3190948,"id":"Q3190948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$8A440F19-353E-4F85-9BA8-93FB92E7C752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9261d074908cf9696109c50a66e4ac4f08d1d65","datavalue":{"value":{"entity-type":"item","numeric-id":507201,"id":"Q507201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$73D02CD3-F543-49F8-A8E0-B1A4F36BEF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736c442fad7b5d4f015ebade6085c65d041e687b","datavalue":{"value":{"entity-type":"item","numeric-id":436224,"id":"Q436224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$B292AC98-BEDB-48F3-BFA7-AF6A61786F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea8c1f5940a40e8655aa16d1c0ac9365c9d64b7","datavalue":{"value":{"entity-type":"item","numeric-id":3682484,"id":"Q3682484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$122983F0-52C0-4224-8A7E-FA5ABD7B37F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9182e1e08dd41cf99fb976a8a02c7dd5bddd4bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4916553,"id":"Q4916553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$F1EA759D-FB40-4AC3-8068-79D355D45122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a6dd3dc8830892bea0568f55b7570e360cbd6e","datavalue":{"value":{"entity-type":"item","numeric-id":2758065,"id":"Q2758065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$F6A63498-80BF-400C-8362-75D6A479CD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fca512bd62ef81317baaf07336a09e35ab66e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5789964,"id":"Q5789964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$19AC0364-C06E-4FBF-99E8-5BD37E118004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3422a75bab35171159b9c7a1569787ac90b8997","datavalue":{"value":{"entity-type":"item","numeric-id":4899173,"id":"Q4899173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$9656B9F5-0359-4C3B-9B2B-F20819B88231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$CD002792-201C-4F8E-9C95-AB34CFBEB8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d276bf930ce7be64a132b97986d74f6c4683019d","datavalue":{"value":{"entity-type":"item","numeric-id":3140636,"id":"Q3140636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$600EC40D-A78B-469D-A81F-B5629A42DB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$35D62B22-1663-4789-9CF4-8DDE0EF13552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c71aeaa111b4ec218989d81437c302751ae071a","datavalue":{"value":{"entity-type":"item","numeric-id":3508462,"id":"Q3508462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$EDEB842F-BB0F-4518-9C04-1CDC52DC3526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a39409e450161ef82421b3aefd08398a69b377","datavalue":{"value":{"entity-type":"item","numeric-id":3191150,"id":"Q3191150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$216E5E47-01FA-4C59-8417-6C41CE6FE156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aacf0d9eee94cb147aba63928e7a70459be73","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$0643E95B-6F67-4F29-A5A4-8A002824FA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$5F4E97DB-284B-4A22-ACF2-68D892F8580E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$4DF98430-BB2B-4F24-AE4B-1E3E24CB4C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$C89FF618-CE14-4E14-BBB8-F8019F9A21BA","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":"Q1644984$AB3AF98C-55AE-4AB3-992D-1DA0D2D1ABCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$5E8D635E-3C4A-4461-85E0-B903D1C62BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fcac84fbd8ae26953a8b8d11d860b072d3ea51","datavalue":{"value":{"entity-type":"item","numeric-id":2373693,"id":"Q2373693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$9A606B25-643C-497C-9155-FCA92CF98AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4aab8b4eea31d5d165b714e55365ac470a41376","datavalue":{"value":{"entity-type":"item","numeric-id":435242,"id":"Q435242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$03E53563-4AFD-4C07-9860-2264D98DFA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512392765a4a630fc65e161be336f2b7a1fee7c9","datavalue":{"value":{"entity-type":"item","numeric-id":987936,"id":"Q987936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$1F36B4AF-97B5-478B-8D4B-4B004CC92B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f3e2147ff83d09a44d22572a320e6572c66fe3","datavalue":{"value":{"entity-type":"item","numeric-id":5401600,"id":"Q5401600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$93586395-FB48-49C4-A81D-119E3F86CAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9f33c4b31058c99898dd9dbc21aeb3e3096923","datavalue":{"value":{"entity-type":"item","numeric-id":2892679,"id":"Q2892679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$33A05A4F-D3A8-4896-B6BE-E99DEFD4D01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c09d38e51ffc8a5463a59b27b18c16fabfdb3ee","datavalue":{"value":{"entity-type":"item","numeric-id":3370615,"id":"Q3370615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$4C39C45C-D0AF-4652-A046-BBCE7501917B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3e5c3e5476e6d9b11bfda08e395f7848df26e3","datavalue":{"value":{"entity-type":"item","numeric-id":5175905,"id":"Q5175905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$FC60A061-DF7C-4982-BE04-0749FA1B0460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4323f719ce556aa0fffe2f662ce5bbcc2b42b051","datavalue":{"value":{"entity-type":"item","numeric-id":4194958,"id":"Q4194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$0B75F019-A34D-4C6B-A871-20871AFF84CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$790C5F43-7A38-4DBE-A6D5-6BCE517C1D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be79deae6a4c422856db996b7e7f6b44556be5ae","datavalue":{"value":{"entity-type":"item","numeric-id":3195708,"id":"Q3195708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$98D46959-DC9B-4D84-8280-5F51BA0DD2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$9F6B9D7A-C82D-4104-BA88-1736DF66091D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3145791be41afb1e842f815f01a740997a825544","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$E4887228-75DF-4A86-887B-9B096B53A1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134f2ad3455f970d41791f7dee3c85343a081049","datavalue":{"value":{"entity-type":"item","numeric-id":3799998,"id":"Q3799998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$45F0B5FF-DC7E-4B96-AB1F-A5F3D9F4F9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$EAED9D0C-76DC-49C7-956F-09A2D76093AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b317813aebcdac670d338983a9518106c1f5d770","datavalue":{"value":{"entity-type":"item","numeric-id":324248,"id":"Q324248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$2F1F1836-2A00-4E53-91A6-C2DB01ED48C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$A24FC77A-CB02-45EB-9595-8E83A4AFB3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2613e859f5569042e68fee87f5491e02f87c2aa","datavalue":{"value":{"entity-type":"item","numeric-id":2976345,"id":"Q2976345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$9A29A2C2-84F4-49D9-9E68-FBE2F76923D4","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":"Q1644984$24109704-82AD-49FF-AAD8-CF44E41523A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b0f0f4607d01eb661a16bf69ffef36b0952c24","datavalue":{"value":{"entity-type":"item","numeric-id":4915224,"id":"Q4915224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644984$8A281A05-CEBE-4834-87E4-452EF1F0B9B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10084fa1a384800a6b5c72f171371a46bfaebc6a","datavalue":{"value":"10.1016/J.AIM.2018.03.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644984$D7DA2F64-E650-412F-86BF-1922EE38804A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956b97ae9bd786765e9ca0896991f9818b597f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55b0c3e6d7d4dc9d1f8212a65255fae919ab125f","datavalue":{"value":{"amount":"+0.8732710480690002","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":"Q1644984$CFC6BD60-0463-4FF5-9B65-68158F9E467A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5919fe0474d517f024afbc61f253715447499c9","datavalue":{"value":{"entity-type":"item","numeric-id":4647115,"id":"Q4647115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57b93cb5f36f78d09a85c3fe7b7e4c74e59fd19","datavalue":{"value":{"amount":"+0.8730515241622925","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":"Q1644984$14A8926E-40CF-4158-A3EC-C71F6619E4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b73d3d0ca97dd10dce841825c231f7475b8844","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292d7705ff2ecf92bedb72e16763efd0fd5cdc16","datavalue":{"value":{"amount":"+0.867562472820282","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":"Q1644984$5D89F3F6-5CB3-4E38-BC8B-2562C613E60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c7b588e9e63c7de65c54b22daee5fd4cbd1d18","datavalue":{"value":{"entity-type":"item","numeric-id":507201,"id":"Q507201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97f1a07688f5516a221bd7b3f7ead067a2db839","datavalue":{"value":{"amount":"+0.8675624132156372","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":"Q1644984$815E6DAE-99ED-4FD3-B5F6-765C8B9CDA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea210ee7c00a41c9154bb273eff1706ba0fc2d1f","datavalue":{"value":{"entity-type":"item","numeric-id":4915224,"id":"Q4915224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db9bbb5bdd628dce211714e7950a950e0785ebd","datavalue":{"value":{"amount":"+0.8593706488609314","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":"Q1644984$5D2A5E0E-C4D4-4588-AED2-C1AA8DCECF2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The proof-theoretic strength of Ramsey's theorem for pairs and two colors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_proof-theoretic_strength_of_Ramsey%27s_theorem_for_pairs_and_two_colors"}}}}}