{"entities":{"Q819711":{"pageid":821559,"ns":120,"title":"Item:Q819711","lastrevid":64702173,"modified":"2026-04-11T21:39:33Z","type":"item","id":"Q819711","labels":{"en":{"language":"en","value":"A quantitative version of Kirk's fixed point theorem for asymptotic contractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5016183"}},"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":"Q819711$BA1155BC-F534-40B2-AA27-526C27DD5A59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"578e2df0edc887ae2ef35d2928c5ea81aa2d02ca","datavalue":{"value":{"text":"A quantitative version of Kirk's fixed point theorem for asymptotic contractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q819711$8BDA5A96-EEF4-4580-A7B8-5C847EE10487","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f5ac3c51a4d3bca3a655e1c2e74cacea704d73e","datavalue":{"value":"1094.47050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819711$BC8B593E-3C3F-4116-854A-D79292E6F013","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b72ed3f0645b45bfaac00358ab147f29f3539249","datavalue":{"value":{"entity-type":"item","numeric-id":819710,"id":"Q819710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819711$2E969D76-34B3-48A1-A5C1-E0ADBBB1696E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819711$C7EF9F04-324A-4BFF-894F-8C55910137AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c49568d53c8ad1554f70d0d5613f2d9e8132fc7f","datavalue":{"value":{"time":"+2006-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q819711$79741916-99B6-4E52-A375-3E1AB0E52C69","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6e09be1e4fc6e5a9d3f18983e5bda413bbd2e9c6","datavalue":{"value":"The author introduces a variant of the notion of asymptotic contractions due to \\textit{W.~A.\\ Kirk} [J.\\ Math.\\ Anal.\\ Appl.\\ 277, No.~2, 645--650 (2003; Zbl 1022.47036)] and give an elementary proof of his fixed point theorem, which provides an explicit rate of convergence, in contrast to, e.g., [\\textit{I.~D.\\ Aran\u0111elovi\u0107}, J.\\ Math.\\ Anal.\\ Appl.\\ 301, No.~2, 384--385 (2005; Zbl 1075.47031)]. The idea is to use techniques from proof mining, as developed by \\textit{U.~Kohlenbach} and \\textit{P.~Oliva} in [Proc.\\ Steklov Inst.\\ Math.\\ 242, 136--164 (2003; Zbl 1079.03045); reprint from Tr.\\ Mat.\\ Inst.\\ Im.\\ V.~A.\\ Steklova 242, 147--175 (2003); see also \\textit{U.~Kohlenbach}, Trans.\\ Am.\\ Math.\\ Soc. 357, No.~1, 89--128 (2005; Zbl 1079.03046)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q819711$C9141862-79A3-4F2C-A2BE-BA4F62A9DF91","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1bb9f478d5616404a245864b24b8c2b036c49048","datavalue":{"value":{"entity-type":"item","numeric-id":192895,"id":"Q192895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819711$5E52F0ED-F4A7-42D2-BBBD-2C99557D05F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7058e6445d419a356a3fd5be04af78c961ea4f3e","datavalue":{"value":"47H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819711$1BD40D1F-AF07-46D4-B12E-BA0010864F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819711$2511C926-DC96-4C78-827E-C9E415A99402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819711$E2D18D28-28FF-462C-9A63-23D9E9B2CB9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4a9ee3e8c54e7d666fdac8dc33731d3c5d1e8c2","datavalue":{"value":"5016183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819711$E7B6E8F3-5D4E-46B8-8933-A3B0F3BD3481","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c36a23a7c570cf9d6cc785509dbb68546bd0e408","datavalue":{"value":"asymptotic contractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q819711$0B419C7B-CD00-46B0-AC21-B316A18FFB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q819711$692A0C09-8A45-4D32-AD06-72AEE90A8FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q819711$37FD54D2-2A38-4EA3-A568-DD6DA7F15E6E","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":"Q819711$2FCC304F-FDE0-4836-9BD7-DE12D5258446","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c13fa12996df5dc0e94a17d2c429055f389d9a6","datavalue":{"value":"https://doi.org/10.1016/j.jmaa.2005.04.039","type":"string"},"datatype":"url"},"type":"statement","id":"Q819711$36103C98-6A12-4B6C-9174-D2B2F893D06D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c235328a7891ae61661e739186c31312fe84cff6","datavalue":{"value":"W2166927710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819711$CED530AC-1622-4FD6-B88F-2E52FFD84F9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d70e63c5c43d6f8305ee514f64b168b17b33cb3","datavalue":{"value":{"entity-type":"item","numeric-id":705267,"id":"Q705267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819711$8722AAC0-A8CA-4099-89AF-B357D4233C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fcc4df79d926073a68afb5611ed101cc591f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1765791,"id":"Q1765791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819711$5071535C-84BF-4374-85F1-35FEEC82B329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0391cee937dfa1078cd360f773ddea9d1966df97","datavalue":{"value":{"entity-type":"item","numeric-id":1868796,"id":"Q1868796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819711$85DBC4C9-C5AD-4E02-99E7-AEFE95CACDDE","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":"Q819711$EA913C62-B15B-4912-BA9B-315A29007201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3604ad3e0508efa1d25af6dacc23f1ed8921595e","datavalue":{"value":{"entity-type":"item","numeric-id":4681899,"id":"Q4681899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819711$038B0968-12F9-41FE-BA25-DE6B048AB617","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae6b2af4c8ad76d949d7c18f00079f5b9ec81389","datavalue":{"value":"10.1016/J.JMAA.2005.04.039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819711$5EC3724C-F0E7-4BD6-8114-93CFAC7B3694","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457d8bffaa492f2fc719d2395fb506b06aac853d","datavalue":{"value":{"entity-type":"item","numeric-id":705267,"id":"Q705267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c854f4e50c5f50645eb576ce1bfeab2b89bb8ac","datavalue":{"value":{"amount":"+0.8607840538024902","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":"Q819711$430C88A1-F21A-4352-B7E7-7C3048C6E147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c000e62b41dfb02bcf9a1e6266befec146802aba","datavalue":{"value":{"entity-type":"item","numeric-id":874950,"id":"Q874950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef1f8298964500168e1166b01b1d24bce59b419","datavalue":{"value":{"amount":"+0.851479709148407","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":"Q819711$D8D02B5B-3B37-4474-B6D9-C32BB171C7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5f6ef9462bb07221aad6fd2b578ed4cd970352","datavalue":{"value":{"entity-type":"item","numeric-id":3184847,"id":"Q3184847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77cfcdc5f96a3511f303923942e337051932eb1","datavalue":{"value":{"amount":"+0.8476797938346863","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":"Q819711$2FCEB797-8E83-4FD1-9368-15AFEE691F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4188aa17ec3fd31406ba1541ccbfaa2a72cf7d6","datavalue":{"value":{"entity-type":"item","numeric-id":1765791,"id":"Q1765791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c9da16be0f761562d27e665a2c9d29863d05e9","datavalue":{"value":{"amount":"+0.8212255239486694","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":"Q819711$5AB7E39B-F678-4B2E-B6F6-B1EEE97177DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16eaacf05d459abd2a8066113b615fff7c2c16c5","datavalue":{"value":{"entity-type":"item","numeric-id":3590772,"id":"Q3590772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29bb9788532ba8d4af3cefb31b0f795fcbe6ebd0","datavalue":{"value":{"amount":"+0.8145168423652649","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":"Q819711$9724ABC8-F0A0-47B0-8B49-668167F3265C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A quantitative version of Kirk's fixed point theorem for asymptotic contractions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_quantitative_version_of_Kirk%27s_fixed_point_theorem_for_asymptotic_contractions"}}}}}