{"entities":{"Q5935459":{"pageid":8112261,"ns":120,"title":"Item:Q5935459","lastrevid":93409424,"modified":"2026-06-05T04:21:08Z","type":"item","id":"Q5935459","labels":{"en":{"language":"en","value":"A limitation for underestimation via twin arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1610314"}},"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":"Q5935459$32FAA7B8-7682-4197-A9F8-195C62723A97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fb8852d17f6e422f7088f5e2b51f7e38e795f6b","datavalue":{"value":{"text":"A limitation for underestimation via twin arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5935459$A09A52E5-5830-4CC0-ACC5-A9F7F60ED31D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36b949c877095792930777fe8b1c57c0cb7b4a29","datavalue":{"value":"0982.65059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935459$C2A6675D-A746-48EC-B75A-BF63DCE3B8DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a446ff27c246b7f2feea4afc49e46ad4339ead48","datavalue":{"value":"10.1023/A:1011474231995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935459$66FE8471-8EB7-46C9-A0CA-49B76FA77FEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01f808d6ed2273e81fa02df15336b948d7d3d2f5","datavalue":{"value":{"entity-type":"item","numeric-id":1868529,"id":"Q1868529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935459$2980E26C-E97D-4D4E-ABFC-03BADAB34B4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7999e3e01d43838ac559f475f3b198149793512","datavalue":{"value":{"entity-type":"item","numeric-id":163536,"id":"Q163536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935459$B0B4558F-27DB-43BF-99F8-BF9F03B3707F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cd6c78d17e8a8443dec489a5dbfd44e8bc13441","datavalue":{"value":{"time":"+2001-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5935459$1AF8DB96-29B4-4F60-BF24-A74549EB572A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"398e4b19cb03e0f6cb4de1f55e743a27b0bf6a81","datavalue":{"value":"Computing an enclosure for the range of a rational function over an interval is one of the main goals of interval analysis. One way to obtain such an enclosure is to use interval arithmetic evaluation of a formula for the function. Often one would like to check how close the overestimation is to correct range. \\textit{V. Kreinovich, V. M. Nesterov} and \\textit{N. A. Zheludeva} [ibid. 2, No. 2, 119-124 (1996; Zbl 0853.65050)] suggested a new kind of twin arithmetic which produces a twin of intervals at the same time: the usual enclosure, i.e. an interval which is an overestimation for the range, and an interval which is contained in the range, i.e. an interval which is an underestimation for the range. It is shown that in certain cases the computed inner interval is much smaller than the correct range. For example, if the function has the same value in the two endpoints of the interval then the inner interval is either empty or contains only one point.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935459$B9BDF544-ED68-4257-B983-0C9971ABEF57","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"94066a8caf05424e1d0dce178d93b34a80cb643c","datavalue":{"value":{"entity-type":"item","numeric-id":1264412,"id":"Q1264412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935459$D3BFB3BF-6A26-45F4-81A2-7B4F21B871F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935459$233F56B0-8815-4776-AC7D-75A56E11E79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde5a4fbe64a00aecf96d44aa53174002a5dae04","datavalue":{"value":"65G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935459$3558C6D7-E863-4092-8FBD-3301AF40F1D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"883f8a104acbbf7053f466ddf458dcb770157942","datavalue":{"value":"1610314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935459$51F65ED4-2251-40B0-8E83-CF42FCC76018","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f05bffe385c8127c6e989442160ec26d1e86cd88","datavalue":{"value":"twin arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935459$2AFA43F0-8EFF-4295-974B-0DB0B7CE0C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ac6a1730c5c5bac9b743801eb69a38519ee797d","datavalue":{"value":"range enclosure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935459$DAAAA7A5-510E-4A73-831C-C1E76B00315E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0af6d01e3382ec38296633ca960bb22b18f6469","datavalue":{"value":"underestimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935459$A547987D-D788-4571-82D7-23CA59359F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc4e523591f3722e16316f0007663afd25b81c","datavalue":{"value":"overestimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935459$939E3D73-208D-4979-A8F2-AFD21159EDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f9664a92e1dda2e675ee3135774b494cc63b1f","datavalue":{"value":"interval analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935459$F73B8928-1C3E-486E-892F-D6E70E2C5EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935459$32BD757F-9B3F-47D6-8A72-3B95B5F91FAF","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":"Q5935459$1AA940CB-A3E0-4D1C-A93E-34A39FA77C65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0d3ff8205c153138857f165f2e9898f9df4e815","datavalue":{"value":"https://doi.org/10.1023/a:1011474231995","type":"string"},"datatype":"url"},"type":"statement","id":"Q5935459$697D1B5A-A081-4725-B106-B7B9970EA516","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24e698bc5418b7186734a12830f9d61a895753e2","datavalue":{"value":"W43877154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935459$39E12CC2-D55E-4915-A67F-6B35D9F88743","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3ed150fbd922935d293185612fc1ef60e693d4","datavalue":{"value":{"entity-type":"item","numeric-id":1375597,"id":"Q1375597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d63547f91b59996a47c364d1e959cfbd632a0a","datavalue":{"value":{"amount":"+0.8565579652786255","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":"Q5935459$B422C802-BD23-4411-AEA0-FA46A8C2F2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87de4cc1473dc2d73c2fa93f307ef7f44debeb24","datavalue":{"value":{"entity-type":"item","numeric-id":2572613,"id":"Q2572613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d63547f91b59996a47c364d1e959cfbd632a0a","datavalue":{"value":{"amount":"+0.8565579652786255","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":"Q5935459$ABF31ECF-6269-48A9-9172-ECE4125B6A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4b4713c77305c348b279a4e9d179d1d70e611b","datavalue":{"value":{"entity-type":"item","numeric-id":1603894,"id":"Q1603894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66345318fadf81361271aeb132b4a03e588f7906","datavalue":{"value":{"amount":"+0.7864997386932373","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":"Q5935459$A1921703-590C-4D57-B139-5FB3F2657AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d0069731ac4ea55fc53636a46b91307af03bb0","datavalue":{"value":{"entity-type":"item","numeric-id":1916983,"id":"Q1916983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35611f91739ed07941968f40fce587677125af29","datavalue":{"value":{"amount":"+0.7790353894233704","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":"Q5935459$90648DBF-8EB4-4508-8B66-2003EF9BF134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a749c341ee5c3bfca2856183b763958993fcbcaf","datavalue":{"value":{"entity-type":"item","numeric-id":1377272,"id":"Q1377272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef799d597f962af3e15d490a0ca5fb0523bca94","datavalue":{"value":{"amount":"+0.7743632793426514","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":"Q5935459$24C53D9D-E83D-4696-BD57-5B86815E359C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A limitation for underestimation via twin arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_limitation_for_underestimation_via_twin_arithmetic"}}}}}