{"entities":{"Q4917991":{"pageid":6947573,"ns":120,"title":"Item:Q4917991","lastrevid":58360038,"modified":"2026-04-04T21:22:19Z","type":"item","id":"Q4917991","labels":{"en":{"language":"en","value":"Proof mining in \\(\\mathbb{R}\\)-trees and hyperbolic spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6160407"}},"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":"Q4917991$72824E9C-3BBF-4AAB-BDB0-61FB0F84C9B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ea193b7592362798a4c95408163cb5978543f7b","datavalue":{"value":{"text":"Proof Mining in <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si1.gif\" overflow=\"scroll\"><mml:mi mathvariant=\"double-struck\">R</mml:mi></mml:math>-trees and Hyperbolic Spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917991$4D0F15AD-A04F-435E-918D-3CF7B2E00261","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6b69a3c8f6c572701c34de4282ec97841706238","datavalue":{"value":"1262.03121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917991$61B2C453-F36D-4987-88A2-2107CA06A1E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e2ca4b64d51b22b3cd151e0a6f77a09c13bc8b6","datavalue":{"value":{"entity-type":"item","numeric-id":590977,"id":"Q590977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$7F4AE705-E3CD-48E2-9ABD-F9992819CC1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$FD3D5946-09D9-4458-882D-63303471BD16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f67cff4992b4af716700e591fa06388150841fb3","datavalue":{"value":{"time":"+2013-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4917991$3A1AAFE8-1022-4860-A210-DE8F649E6995","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ff255eee1d3e730aa8ae630ad937797550533eb","datavalue":{"value":"https://arxiv.org/abs/0801.1731","type":"string"},"datatype":"url"},"type":"statement","id":"Q4917991$0B7F3AFD-8258-4856-BC75-1AD866EF7F3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917991$44FB5E10-4A78-4D19-8530-896578866B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7058e6445d419a356a3fd5be04af78c961ea4f3e","datavalue":{"value":"47H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917991$79901750-CAFB-4710-950A-0B0079770837","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a54ff4501fb9916b9eeb21235213e90fe7600ed","datavalue":{"value":"6160407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917991$1071F997-FA18-4C7D-A1FD-7CA95FDB9DC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917991$C895E027-E664-4378-969E-23081C13C063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"061cca752923c1998662ea3c9d9cc4ee63492c89","datavalue":{"value":"hyperbolic spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917991$53463064-90A1-40D2-B1F7-0E49E9EF12B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0642da8bff634050d27da5169d35e4f9a10e305f","datavalue":{"value":"\\(\\mathbb{R}\\)-trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917991$7193644E-F24A-4C30-8F3A-975FB3197AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78972e19db857b33b328b5846e72b9e7412ef94","datavalue":{"value":"uniformly convex","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917991$5433137E-C73C-4CCD-AE78-05FE1680EB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcd69e064c4366f95737d11292e99c8c1732918e","datavalue":{"value":"asymptotic regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917991$C18ED025-2AF0-4F38-B21E-42531537F606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2849b9339b22d819ba235b30745398535c9c8701","datavalue":{"value":"nonexpansive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917991$14A3186E-C3D6-45CE-8AC1-4D8546DEA7E2","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":"Q4917991$FE8F5C12-0D9D-40C4-BF1F-E2DB6E1D6FA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1657a3e240d17803fa3329f88b4c37128f95bed","datavalue":{"value":"W2170950118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917991$57F8427F-B63D-412D-99E3-92F172ADC37E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"837e11dd6a0f9151e8f96860919202d4ecfa7f37","datavalue":{"value":{"entity-type":"item","numeric-id":2761685,"id":"Q2761685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$45EC4AF0-2666-4886-9610-5DD944C12303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255ee49ffb6e409a3ee7cd255cf0ba0ce9b8a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3699687,"id":"Q3699687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$B38AD7F7-A4DE-4C27-83FE-D684DA69DFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f5d0749e63668e74a75eb5adf28f40df8e18fd","datavalue":{"value":{"entity-type":"item","numeric-id":4720067,"id":"Q4720067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$2C7EFD68-C8CE-44E0-BA96-78A5095DC44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e522db84caf610874f06300085eda0b06ae9dfe1","datavalue":{"value":{"entity-type":"item","numeric-id":3196884,"id":"Q3196884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$1234EB60-F494-4D5E-8519-B178C56CC3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb193d1a6335363414b7692ca828c75de6d33d4f","datavalue":{"value":{"entity-type":"item","numeric-id":5512396,"id":"Q5512396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$64E2C137-E71E-4492-BAB7-C0C5B7509AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa1567fda4790113f2bb346e27dcf5c3de8ba8d4","datavalue":{"value":{"entity-type":"item","numeric-id":4516130,"id":"Q4516130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$D4E713FE-01AB-406A-9B4C-9AB5BFAD7286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bf5183e83020857f9feaa7e31500545a55a1f65","datavalue":{"value":{"entity-type":"item","numeric-id":5442144,"id":"Q5442144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$C3DDCD0E-2A2E-440E-862E-C2BF908EB5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5230d0e23530a08a106d3f1738ba394b1f7741a3","datavalue":{"value":{"entity-type":"item","numeric-id":1188934,"id":"Q1188934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$3E8D0C7F-F393-4ADE-90DB-F9A02FBAA109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1790029b1ca7bd07db844fa9edaf4752f4f9d34b","datavalue":{"value":{"entity-type":"item","numeric-id":3322631,"id":"Q3322631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$452D28EE-7942-4DB6-A6B2-CC761BE2C5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fff8babd7aa52b5d53e87137a119dfceee6558d","datavalue":{"value":{"entity-type":"item","numeric-id":2554874,"id":"Q2554874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$C2EFEB05-7294-4636-B8D1-E650827BB722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320a4959b3b19951cebc6a79a1a4b49c7a726972","datavalue":{"value":{"entity-type":"item","numeric-id":3772406,"id":"Q3772406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$9A57C592-3AA1-442C-A1B7-6194DA7DEFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d90e7dd7344414f8d9ff4976d79ef87b28934a7e","datavalue":{"value":{"entity-type":"item","numeric-id":1874614,"id":"Q1874614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$4ED27A7D-D883-4415-9982-80BF7FBED858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22680b00afe42489064979aae0a95fe30de0fd01","datavalue":{"value":{"entity-type":"item","numeric-id":4819747,"id":"Q4819747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$712B61C2-2937-4D19-8D70-0753DA742C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86fa0b2a26e6da0f4a9cb15e00fdd7aa2d8e9711","datavalue":{"value":{"entity-type":"item","numeric-id":5384977,"id":"Q5384977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$9AA09482-BA2C-441F-BA40-8A4953C84FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a698fe8e62d1db2f972f73bfc4c4fff16248f21a","datavalue":{"value":{"entity-type":"item","numeric-id":5847510,"id":"Q5847510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$994B8BAA-78E4-4C8A-8211-E82D3EA4058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc70f83462199aefaeb8a7b01a6de49d250ad612","datavalue":{"value":{"entity-type":"item","numeric-id":854057,"id":"Q854057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$401FA61D-D55F-4718-819C-B69BD658EB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c80639ff9a9fa2f742d2f79ac742d2cd4d8a82d","datavalue":{"value":{"entity-type":"item","numeric-id":5817746,"id":"Q5817746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$61F96F49-47CC-44E2-9010-D13E8B886D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd73006fe447a3e8ed11da36a62231a11e69ff1","datavalue":{"value":{"entity-type":"item","numeric-id":1069178,"id":"Q1069178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$6E28C863-BC02-49F9-9341-80DD85A4F06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ab9fb69aa8134e32782b4d5fb65bd11753a5f4","datavalue":{"value":{"entity-type":"item","numeric-id":4149617,"id":"Q4149617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917991$88226CAB-4426-4FE2-8B3B-B4EB4F1FAEC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4aaac3886e76e0326479d318884313f9d84ceed4","datavalue":{"value":"10.1016/J.ENTCS.2006.05.039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917991$968A405C-85C7-4D5D-96CA-448A99EEF3AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2fa9c521f930a0dd20de49cee0ec54243f420e","datavalue":{"value":{"entity-type":"item","numeric-id":2453072,"id":"Q2453072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1919cefebc6c3621ed264d231077a8e9c43aa845","datavalue":{"value":{"amount":"+0.8125132918357849","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":"Q4917991$A51BC2ED-F7F6-4B6B-83AB-EF558BDB195E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e3d57445ac71dfe4d08202580f03728cd06977","datavalue":{"value":{"entity-type":"item","numeric-id":5717044,"id":"Q5717044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b40074f68bfec2f40313e762faa3733c6dd2f0e","datavalue":{"value":{"amount":"+0.7955324053764343","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":"Q4917991$0B47796B-054D-4E3E-B46C-C8A39C420018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2599caa008304baa9c9f36fb9647d99443d07c4","datavalue":{"value":{"entity-type":"item","numeric-id":845286,"id":"Q845286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622a5c7c7cdea725fc65d82f1ef8259d86c8ce71","datavalue":{"value":{"amount":"+0.795085072517395","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":"Q4917991$CEC3CDAC-FB13-454B-8BB5-ED83158B72F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef8556dec4fb1b7d74dabdc29d515df420c7b46","datavalue":{"value":{"entity-type":"item","numeric-id":4819747,"id":"Q4819747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8fab541b9d470575b60e2ffbafc91444d03462","datavalue":{"value":{"amount":"+0.7942349314689636","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":"Q4917991$8D6E2960-8EEE-45C7-B296-D02D98FE5619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebcb5c6b29490862939e07f97daedbe60f9d25b3","datavalue":{"value":{"entity-type":"item","numeric-id":5442144,"id":"Q5442144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0e67e29e7c07c4fb1c30efee2f3a4d1586fa6f","datavalue":{"value":{"amount":"+0.7836674451828003","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":"Q4917991$716F3DD7-B72A-49FC-BD3C-C27CF05A72C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917991"}}}}}