{"entities":{"Q2941598":{"pageid":2952318,"ns":120,"title":"Item:Q2941598","lastrevid":52329740,"modified":"2026-01-21T11:26:50Z","type":"item","id":"Q2941598","labels":{"en":{"language":"en","value":"On the computational content of convergence proofs via Banach limits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6474855"}},"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":"Q2941598$6A60E346-AB3C-479A-8CA2-70AEFA31147A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c43779ffb21f70ff9d47f7951e78044e0135f4b5","datavalue":{"value":{"text":"On the computational content of convergence proofs via Banach limits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941598$524CCB30-0305-4534-85AE-5CA0CEFE885C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dd5bb97916e68b6eca2cf0a043c2e20724bdc7f","datavalue":{"value":"1329.03094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941598$5CE07F23-532C-4860-A8D8-EDDFFA030BD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3757c450e8ea3891f056e58fdb032b2670ff909f","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$609B4D3C-7FE9-4915-B42C-C4CC6883A8E5","rank":"normal"},{"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":"Q2941598$AC9906A5-7C2E-4E9A-9727-6E15B01BB792","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a13ffa206096651a7eda5901a1abc51007a10be2","datavalue":{"value":{"entity-type":"item","numeric-id":144519,"id":"Q144519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$B085BD52-E63F-4ACA-AA11-B5785C54A7FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e463a3f76b72914d69100f109f02e2f624263f82","datavalue":{"value":{"time":"+2015-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941598$A7DB4169-242F-4F20-820C-70F5F304A1A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941598$BD3A8C92-EB7E-40AA-A70E-2E1D41E07141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"042247497c87912347e9595c7e8f4af0a995087b","datavalue":{"value":"46S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941598$0BF920E9-28F3-4350-8A19-C9DB18383C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05e6210e40591bf6d46e34fb771f5fdc4d5a5a2c","datavalue":{"value":"47H09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941598$7254535F-56FC-46D7-BD11-5E08C17E1C62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ac848c9e2765a1b1b8eebee4ba631421f697e51","datavalue":{"value":"6474855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941598$C32BD44E-F041-46BE-8465-E111D82E9087","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941598$DB4BD65D-0348-4F71-A68F-1996F137775C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941598$9E330822-6AD2-4294-8222-F660A09F7BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cedb220a47f6cafc2f2b5fa711d1ddf0f6ecc6c","datavalue":{"value":"metastability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941598$2173A913-B68A-4BCE-9EEF-62210D459DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7565e17b118e642f1c2e3b52c12b558dfcebdede","datavalue":{"value":"Banach limits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941598$66A27C1A-F9D5-4B07-AAA1-DF09CD3A9BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10a2e94cecad150dec84e9cec0b56f7ded6f1d97","datavalue":{"value":"uniformly smooth Banach spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941598$B640E3CA-BA88-4D91-AD4A-943AEEC9AC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19c60f15b06751107c42ff889d301018345ad539","datavalue":{"value":"Halpern iterations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941598$B481C2C2-E1E8-4175-AD69-DFE2CEA36A4D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"34b243f4d74888f00e04c00a6dad08183296c41c","datavalue":{"value":"Q51353343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941598$05667901-ED58-4C1D-BF47-30F671748AD5","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":"Q2941598$B1F9423A-C2F3-4190-866A-0FA027CD1D27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40143bd19672d3835584385cf058387806a1316e","datavalue":{"value":"https://doi.org/10.1098/rsta.2011.0329","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941598$E2DA45FE-46FD-442A-8AD2-6E980126FAA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67836221656ba1df487897f0ff459dd51e1db576","datavalue":{"value":"W2136263207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941598$28EE1C27-6F94-4B7F-A3A7-4787B185E04B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62216bac6a7dc006c46dc1ae243f09bb2c560a4e","datavalue":{"value":{"entity-type":"item","numeric-id":3174639,"id":"Q3174639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$E883917A-7B8B-4935-8B10-0B919A8D577B","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":"Q2941598$09BED0B8-DE80-4F51-9895-B787C2CC9211","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":"Q2941598$8E2EB870-F4AC-4553-A8AE-C866EC06D8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"321f2749ad66304e7688f931fc81d5e57751dcc2","datavalue":{"value":{"entity-type":"item","numeric-id":4917991,"id":"Q4917991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$B9F8FD05-C598-445C-9489-A76B1CBA813D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14498f16b9ae97f035b0d401c10929eb4bf810d1","datavalue":{"value":{"entity-type":"item","numeric-id":5387252,"id":"Q5387252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$8888EF78-54CE-41A0-B9B6-562A1588035C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22be7e7575326e176489e7e8e8b0922b28875ea5","datavalue":{"value":{"entity-type":"item","numeric-id":688431,"id":"Q688431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$AAF63FB5-F9E3-472B-83A1-2C67F13345BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e517bdbbaa6c50203a417aa64073fd67830b4b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3655262,"id":"Q3655262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$0C1B8F91-D9EB-48FC-AA14-CF0EADDDA30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$2E8C13ED-C79D-4ED1-84E9-213A5FC20D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$6E3B360E-5A19-4D81-848E-D72A1F998D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f1cf6b61b7bdb9c38bbb02278d82c5cfca0ad0","datavalue":{"value":{"entity-type":"item","numeric-id":624339,"id":"Q624339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$BA1A68A4-500A-4408-8D50-9078F61B4ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2af7e8d7b6697550aa4f95998ed153b8820a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1203524,"id":"Q1203524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$310D392F-7E41-412A-A9E2-C18BAA4A0910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0afd2a21a4923cc3273152badc30c6a967a3bf2","datavalue":{"value":{"entity-type":"item","numeric-id":3402200,"id":"Q3402200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$CE486B2F-62FD-498A-91C2-B2674F4F3D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f4dff8afce7a8c2bce9c0a7cb97023463b7dff","datavalue":{"value":{"entity-type":"item","numeric-id":3650303,"id":"Q3650303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$8B109BA7-4438-4C93-AE7F-A7A794D693EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7872ae582f55417ea54be003f555d176094fce","datavalue":{"value":{"entity-type":"item","numeric-id":963593,"id":"Q963593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$A3BC4BD6-6F0C-4F7B-B29F-7FBA17741205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb7970afe0d4051639fe75a357517efa904dc5e","datavalue":{"value":{"entity-type":"item","numeric-id":3954401,"id":"Q3954401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$0DC6D4EE-9497-416B-BDD0-43B2E587856D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79c5bd3e06697127b49b51d5e6b5994c3207d56","datavalue":{"value":{"entity-type":"item","numeric-id":2524761,"id":"Q2524761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$E2366A63-1136-455C-8A21-170FD79E6489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6e023c53c21f865737c45c38eb0a1275cf702f","datavalue":{"value":{"entity-type":"item","numeric-id":5566796,"id":"Q5566796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$D095CCCA-7B93-4082-B7C4-035F505138A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60361b164d4e55af13348ac3bf082206dc0d5d0b","datavalue":{"value":{"entity-type":"item","numeric-id":1015120,"id":"Q1015120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$DED0EC49-DFDC-473C-91FA-D2B0A8048F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2cd3a057cdf2fcd07001063fe98163b550a74c","datavalue":{"value":{"entity-type":"item","numeric-id":1141344,"id":"Q1141344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$1CADE09E-FCE6-4BE1-9A42-C173995A5FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fde2b8b4eb1d0cf1993b27e53a65e71ca45ec18","datavalue":{"value":{"entity-type":"item","numeric-id":2498902,"id":"Q2498902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$50A13E4A-DADB-46C0-8287-EE14A2665B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"424f1ac110723125b4d927238bb18d57d7ffb97a","datavalue":{"value":{"entity-type":"item","numeric-id":4881791,"id":"Q4881791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941598$E8042618-210C-4294-9D81-ECA3735418D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4add1310ccdde9c6667a2556dd27de38adef719e","datavalue":{"value":"10.1098/RSTA.2011.0329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941598$9ECA1782-9FC6-4B84-9B06-3E338730E74B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b3e6b9f83e5821537664bd4aa13869e81a7b2a","datavalue":{"value":{"entity-type":"item","numeric-id":715208,"id":"Q715208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651a7eb603df4ff9310d88ca49c9d83243d8316f","datavalue":{"value":{"amount":"+0.8454018235206604","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":"Q2941598$7A778758-6AF9-4853-B52B-083A5277E843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96f18b673f9e1f3a7ffc17f5d11b16848e69c79","datavalue":{"value":{"entity-type":"item","numeric-id":2348521,"id":"Q2348521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c389bc0af2da2101e2568906bf8bb6c8930db6a","datavalue":{"value":{"amount":"+0.822938084602356","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":"Q2941598$0CEAE5D1-0237-4160-A3F7-A7D2E18D8239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553b0b48e7bb930933781fe62edc164432d8d4b3","datavalue":{"value":{"entity-type":"item","numeric-id":2320042,"id":"Q2320042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2576867234fb1814ff2383cc14bf75d390145f","datavalue":{"value":{"amount":"+0.8214675188064575","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":"Q2941598$CC02FB4B-0472-4B02-A356-BDD986119BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b55109ddd4b55b21f6c1501cd8a5a37a66c52d","datavalue":{"value":{"entity-type":"item","numeric-id":2825464,"id":"Q2825464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a305e2dbcbfc69dadb39267b9210004e5ce34e42","datavalue":{"value":{"amount":"+0.8055214881896973","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":"Q2941598$D80F1DD4-9E40-4A50-A191-12F221109CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba9aa8793605d57dbba1c805a3f31e3ba46aaea","datavalue":{"value":{"entity-type":"item","numeric-id":624339,"id":"Q624339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f07703203e6c47e6a5690916aee9073d263daab","datavalue":{"value":{"amount":"+0.7923896908760071","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":"Q2941598$7FB770C8-19D1-4995-936E-B65E85E1D3A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2941598","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2941598"}}}}}