{"entities":{"Q5941724":{"pageid":8118526,"ns":120,"title":"Item:Q5941724","lastrevid":41716901,"modified":"2025-05-07T12:28:24Z","type":"item","id":"Q5941724","labels":{"en":{"language":"en","value":"Computability and complexity in analysis. 4th international workshop, CCA 2000. Swansea, GB, September 17--19, 2000. Selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1636387"}},"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":"Q5941724$0E415C51-CBF1-43CE-963E-3B7E12567F92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9954685860897dee051ce67b4a163a03dabb03a","datavalue":{"value":{"text":"Computability and complexity in analysis. 4th international workshop, CCA 2000. Swansea, GB, September 17--19, 2000. Selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941724$3218EFB2-E766-49EC-A204-E7C14C750610","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a81a42dc114f64ae19cb7d017500bd75e0ed87d3","datavalue":{"value":"0967.00056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941724$E9959D46-6CF8-4C63-8E33-4BEBF6AF489C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcf1f107fa6fc51b2af9c482719837fc8dad5b84","datavalue":{"value":"10.1007/3-540-45335-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941724$4C65C611-81EB-4E58-A2CD-42FE616010C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941724$1792D337-BD9F-40F0-9EB5-B731901A56E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3190f357053ae1b7a6692b25e4aa81e02b63efa","datavalue":{"value":{"time":"+2001-08-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":"Q5941724$C824012E-9EBA-46C2-AECF-E8B858782AB8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d78ede35561a03fc9d7638c84fa4c26ed9c65296","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Blanck, Jens}, Effectivity of regular spaces, 1-15 [Zbl 0985.03032]  \\textit{Dunlop, Anthony J.; Pour-El, Marian Boykan}, The degree of unsolvability of a real number, 16-29 [Zbl 0985.03027]  \\textit{Gowland, Paul; Lester, David}, A survey of exact arithmetic implementations, 30-47 [Zbl 0985.65043]  \\textit{Hemmerling, Armin}, Standard representations of effective metric spaces, 48-68 [Zbl 0985.03035]  \\textit{Hertling, Peter}, Banach-Mazur computable functions on metric spaces, 69-81 [Zbl 0985.03055]  \\textit{Hur, Namhyun; Davenport, James H.}, A generic root operation for exact real arithmetic, 82-87 [Zbl 0985.65042]  \\textit{Kamo, Hiroyasu}, Effective contraction theorem and its application, 88-100 [Zbl 0985.03030]  \\textit{Kapoulas, George}, Polynomially time computable functions over \\(p\\)-adic fields, 101-118 [Zbl 0985.03026]  \\textit{Kohlenbach, Ulrich}, On the computational content of the Krasnoselski and Ishikawa fixed point theorems, 119-145 [Zbl 0985.03048]  \\textit{Korovina, Margarita V.; Kudinov, Oleg V.}, Formalisation of computability of operators and real-valued functionals via domain theory, 146-168 [Zbl 0985.03060]  \\textit{Krznari, Marko}, Computing a required absolute precision from a stream of linear fractional transformations, 169-186 [Zbl 0985.65044]  \\textit{Meyssonnier, Charles; Boldi, Paolo; Vigna, Sebastiano}, \\(\\delta\\)-approximable functions, 187-199 [Zbl 0985.03057]  \\textit{Mori, Takakazu}, Computabilities of Fine-continuous functions, 200-221 [Zbl 0985.03056]  \\textit{M\u00fcller, Norbert Th.}, The iRRAM: Exact arithmetic in C++, 222-252 [Zbl 0985.65523]  \\textit{Richardson, Daniel}, The uniformity conjecture, 253-272 [Zbl 0986.68169]  \\textit{Schr\u00f6der, Matthias}, Admissible representations of limit spaces, 273-295 [Zbl 0985.03028]  \\textit{Skordev, Dimiter}, Characterization of the computable real numbers by means of primitive recursive functions, 296-309 [Zbl 0985.03059]  \\textit{Takeuti, Izumi}, Effective fixed point theorem over a non-computably separable metric space, 310-322 [Zbl 0985.03031]  \\textit{Tsuiki, Hideki}, Computational dimension of topological spaces, 323-335 [Zbl 0985.03029]  \\textit{Tsujii, Yoshiki; Yasugi, Mariko; Mori, Takakazu}, Some properties of the effective uniform topological space, 336-356 [Zbl 0985.03034]  \\textit{Weihrauch, Klaus}, On computable metric spaces Tietze-Urysohn extension is computable, 357-368 [Zbl 0985.03033]  \\textit{Weihrauch, Klaus; Zhong, Ning}, Is the linear Schr\u00f6dinger propagator Turing computable?, 369-377 [Zbl 0985.03058]  \\textit{Ziegler, Martin; Brattka, Vasco}, A computable spectral theorem, 378-388 [Zbl 0985.03054]  \\textit{Blanck, Jens}, Exact real arithmetic systems: Results of competition, 389-393 [Zbl 0985.65522]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941724$69D87393-0A41-4606-A9AA-5A2726023CAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941724$D6CD5B4B-65C6-4B47-B726-5E5A8DD5F7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941724$433C65ED-C81E-431F-B71F-3244FB314332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941724$436D1FAE-465A-4483-9244-3AF0823B0294","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64e6b18ea6860ef9e6eea4b73238afc6c7e7e587","datavalue":{"value":"1636387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941724$F3236DA7-6A7D-4FCB-B383-21B9FA19C6C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"844ca62fb7cf2bfecd11ae8120d5e70885ea9c16","datavalue":{"value":"Swansea (GB)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941724$7BAE0F89-EC45-40F8-BB20-94B1BA20CA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1cfe28c346d814735dd52972c178c02b57d315","datavalue":{"value":"Papers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941724$5140C04F-C606-4E74-826D-4278660EB94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941724$5A76717F-5608-4C35-967C-D86076CB6EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bb462a471b2fd648ce7e9d14377cb96ec9d42ec","datavalue":{"value":"CCA 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941724$52B52749-26FF-45CC-840C-AFEFB1BE9093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b0977a1c11339e29618178752e7a03b70bcce1a","datavalue":{"value":"Computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941724$41AC5EC1-8DDD-41A4-9619-8D815B092512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5206d4dce6a163eafa029a63a1fb2a44925dc13","datavalue":{"value":"Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941724$EE7AFEDD-DA7A-4F6F-8635-F1F020214A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46d155cfa02e8f5206eb545180c3436faf261265","datavalue":{"value":"Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941724$D1A2DD8C-FD2A-4B28-AC4D-B4DD7E4AD889","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":"Q5941724$D3BFC363-2681-4CA1-B413-8277CAB2D200","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35b2d2f50ab70fafc9db5cbecf5e11b1177a3b72","datavalue":{"value":"https://doi.org/10.1007/3-540-45335-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941724$D885450F-182C-482E-B818-3A5ED084B513","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4adbd16a9c29cfd35f765eb5e24343e3e828bad","datavalue":{"value":"W2569525068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941724$D73DC482-C014-41D4-BABE-2E543E4DEED2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e889a8aa5abf7ebb63009fb8a0092968e3c58af1","datavalue":{"value":{"entity-type":"item","numeric-id":877558,"id":"Q877558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69c68864b08e0e25f86bbf7eadfeeee94f69ef1","datavalue":{"value":{"amount":"+0.89041245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941724$727BC144-FB02-49F4-A7A2-81DD0C5B9103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7138f9f14a46b21baeb6a42b79d8b7b18a44b5ab","datavalue":{"value":{"entity-type":"item","numeric-id":878019,"id":"Q878019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb2944087d5b3d98663f312e26fb45ff193aacf","datavalue":{"value":{"amount":"+0.8840673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941724$95C7BE88-390E-413A-97DD-785FAF02E43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"061a7a4b258e8d695f090a5bf9a67b47cd17e487","datavalue":{"value":{"entity-type":"item","numeric-id":1011998,"id":"Q1011998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225edc89712b31a402a50f7534742950046f904c","datavalue":{"value":{"amount":"+0.87683666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941724$AFBE8645-1BE5-4472-8BA4-C047ACA8A948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba68b3a00af92a9d7ab607a421c84e97f7caafe","datavalue":{"value":{"entity-type":"item","numeric-id":5757910,"id":"Q5757910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ddbe41b95112d06654c8735ff6bfade41a9f81c","datavalue":{"value":{"amount":"+0.86804146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941724$3B6A7CB4-2514-4F6D-B3AE-6583968E2192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611f00070872b368e06ea436dfcca95e6aba7c2a","datavalue":{"value":{"entity-type":"item","numeric-id":1615003,"id":"Q1615003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867faf3c45a37721ae7a106b55e25a33597dc4c8","datavalue":{"value":{"amount":"+0.8590398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941724$4EB4CAA4-FA07-465A-854A-4D88BE3ED03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9697795e8222de9919494f8e9b2f69696fec2da7","datavalue":{"value":{"entity-type":"item","numeric-id":2427615,"id":"Q2427615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f2706a6f2f23e1a3316e9157d0495b8e77d0791","datavalue":{"value":{"amount":"+0.85871404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941724$1A90A487-F218-4E25-887B-95521E8F1F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b7ed05e2fbb9a9fd06dcddd4ffc73b357eed23","datavalue":{"value":{"entity-type":"item","numeric-id":2642846,"id":"Q2642846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fdb02e94d28291bb5ab6d518c70d564b33164a1","datavalue":{"value":{"amount":"+0.8578811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941724$8AA8D729-E78F-480D-AC48-27E76667EA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eede12e3cb2f787d09ea1ddb6006b6c71d63cc6d","datavalue":{"value":{"entity-type":"item","numeric-id":2881944,"id":"Q2881944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6546a0cf1ce42a4e32de69a06bf534c3cc9be8e8","datavalue":{"value":{"amount":"+0.85395545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941724$085D91EB-A73E-4B1C-BE17-0F16DB295A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0013ab811fb5225fbd6e36313ed71272a2420020","datavalue":{"value":{"entity-type":"item","numeric-id":432568,"id":"Q432568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002e4f07ceea6462ae4517efe60cdb0b37aafbf9","datavalue":{"value":{"amount":"+0.85034394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941724$5E373189-FC92-4BF3-BF03-87A70A0D4BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac2bbd5e6d1b13ce48e603882ea8f27b8da8fc5","datavalue":{"value":{"entity-type":"item","numeric-id":4787865,"id":"Q4787865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd62f578d7ab5092a4479bc3b56328ce6df2fe66","datavalue":{"value":{"amount":"+0.84067404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941724$571142A0-C056-46E5-9728-52FFDB5D31BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941724"}}}}}