{"entities":{"Q3114589":{"pageid":3125305,"ns":120,"title":"Item:Q3114589","lastrevid":45479776,"modified":"2025-12-09T07:28:54Z","type":"item","id":"Q3114589","labels":{"en":{"language":"en","value":"A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6007166"}},"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":"Q3114589$011027DE-3F7F-4A0E-82CB-B1389BA83FF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b6c82ee28fb9e36e775005a9058b33ca39b6fbb","datavalue":{"value":{"text":"A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3114589$15D9DA94-30D7-4868-BC16-A3C05A7C68E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fae9c57dd5ee6f20f2f27c680d69e0afd613f877","datavalue":{"value":"1232.47059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114589$B156B07D-BBAF-4A9E-977A-E71E80560504","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aec4c7b71a072c8238a5e5c3ada9f4e4f392227","datavalue":{"value":"10.1080/01630563.2011.594348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114589$06D0EF28-5CD4-45D6-8464-8185F04A489F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d92cc15d0637fd8d20d04857d45e76086c5e377","datavalue":{"value":{"entity-type":"item","numeric-id":188687,"id":"Q188687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$E77B51C2-6A95-40ED-A2AC-CD2F41D9D564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"212ff74b0ffdcb8051d2c465ac11c45b8f952c12","datavalue":{"value":{"entity-type":"item","numeric-id":204500,"id":"Q204500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$BA7AC54C-AE34-441A-B5E4-21154A5CDCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e95540be8f4ae29e0cd09df3ac80e3ab78a149f9","datavalue":{"value":{"entity-type":"item","numeric-id":411414,"id":"Q411414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$9F969AFF-0D49-4118-BB9F-493C91A8F577","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f2f9fdca55044e075945a422583e148f34a31c9","datavalue":{"value":{"entity-type":"item","numeric-id":2748918,"id":"Q2748918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$CAB97ADB-8E73-4C88-883F-EED334ADD84B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"946b44fdab37bff4ab623da170d329abb3e2dbc5","datavalue":{"value":{"time":"+2012-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3114589$23334DB0-0D9A-4B14-B00B-99D878CB6BF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1644f14a9dbaae9aa6ab9b1f229cf18d689a0882","datavalue":{"value":"47N40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114589$E28CB883-BD7C-4C34-BF66-2903D6841A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7058e6445d419a356a3fd5be04af78c961ea4f3e","datavalue":{"value":"47H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114589$FF36A957-439C-49CC-ACF7-C51F02BD9375","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6deeeb0e3020db40727b9cda5e35a7c5353ebb41","datavalue":{"value":"6007166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114589$7F8352E4-11C4-427A-8B27-B94EA96A26E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52d191be1a64d2a823d7f6d3cbe6390d1f4c93a7","datavalue":{"value":"computer-assisted proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114589$3FE52BC4-9122-4269-90F7-EEF979C83909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adbe899aefff254aa8d8bc1f3fe37254dd480fdb","datavalue":{"value":"fixed-point equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114589$0B4EC4FE-457A-4825-B46A-B98BE240ED29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4512f2a9d2e99a7556a73b19fe6c4c108d9d734b","datavalue":{"value":"local uniqueness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114589$946EDEF8-02A4-4ED7-8A81-C8EA558A0E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"209055baf9a861626a4de8b6a4c63a6d004160b9","datavalue":{"value":"numerical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114589$28B6FD6C-2100-4BFA-9303-BC2F3726631D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"708dd0454ff332e35e9cb64f581e92f5de17b0df","datavalue":{"value":"self-validated computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114589$2B97BC6A-4962-4B6E-87E1-6FDA576733A1","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":"Q3114589$2AF60EEB-A5AA-41B8-B741-9B71C021DAF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28364ce05fd4648982e3a1eab4e2bbc91c802789","datavalue":{"value":"https://doi.org/10.1080/01630563.2011.594348","type":"string"},"datatype":"url"},"type":"statement","id":"Q3114589$DF419A2E-00FF-4854-9A48-1597C741C1F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1efcb601c6c4e5db2c7655e892109e0bdb42a3c","datavalue":{"value":"W1986291209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114589$2131C478-5923-4A7A-AB37-ACC318A9F6E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d096ad35c32662be4596601668d001e2923907a5","datavalue":{"value":{"entity-type":"item","numeric-id":3345690,"id":"Q3345690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$D9055634-1303-4345-97E5-B5FB15F761A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"069a905f008bdd3bcda889b652f70815b16fdd8b","datavalue":{"value":{"entity-type":"item","numeric-id":5526845,"id":"Q5526845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$9A4BB6E7-7DB0-4AE8-BA34-8A0DFBFFA734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"513cb099aafc5ee32af415151e16ff718e3a14c7","datavalue":{"value":{"entity-type":"item","numeric-id":1877193,"id":"Q1877193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$E0404F1D-BCD2-4A87-B41F-BAEC886C367A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a11476c0720f6c45d575d0373ddb9a85d618d0da","datavalue":{"value":{"entity-type":"item","numeric-id":1193173,"id":"Q1193173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$DCF810C1-A377-45D5-A0FF-02BFDC50C019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7557e681faeeb9fd5350f6437b93f2eb19257b","datavalue":{"value":{"entity-type":"item","numeric-id":1378621,"id":"Q1378621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$B0BC65E3-7154-4E9C-A413-E1EAC14E7E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af10805c71cb1925d42e04a26735ed3b36c141b9","datavalue":{"value":{"entity-type":"item","numeric-id":1298533,"id":"Q1298533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$C160FCE0-3FB2-459B-AC6F-172C32C080C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202881aa87957739f9a20ec151483d2a9964f83","datavalue":{"value":{"entity-type":"item","numeric-id":689916,"id":"Q689916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$E02CB56F-3F7E-464F-A7A2-1CB73C2117DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b99195f63ad9b958f3f44f3452d01c5e6eeb7c","datavalue":{"value":{"entity-type":"item","numeric-id":2378271,"id":"Q2378271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$562DC25E-5F2A-41A9-97B3-505DCCCAC8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95701f72687a953c4c5d9a5bd0115b8919512272","datavalue":{"value":{"entity-type":"item","numeric-id":1430499,"id":"Q1430499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$E06FD2B4-25BE-40F6-946D-E68DB23581A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03622cb3cf7c47de407f6765c58c5544f18fd32b","datavalue":{"value":{"entity-type":"item","numeric-id":4210317,"id":"Q4210317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$E80E7993-BADF-463A-A4A7-FA9E05DB35E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d093af5dea6a281d96a74c3c24382abc6503f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1900766,"id":"Q1900766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$14B5CEB6-87D6-4151-814E-82D76E6B3097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cbba4fe66c73365a04a556781e55570ebf17bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3706042,"id":"Q3706042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114589$68D4D673-E676-422C-B364-BE3396D662B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a210f4424fde70e230422d5d856ec0d850afef","datavalue":{"value":{"entity-type":"item","numeric-id":4210317,"id":"Q4210317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ba54c1c5fe58bd13e9f2209553789ef0d51bb9","datavalue":{"value":{"amount":"+0.9445338","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":"Q3114589$5DD71C77-DF2A-4E6D-9F63-47995B4018C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd96283923b83a6f88a83ec2b277eddea9f5274","datavalue":{"value":{"entity-type":"item","numeric-id":4265782,"id":"Q4265782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76c4a934016e5a731f76e2bc45f47497157ed8c","datavalue":{"value":{"amount":"+0.9314753","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":"Q3114589$13A8D878-859B-4854-8362-00A7E2C1E682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc6652cd25f51dda04039e576eede989081d845e","datavalue":{"value":{"entity-type":"item","numeric-id":3617838,"id":"Q3617838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc8b64b39c73a6aa3b48d769e10fb1c65b2e3f64","datavalue":{"value":{"amount":"+0.88277507","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":"Q3114589$E0CCF479-9772-45DB-94D9-B989CC5AE7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc65c732334df27b8f1eaa525ced4a169012ebf3","datavalue":{"value":{"entity-type":"item","numeric-id":4251306,"id":"Q4251306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f5270aa6d43aa36c122f7ab91f42dd75638d7b","datavalue":{"value":{"amount":"+0.8772706","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":"Q3114589$24A223AE-A020-4EE2-8C4D-17193B265EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da900e0f99ba19446e2c65315d26e0fefda71f60","datavalue":{"value":{"entity-type":"item","numeric-id":5949506,"id":"Q5949506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea051fe1bfc32b05bc20ff57fdb844455a5e8f2","datavalue":{"value":{"amount":"+0.8771512","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":"Q3114589$AE84638A-D141-436D-8A36-0A5B24D0F9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c12b478e33329cc54279a1b0474602334b32446","datavalue":{"value":{"entity-type":"item","numeric-id":1585562,"id":"Q1585562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484643262906e9cc880405edce980ce887a17e6a","datavalue":{"value":{"amount":"+0.87633425","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":"Q3114589$DD1AD796-FCF1-49D9-BAE1-3351E2D8D10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0852df63a94fe53941bdc6584c6129bc2cb41ca","datavalue":{"value":{"entity-type":"item","numeric-id":4302480,"id":"Q4302480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea93c2027a7670dfa70c517660d058c5d708d938","datavalue":{"value":{"amount":"+0.8762608","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":"Q3114589$CA4BA0EB-A112-4FB7-B536-A9D637B6B6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bece6f0a80537e31fad6559c2fc8cb1110be035c","datavalue":{"value":{"entity-type":"item","numeric-id":701913,"id":"Q701913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532675f720e1c400ca7ad4f94ce437b2ffe87a88","datavalue":{"value":{"amount":"+0.87525034","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":"Q3114589$E036F71A-2507-4003-B56F-CCB07EA0A185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d17ff0774a328f220bc4ef96204b12fcca21c04","datavalue":{"value":{"entity-type":"item","numeric-id":1600357,"id":"Q1600357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebca0ed97c8e316d5ecd079d1b8e66f60aac1cbf","datavalue":{"value":{"amount":"+0.87508655","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":"Q3114589$5E7D1C04-E201-4CBA-B2C9-28D2DD70515C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b5af5f5c4d53626bf5c90e0b8cac0854a57047a","datavalue":{"value":{"entity-type":"item","numeric-id":3140971,"id":"Q3140971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc054286c3a789e0a74b3f3b26e7a35e1a5e20e","datavalue":{"value":{"amount":"+0.8690444","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":"Q3114589$588E1FF9-BF60-46F6-A079-5FB38F24CA09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3114589","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3114589"}}}}}