{"entities":{"Q2401697":{"pageid":2412440,"ns":120,"title":"Item:Q2401697","lastrevid":57894450,"modified":"2026-04-02T23:56:21Z","type":"item","id":"Q2401697","labels":{"en":{"language":"en","value":"Coloring trees in reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6769061"}},"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":"Q2401697$ADE83103-040F-458D-8BE0-71C90F06D2ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38174d4949dc8dafc9ea6d637040168b907b5314","datavalue":{"value":{"text":"Coloring trees in reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2401697$B59BC585-6158-4E2B-9E5C-E0B5C5964DB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6626c0f071a6293be5c0837f35625e411ff0df6f","datavalue":{"value":"1423.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401697$6F5A48A1-010C-4CD5-A86B-27447BD214C1","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":"Q2401697$FFAC427A-25D3-4081-966E-5F78E622B89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df47b160552dc894c1aa471ca705195c5906bca7","datavalue":{"value":{"entity-type":"item","numeric-id":375887,"id":"Q375887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$F2EE3EAF-2E13-414E-BC91-27EBFDA42719","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":"Q2401697$94F63A52-7BDB-4D33-8D60-110940E85451","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8cd92d668d0d9ccfee92ba50b458c9ee84248f97","datavalue":{"value":{"time":"+2017-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2401697$3FB0FE61-37B2-419D-81BC-2C52BECF33DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6251975b3645981e8c7c7ac4853e7d5206a814e3","datavalue":{"value":"https://arxiv.org/abs/1609.02627","type":"string"},"datatype":"url"},"type":"statement","id":"Q2401697$FA4EFA53-E73B-475C-9203-A28A0F00E03F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401697$9548BFAF-B9B7-49E0-A50A-18EE105D96FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401697$72E896E5-2150-4645-8917-82178078EAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401697$EBC4F4C9-6A2F-477E-8CBE-880E07A4E339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401697$7C0C099B-907E-48D1-9016-1E6FE30D9638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401697$ECFDDCE9-950B-47A5-A19F-65CCDFD76CDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d87b681fedb3abc315825a5c1c26b13185fb7e8e","datavalue":{"value":"6769061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401697$17E2C0DF-AEC2-4A04-BDC3-981824DCBDBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401697$19EF554A-49D3-4BD8-A284-19A58A257750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"332cf11b43515a7432c6b901f73f41c0c66caba9","datavalue":{"value":"computable combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401697$331A2F56-CC9A-4D35-B5B6-3AC120446648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401697$187FFE5A-C41F-4E29-B6C9-331DDEE64BC4","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":"Q2401697$0DF4DBB6-4289-4441-8200-3CB14D6FD23F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"563d6f749957f0e787d59e987b892e8dde6609d8","datavalue":{"value":"W2964019544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401697$1CA6EA41-CFDC-4BCA-BDFE-7FA709A9EF7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5520fffd53d1ba5d09a68a5c4d1e6789ea4f26cd","datavalue":{"value":{"entity-type":"item","numeric-id":2453068,"id":"Q2453068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$471C5B5C-6608-4639-A1D8-6D780EDEA4AB","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":"Q2401697$9617603B-DE89-49D1-B282-595BC206661C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36b0c9973244414531d05b0f9be2844a192fe31","datavalue":{"value":{"entity-type":"item","numeric-id":2925331,"id":"Q2925331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$D9092EA5-8290-4A24-8E7C-65F4256882E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9adecf7d0ae4398069ab45177c53b398caa2f","datavalue":{"value":{"entity-type":"item","numeric-id":3616350,"id":"Q3616350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$DD6FE5E9-D714-40C0-BDAF-5AC2C55E82AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b18192ab6d61ec4eddfc39dd49e49cd20ae521","datavalue":{"value":{"entity-type":"item","numeric-id":5963196,"id":"Q5963196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$AE096040-2E5D-4698-B7AB-08B06DF248DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c50c5389506b48a40cc5f50cb3507687109d220","datavalue":{"value":{"entity-type":"item","numeric-id":4931100,"id":"Q4931100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$9B33628B-43A8-469B-8F02-2A686775D99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad30dcf51cc217162bdb5a03b006ed2d9c1e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":2796522,"id":"Q2796522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$0A5627F1-C8A5-4B80-B071-02A289B5A8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45131a38ff53f12b9952d52e2962c28740fef2f7","datavalue":{"value":{"entity-type":"item","numeric-id":3161424,"id":"Q3161424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$7ED42BC1-996D-46B8-BD09-6E88B5814294","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":"Q2401697$27FAF6FB-27FD-4FAC-A975-4D8EB2C58A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f85186927e9336c9a482f6b073e24580eb2fbbc","datavalue":{"value":{"entity-type":"item","numeric-id":3630579,"id":"Q3630579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$3F361132-A79E-4DC9-A0B8-45941AC008C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56fcc7453032bf215c89ca413af5d41e620b146","datavalue":{"value":{"entity-type":"item","numeric-id":4601029,"id":"Q4601029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$DFFC95B6-BAE3-438E-A096-45856F272176","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":"Q2401697$7795FCD1-9361-468B-A540-8BFC6907CC8B","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":"Q2401697$57DAF31A-377B-4155-9E58-BC0792C485EB","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":"Q2401697$C9804159-6B8F-4203-8001-DAC484854951","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":"Q2401697$71E99CCB-0FC1-4EC1-95A2-F137F82090EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c05740b633081c55137b74ef9c636a0c634ec67","datavalue":{"value":{"entity-type":"item","numeric-id":5363371,"id":"Q5363371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$FA3F6B58-C7C0-4676-8999-30453354DC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1755fbef7c9a1124e1e0dd971148f2588e571fb","datavalue":{"value":{"entity-type":"item","numeric-id":3128467,"id":"Q3128467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$81316E7D-BAD0-4640-90DD-BE0DE7C0279F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21424c5a1b7f8c0b598edb7bc3fe4a7a15834df5","datavalue":{"value":{"entity-type":"item","numeric-id":3649154,"id":"Q3649154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$002B7B1D-F9EC-4273-90E2-B0C74BEA2627","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":"Q2401697$81699F25-E862-4A2A-A6B8-6C97A43CEED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b64398cb1529cae417474540badb39aee7f9e4","datavalue":{"value":{"entity-type":"item","numeric-id":5496642,"id":"Q5496642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$A17F7B29-5D27-48A4-9A05-AEBC458F37FD","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":"Q2401697$787D2D2E-275D-4984-B6D9-13E0177DD85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f6958cb6248476ba25cd5766bb6e192186a469","datavalue":{"value":{"entity-type":"item","numeric-id":3174640,"id":"Q3174640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$C7733410-FCD5-42D1-BC63-CAB0176B29FC","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":"Q2401697$BE9537D6-40C2-4610-A7E0-C8A1C2CFFE81","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":"Q2401697$06795FAB-4CD0-4035-A408-D2D1B50EE079","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":"Q2401697$E031E79C-815E-4593-B866-92F197666643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47a2b9d13405189c02127187179ae3a2b67315a","datavalue":{"value":{"entity-type":"item","numeric-id":2864221,"id":"Q2864221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401697$27B8DFC2-AA12-4A37-B8C3-53F9DDEEB435","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"473229ed1129b689146402f3ea01febe8dd1854c","datavalue":{"value":"10.1016/J.AIM.2017.08.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401697$0AD301F5-B066-4EB1-BAAD-AA4E5728A190","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961dae499da38fc34fd516d4b864a76868bd391a","datavalue":{"value":{"entity-type":"item","numeric-id":2976343,"id":"Q2976343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58952b6c99867f838540553c026e32e7bfef8ff","datavalue":{"value":{"amount":"+0.9083458185195924","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":"Q2401697$CDC8483B-C95D-43FF-BDA2-7DCBE433CB0A","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":"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":"Q2401697$B8EAD35C-77AE-4E13-8367-904DCBEB9DEC","rank":"normal"},{"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":"9486e4cc0eaed70d85c3eb628d1f9f2737648d54","datavalue":{"value":{"amount":"+0.8673737049102783","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":"Q2401697$0A59E6A7-46A0-4FC2-A4B0-8B11DE547831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f6be9c312374205cedecb539f3df879e9e51ec","datavalue":{"value":{"entity-type":"item","numeric-id":1016503,"id":"Q1016503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce3c0472a16bfa983775014f36783b338b1425a5","datavalue":{"value":{"amount":"+0.8476924300193787","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":"Q2401697$2FDE8336-1842-4B1D-B9DD-B73D92B75456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ebe661f5c6c000d367ab0afd372c3bafaeda024","datavalue":{"value":{"entity-type":"item","numeric-id":2182273,"id":"Q2182273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d7bf68c17f64cffe845ee3a1091b6feabd3d07","datavalue":{"value":{"amount":"+0.8441035747528076","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":"Q2401697$7E75BFE0-0ABC-4692-887F-32C34BE35D9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2401697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2401697"}}}}}