{"entities":{"Q695060":{"pageid":696909,"ns":120,"title":"Item:Q695060","lastrevid":63692439,"modified":"2026-04-11T14:53:53Z","type":"item","id":"Q695060","labels":{"en":{"language":"en","value":"Interval arithmetic over finitely many endpoints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6117471"}},"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":"Q695060$3E70BE54-F6E1-4DAA-9EAE-C98DC9466158","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68cf04ae9b5758b54cf58fcafe2a38464e1e94d3","datavalue":{"value":{"text":"Interval arithmetic over finitely many endpoints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q695060$308C5CC7-CA71-4127-8915-1C5170B63865","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75fa39214aa175c8c1e908f0a4b5dccbdc89482b","datavalue":{"value":"1264.65072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695060$C74A39F9-E78F-4743-8552-D7A3B3C49C7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695060$C7CF134B-611F-4532-8A57-0E978A14D72B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"373b215c430e37eecbed9d77fcfb93ac4db05f90","datavalue":{"value":{"time":"+2012-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q695060$3E32CBC1-D832-4C57-A9D2-7F65A4EDB29A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0156428f07edc8aa0eeed5f50b7b29cfc9baff08","datavalue":{"value":"A finite set \\(\\mathbb{B}= \\{b_1,\\dots, b_k\\}\\) is called a weakly admissible set of interval bounds if its elements are real nonempty intervals satisfying \\(\\alpha\\in b_i\\), \\(\\beta\\in b_{i+1}\\Rightarrow\\alpha< \\beta\\) for \\(1\\leq i< k\\). If, in addition, \\(k> 1\\) and \\(\\inf b_1=-\\infty\\), \\(\\sup b_k=+\\infty\\) then \\(\\mathbb{B}\\) is called admissible set of interval bounds. On \\(\\mathbb{B}\\) a total ordering \\(\\preceq\\) is defined by \\(b_i\\preceq b_j\\) for \\(1\\leq i\\leq j\\leq k\\). The set \\(\\mathbb{I}\\mathbb{B}\\) of proper intervals over a weakly admissible set of interval bounds \\(\\mathbb{B}\\) is the empty set and the set of all pairs \\((a, b)\\in\\mathbb{B}\\times\\mathbb{B}\\) with \\(a\\preceq b\\). According to this definition the elements of \\(\\mathbb{B}\\) serve as (finitely many) endpoints of the intervals in \\(\\mathbb{I}\\mathbb{B}\\). Interval operations are defined on \\(\\mathbb{I}\\mathbb{B}\\) and extended to \\(\\overline{\\mathbb{I}\\mathbb{B}}= \\mathbb{I}\\mathbb{B}\\cup \\{\\text{NaI}\\}\\) where NaI denotes `not an interval'. In addition, the natural interval extension of a function \\(f: D_f\\subseteq\\mathbb{R}^n\\to\\mathbb{R}\\) is introduced. Mathematical properties are proved.   In a practical implementation the set \\(\\mathbb{B}\\) of interval endpoints consists of the set of degenerate ordinary intervals \\([f,f]\\) for all floating point numbers \\(f\\) of a particular format plus some extra sets. This is realized in the paper based on the IEEE standard 754. A modification is considered which ignores inputs out of range.","type":"string"},"datatype":"string"},"type":"statement","id":"Q695060$56D77EA0-090F-4B5B-9878-F2D195B6FE35","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"84333a0898fa310caee5697b63b5389235bb6427","datavalue":{"value":{"entity-type":"item","numeric-id":184518,"id":"Q184518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695060$E9CF6883-DD02-426D-81B3-46F3A9E3C739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695060$D996B9E6-E53C-4E2F-B9CF-75B49127EC0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c56c0619c38568028554f5255a46ffb76a0a4844","datavalue":{"value":"6117471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695060$932942FE-9083-4057-957B-75674731BC01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q695060$A66386D8-E43B-4251-9A86-E1D9FE0FFD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c84e0e3ad37aa22d786a6cb05a1aabaa6e763c64","datavalue":{"value":"IEEE 754","type":"string"},"datatype":"string"},"type":"statement","id":"Q695060$1988D879-1092-4ECC-9B91-9EC92F0E4AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb1c0a5a9423024510029fcbeb654caa9b5e6cf","datavalue":{"value":"finitely many endpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q695060$DE5E8BB1-583C-4E05-A13E-93A1AF0E335C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deee683fe627201b990559faeaad420daa0531b4","datavalue":{"value":"mathematical properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q695060$58BAF158-6332-478E-936F-427D8514411D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ede31c93b14a323e27184175b3f941767d3c8cc8","datavalue":{"value":"proper intervals","type":"string"},"datatype":"string"},"type":"statement","id":"Q695060$0EDEB7D9-2B44-4D5E-B32A-98BD1416EACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df9cfcc1a3e6e560e3e5c4ee1ef7e32f8993d60f","datavalue":{"value":"floating point numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q695060$EA0017F6-4360-4623-B0B5-93B69B8D49C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95ad191d356e32180762265f985054364e1fb96f","datavalue":{"value":"input out of range","type":"string"},"datatype":"string"},"type":"statement","id":"Q695060$23E7BB59-63C1-4E85-838F-44D83BCA419C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01e93fdc565c832ec5b9c03c607a58c8242ac351","datavalue":{"value":"interval bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q695060$B08E9B07-9046-4D26-916B-8C85EFB1133B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6da262b5743c14f88594d33397fb8ec199596e9c","datavalue":{"value":{"entity-type":"item","numeric-id":335015,"id":"Q335015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695060$5ED8091C-D6AB-473F-BCD7-547AC87B76BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcd2724f6e8447a24419ed553b7520f7a96db016","datavalue":{"value":{"entity-type":"item","numeric-id":16194,"id":"Q16194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695060$4D5864D4-819E-47C2-B8BE-D4E7BC3B262A","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":"Q695060$F2D7E2B7-2026-4F25-9849-0F427CF734D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c04bdc3cbfc204f40cf30387ccb6c3b0c85d76a","datavalue":{"value":"https://doi.org/10.1007/s10543-012-0384-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q695060$96DA2A29-2E54-419C-8EE5-B62940685654","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"195fe83cc867b5b9be711b6023a0a274b38823cf","datavalue":{"value":"W1964014031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695060$2CA7D786-5753-49AB-B161-DFE146379249","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbcde4808ebdc80cae557dadcee14ea720ad3802","datavalue":{"value":{"entity-type":"item","numeric-id":1814702,"id":"Q1814702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695060$EA2B0F6F-082C-480D-9676-4AC90F3199C1","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":"Q695060$0AF9E7F7-A76C-44DA-BF4C-CD16DE64E282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c001dd397cb92a2c48ebf13d0157bcc10fabd150","datavalue":{"value":{"entity-type":"item","numeric-id":3998722,"id":"Q3998722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695060$D13309E4-8E90-4B32-BF85-4A149B3F938B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0eabaf302a29422da7cf802a4ed710bca06648a","datavalue":{"value":{"entity-type":"item","numeric-id":858179,"id":"Q858179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695060$293A2424-0725-474A-A171-E14EFCDF9E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7464923d81853deaa10ebf504925145345ff75","datavalue":{"value":{"entity-type":"item","numeric-id":4870980,"id":"Q4870980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695060$84343BA6-D697-426F-AA2A-9909E76E1D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a462f97a14149f26095e85bb29dcdaa29aa187a","datavalue":{"value":{"entity-type":"item","numeric-id":4949347,"id":"Q4949347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695060$818235B4-2A44-435C-85B9-C370A3BB5C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758d3724017c484fb2035201d7ba18e8ef7868f8","datavalue":{"value":{"entity-type":"item","numeric-id":2890535,"id":"Q2890535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695060$DD1D2E45-32BE-4FE5-BEBC-89359693C248","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e058e65a1c4415f54ee24f860608fc8661b0f570","datavalue":{"value":"10.1007/S10543-012-0384-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695060$BBD60A7F-6F05-4657-88D7-6BB24EF6B016","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d93be551571fbd2006578c2e21f2db64e5d69a","datavalue":{"value":{"entity-type":"item","numeric-id":3196626,"id":"Q3196626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e210af7e1bbaf28ce23611cb9b17f3d0d20957","datavalue":{"value":{"amount":"+0.8905363082885742","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":"Q695060$9BC2980C-24D6-414C-9EEF-C02A30EC3925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c41b5925626d0315a443d23a023ca9ad13e938b","datavalue":{"value":{"entity-type":"item","numeric-id":3002923,"id":"Q3002923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13b4b2839d98b4e97a74b58e213b3f92b93e219","datavalue":{"value":{"amount":"+0.8222576975822449","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":"Q695060$3C0A207B-6596-4748-9357-D5207F756E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6baf14e6cb8591ec8656492047ea12a4b533a6","datavalue":{"value":{"entity-type":"item","numeric-id":2528075,"id":"Q2528075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63c88987373898a083aae85163518d9181d8d71","datavalue":{"value":{"amount":"+0.8057535290718079","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":"Q695060$7113278B-DF60-4041-8E9D-99ABC62AB5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388a37c9603e0fb1d308aa948a6ce357872f2f1b","datavalue":{"value":{"entity-type":"item","numeric-id":4851661,"id":"Q4851661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc02e9ad691335071e101724d1a48604b46547d","datavalue":{"value":{"amount":"+0.7947617769241333","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":"Q695060$CABDD9C7-A563-4693-9082-10F12BD1644F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552ecfe87c368a40ea92cb0193ff88b311dd610b","datavalue":{"value":{"entity-type":"item","numeric-id":3711662,"id":"Q3711662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2b5d8762c0922a7a886456e6236ca9d9fd6c0e","datavalue":{"value":{"amount":"+0.7940654754638672","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":"Q695060$DE4F97E3-7E1F-4B91-A59D-0A69C79608DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interval arithmetic over finitely many endpoints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interval_arithmetic_over_finitely_many_endpoints"}}}}}