{"entities":{"Q2976343":{"pageid":2987068,"ns":120,"title":"Item:Q2976343","lastrevid":58085559,"modified":"2026-04-03T18:08:01Z","type":"item","id":"Q2976343","labels":{"en":{"language":"en","value":"The strength of the tree theorem for pairs in reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6709194"}},"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":"Q2976343$556058D2-65ED-4F76-81DA-0BA148D5DECD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54f4f0eb02d7874572bc65224ae8a2563de9d9a3","datavalue":{"value":{"text":"THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2976343$1B72416E-36B2-4B97-9A72-35B2E972A2A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00710a1b52cc8c4b46e8f013c745dd226dc34730","datavalue":{"value":"1368.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2976343$548B13B5-A718-4304-AE94-F7E2985AF2CE","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":"Q2976343$32BA9F36-7A93-4D5D-AA6B-9BDA29B97CB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a3389b68ef12c49991a5b78788c78789e180699","datavalue":{"value":{"time":"+2017-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2976343$4AE4337C-E3E3-4C23-BB33-25333D8F484F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84e6c659da0bc92252a70914070ec55523716182","datavalue":{"value":"https://arxiv.org/abs/1505.01057","type":"string"},"datatype":"url"},"type":"statement","id":"Q2976343$34D301A4-32B8-4671-9344-F8537B244B9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2976343$11D42F58-7A4C-4D6A-A040-0B8A1D0109AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2976343$B57D8CC2-0601-4FF0-9C58-0F80F028B673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2976343$9B2EBDFE-AC70-466D-9649-C4F723C59B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2976343$FF5359C6-3D8C-4618-B8E3-A24DEBA773A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c629fed79f8b8c04c15211cae72c3ac8941aa0e","datavalue":{"value":"6709194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2976343$1F299D38-6D00-4832-AA9E-1DD9283F31F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2976343$0D70EFBE-33D1-443B-97A9-1484FF1FB780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2976343$788274BC-D4D1-4856-8AC1-C05AE463D3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"206fa9c03deedab33b933a5481b92ee68b5a5d32","datavalue":{"value":"tree theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2976343$EE0E405E-6F2C-492C-9885-6754F9349CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f633b2ff8582a4256b89656c43db66d4e7dfb3","datavalue":{"value":"iterative forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2976343$E6D97A39-1A70-438B-BFD2-27C3DC92E1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50a56e3b13da45d514232e27c5e5c76d93c0d134","datavalue":{"value":"RT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2976343$DFF8A2CC-049E-4528-B413-549C5A8AEB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5654d9b1788d298ce214f35854e63312072a4e","datavalue":{"value":"TT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2976343$2427E1C7-7865-4DD5-B60F-C76D2BCFE24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2976343$C05A185A-7096-4B33-B990-F4CC1A015994","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":"Q2976343$DE7E6FDC-3DE3-4143-8BA0-77CC0EC856F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c238852b600d31853ad27f31586a90c38968c1a","datavalue":{"value":"W2962823038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2976343$679B6992-E60D-4CD6-95BF-9335028FBD4F","rank":"normal"}],"P223":[{"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":"Q2976343$B13FDE69-DE6B-4D9D-85C5-E22906C5624E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0afd5532278da9a5d9cf1957582e7e12c5b70b","datavalue":{"value":{"entity-type":"item","numeric-id":2626398,"id":"Q2626398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2976343$5CF779FA-908B-47D3-A568-9C4851D548AB","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":"Q2976343$2593BAB3-648F-497A-94F8-5854C7203145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb36c88ab10c0585595ed7cabe614bfeadb107c","datavalue":{"value":{"entity-type":"item","numeric-id":892143,"id":"Q892143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2976343$80AA4747-17CE-4647-8A5A-356F9A5D4BCC","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":"Q2976343$3059418A-E56E-4EA3-AB73-646E847478E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f5d1a44ab09c5c2e8097cf3966904c46283853","datavalue":{"value":{"entity-type":"item","numeric-id":964459,"id":"Q964459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2976343$4469A65C-4738-4C34-B838-0820ADB8FD67","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":"Q2976343$91358D60-D01D-4771-9492-0AF7991C9EBF","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":"Q2976343$6151597D-FC84-4A29-86F4-05D9AA56B291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d51f1ffd2c31ce24839af48f40653487ad2243","datavalue":{"value":{"entity-type":"item","numeric-id":5496327,"id":"Q5496327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2976343$CCEDE77F-A874-4256-9C06-89B6FBBDBA2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6369cf16f0496910e36cf7dbf7b7b5cb4853132c","datavalue":{"value":"10.1017/JSL.2015.80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2976343$8C214DBA-7ACB-43A1-891F-6ADF661182B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2976343$317398A8-CC93-49A1-A277-F0E29A3D0765","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab542de1a31371e809e72e02a8c90564be6f0a62","datavalue":{"value":{"entity-type":"item","numeric-id":5004544,"id":"Q5004544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089a41777f79bbac281a175b26ef2f3c4cda4d4b","datavalue":{"value":{"amount":"+0.8967371582984924","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":"Q2976343$63F6838D-641F-4E53-8485-977FB1140BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28468bc65ee7ad3c62c861af26915cd2ef7b90b7","datavalue":{"value":{"entity-type":"item","numeric-id":2401697,"id":"Q2401697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9538a319d2ffdd91ec0a527dcbe5512f7b2d94","datavalue":{"value":{"amount":"+0.8750231266021729","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":"Q2976343$1F87B18C-6D16-410A-81BA-CD7CE3B2B3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f93323efb147ed4ce5137e4c882728378ea631","datavalue":{"value":{"entity-type":"item","numeric-id":4931100,"id":"Q4931100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0dd777740711ab12fac49568ca6aa78f2581539","datavalue":{"value":{"amount":"+0.8498496413230896","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":"Q2976343$EFFD06F3-516C-4D03-A9AF-9D530AEF9988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427452204c92cd0968945b6765354539eee3a230","datavalue":{"value":{"entity-type":"item","numeric-id":3616350,"id":"Q3616350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f391a76f50c499cf1e35cb9781d7dec0cc9b60bb","datavalue":{"value":{"amount":"+0.846887469291687","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":"Q2976343$237D35D7-D0C3-492B-AA6F-DFAF97C4F83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0746ab003dd15d8fa557f36c9e19fbcfc9064d59","datavalue":{"value":{"entity-type":"item","numeric-id":5004961,"id":"Q5004961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7074ca14869449dd6b55ae2bc454f3d0ce32ed","datavalue":{"value":{"amount":"+0.8338156342506409","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":"Q2976343$875544D1-1BE8-45B6-AAA4-C82EAD915BA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2976343","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2976343"}}}}}