{"entities":{"Q1900758":{"pageid":1911500,"ns":120,"title":"Item:Q1900758","lastrevid":47358475,"modified":"2026-01-01T12:17:01Z","type":"item","id":"Q1900758","labels":{"en":{"language":"en","value":"Epsilon-inflation in verification algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 808368"}},"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":"Q1900758$9CA6E972-B276-498C-BAE3-CC32F9F5F860","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b81f8ae7a83c96ddc4923f2499edac3037a13ef8","datavalue":{"value":{"text":"Epsilon-inflation in verification algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1900758$1250F069-4AB8-42F7-81BD-C54FCF37F8E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df9351464b1e9e9fc79c48665ae42dc3e61d5889","datavalue":{"value":"0839.65059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900758$291074B1-F6CE-4235-AB66-5BABC36EDA2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cba7321b9b3deb7790ea6d5b512d2ae9e593558d","datavalue":{"value":"10.1016/0377-0427(94)00089-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900758$367D23AF-6F21-4158-8846-02C3EC0A6765","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9291c21615d62497aa2bb6404791ba4d7844695d","datavalue":{"value":{"entity-type":"item","numeric-id":61355,"id":"Q61355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$1AFD6E58-2D0F-4717-A458-303AF45663EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30a12904202ce9dad592278ef988cd4f47453673","datavalue":{"value":{"time":"+1996-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1900758$DF357562-1A67-43E2-BA91-C6B5469934DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8cf0d60d66a76e6f3acb104c2364e786d766435","datavalue":{"value":"The paper deals with the problem of finite termination of verification algorithms using an \\(\\varepsilon\\)-inflation (introduced by S. M. Rump). Sufficient conditions for finite termination are given, based essentially on the assumption of the \\(P\\)-contraction property of the response mapping. The results are illustrated on several examples including computations of verified enclosures for eigenvalues and singular values.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900758$A5078443-53F4-4B4B-81BF-0497521239C5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a6ba53c58e0084a9f17d607fb0ad639f8cc8b0b7","datavalue":{"value":{"entity-type":"item","numeric-id":277136,"id":"Q277136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$3CCA5786-2BB7-4721-A28B-E2A1180F28E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900758$F9A8C89B-750D-4107-8FA8-41EBB2F4BE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e57e2977a9ed0e05339dd5f1673c9f0c9ab91235","datavalue":{"value":"65H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900758$EA3D983D-EFB8-4641-A176-99AB8A9B7FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1fd405649af5a3f9a37557a0bd816920cbf1d33b","datavalue":{"value":"65F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900758$F51BA6B5-70CC-4795-AAF7-436AC6B84591","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a8e03c82fba9680710cc1c9b9924c541ddbc9b3","datavalue":{"value":"808368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900758$20D98307-5C1A-4FDC-9797-58EB88F4A9BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf8c6701b4ef751394de5d59726bb9dec41879d5","datavalue":{"value":"epsilon-inflation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900758$D71850A4-2471-4B51-AA31-B3C898B778E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2913f540a85eee23e61530f5b1e26c3f52eee5","datavalue":{"value":"self-validating method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900758$C8725690-AA51-4AE2-8864-3E8A0BCD3C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"692b44e18e1377fb4baaa7a97137c33c00cba7fc","datavalue":{"value":"interval computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900758$814B7150-4779-40A0-9124-DABFBA475978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ad5b617b53554ca0a584d2a1a7be40d5d54122","datavalue":{"value":"finite termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900758$E780982E-FD60-4FCE-93BA-0AF759188483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f3272cda46ecbd05c5b4db7149aa03380185220","datavalue":{"value":"verification algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900758$40D986FD-68D6-4D8A-9FAF-095734A8F1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941d90af621c3967ab93c7637c6949e7bb1f86f9","datavalue":{"value":"\\(P\\)-contraction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900758$2F9C788B-3131-4D65-9EDA-4CA7CF1A1797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"811604a75801fcd709c8667f83ea26944825b8d2","datavalue":{"value":"eigenvalues","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900758$E93FE4BA-12F5-49CF-B9C4-CA7207E7DA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a44b9a2942b4df068269d3753bdd37d2d87d27","datavalue":{"value":"singular values","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900758$6DDA9DCF-B918-411F-838B-7E2A655B194E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284f62995decb63847c8949da3cd20c62c1c7e70","datavalue":{"value":{"entity-type":"item","numeric-id":184518,"id":"Q184518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$6CD56668-7B6B-44CA-9131-2E1FE76D4316","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"52e7ee6951139c61358a377c96918787d0966a9f","datavalue":{"value":{"entity-type":"item","numeric-id":30694,"id":"Q30694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$34C9F3AB-FA19-46F8-AA40-3F54D8317DC1","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":"Q1900758$B21B7F21-4D9E-4035-AA89-7EE780FFE2D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be087177f422b0ceddc83bd52a854b7fdb43d65d","datavalue":{"value":{"entity-type":"item","numeric-id":3759808,"id":"Q3759808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$ED8D2021-3A6F-4B2C-811B-918E12E054E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d85db6bc8a445086500ca23ef625cbb7dd2ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5903673,"id":"Q5903673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$DDF837AD-C054-4707-8E25-230727AEC3A4","rank":"normal"},{"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":"Q1900758$AD837C51-D8C0-492F-9544-DC46641F2327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce79cc46d29ecb9eb4d7d153ca9b68910bcd541","datavalue":{"value":{"entity-type":"item","numeric-id":3802507,"id":"Q3802507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$5C2F08FB-057D-4A2C-8AD6-5FFC5D9C9C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c836eeaa96d9faf7672368c5e800c38d7b6842","datavalue":{"value":{"entity-type":"item","numeric-id":4185747,"id":"Q4185747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$8B520D49-1640-4281-9CFE-53D79F40C082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b1287a14df5d5f85ac4e7d7ddcf4b5b62ee8aa","datavalue":{"value":{"entity-type":"item","numeric-id":3830412,"id":"Q3830412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$FDE22F9F-844C-474D-8E82-DA241B016FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7746d6002b47dba97e4285f8e72074d0729ed3e","datavalue":{"value":{"entity-type":"item","numeric-id":4868556,"id":"Q4868556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$EA5FE4DE-F7EE-4363-B068-92727650C714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"649d117e151cb63e92017b680aa3d36aef26d5d7","datavalue":{"value":{"entity-type":"item","numeric-id":3999735,"id":"Q3999735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$094F2D7C-9AE3-4EC8-BD5D-9CDC33E66FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76eae5d2db67d785ed5639b1cc17d5164029e00f","datavalue":{"value":{"entity-type":"item","numeric-id":3140953,"id":"Q3140953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$2964C242-AA78-4631-BACA-8EE69BE06754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c063202c845adff735267531fd9c6606072c4a28","datavalue":{"value":{"entity-type":"item","numeric-id":3031832,"id":"Q3031832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$C94A2F6F-AB29-47D6-82FD-B11D62EEA6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1a9ff32d8ce47cb91d2eb894e20ed0f111f9f9","datavalue":{"value":{"entity-type":"item","numeric-id":4868523,"id":"Q4868523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$147DAE4D-144B-47BF-84F8-87CB883DF1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c49997579ff3e102a5ba79e44e0a8a49a646d8a","datavalue":{"value":{"entity-type":"item","numeric-id":4295150,"id":"Q4295150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$D0DE4483-1369-4B1A-964E-56F576AA5E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d0f6a661894ff7125032730a4b129fba832e63f","datavalue":{"value":{"entity-type":"item","numeric-id":4303701,"id":"Q4303701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$F080FCC3-F398-4459-9F99-7E83351F6262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42edee989187062430fb95d373ff478e9c2e9ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5566070,"id":"Q5566070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$C1FE47CB-5F11-462B-9C3B-F2ABD8CAF852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1ed35e24533712b2c078b403f2fce7e51b332f","datavalue":{"value":{"entity-type":"item","numeric-id":3207999,"id":"Q3207999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$5BB97BA2-FBF3-4741-ADE6-EFBE3FA09525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c6ec072a89146545e93445fd192f502b143ebb","datavalue":{"value":{"entity-type":"item","numeric-id":919061,"id":"Q919061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$0C7C8DBE-1636-40B4-9AAA-FB2FA54EBCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd7838deea6076021e0f0635dc72078979c19c2","datavalue":{"value":{"entity-type":"item","numeric-id":3996567,"id":"Q3996567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$173BA4F1-3B29-4A9A-B73B-88B4052512AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fcd1ee8ac759d0b53271ab98fbce055d727d780","datavalue":{"value":{"entity-type":"item","numeric-id":5652137,"id":"Q5652137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$BDE0A155-3AAF-4D51-A725-A6289A2C697F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15094bdf15b5f5d67a7ab89f5af06def19612e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3878653,"id":"Q3878653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$BD453A79-5179-406E-A39D-E6DB26A150A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed311ac373e6cf7da34a71798bc00b8795d08a4","datavalue":{"value":{"entity-type":"item","numeric-id":3730926,"id":"Q3730926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$6A437EE8-0829-4472-9586-9AB77DA396DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a1670e0ee83b9046ac2dd1c3eceeea00d43da1","datavalue":{"value":{"entity-type":"item","numeric-id":1184703,"id":"Q1184703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$82B19EAB-AB5B-40A9-BF2B-5130BDC7D2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7375eb3fb16e53fc324a206ccc762e44b4aa93","datavalue":{"value":{"entity-type":"item","numeric-id":5342712,"id":"Q5342712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900758$6822A58C-F8E5-450A-82F7-A0DF7BF357C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f894a7c9b2b629a281a45b11015db0802d4237be","datavalue":{"value":{"entity-type":"item","numeric-id":4885358,"id":"Q4885358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef63ac3fd75d22de7c1043b18f889dec0c9e266","datavalue":{"value":{"amount":"+0.8315468430519104","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":"Q1900758$733B04D7-A715-435D-99DF-7AACBE6E9DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4f18f3260199ada51737b2e8938be13649af04","datavalue":{"value":{"entity-type":"item","numeric-id":1979002,"id":"Q1979002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5e4969e35d33f3dbcfe7d92ad706cf51cbf91e","datavalue":{"value":{"amount":"+0.8283104300498962","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":"Q1900758$877F8DBF-207B-4C04-9DCE-6A767DA4CB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de62006e775f2124b65f21a88dfe96d55932f7b","datavalue":{"value":{"entity-type":"item","numeric-id":1276130,"id":"Q1276130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d374406134a9f4c1b78156a28831b2bda5c3b4","datavalue":{"value":{"amount":"+0.8218305110931396","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":"Q1900758$788682A3-06DF-4DA2-B62A-9FE0CB6F1685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc34bdf91c2c1fae3867bd67fb1351485e36df07","datavalue":{"value":{"entity-type":"item","numeric-id":3140953,"id":"Q3140953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91845ca63b9d67e15a203115db3be471d69ab79d","datavalue":{"value":{"amount":"+0.7538477778434753","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":"Q1900758$11EDCB0E-E3F1-4BA2-9F00-F592CC51E1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e99ffd6830bdef42c5cafd08a80bfd469695442","datavalue":{"value":{"entity-type":"item","numeric-id":1375604,"id":"Q1375604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c859e6e855396694d2c949507db7b91bfa1b1e","datavalue":{"value":{"amount":"+0.7429183721542358","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":"Q1900758$2D934269-6325-44A7-BB58-D8E985262C39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1900758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1900758"}}}}}