{"entities":{"Q1377272":{"pageid":1388012,"ns":120,"title":"Item:Q1377272","lastrevid":70284015,"modified":"2026-04-13T13:43:48Z","type":"item","id":"Q1377272","labels":{"en":{"language":"en","value":"A sufficient condition for non-overestimation in interval arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1112328"}},"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":"Q1377272$6B762288-49AA-4D3D-9F42-8FC05D17620E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcd80a163eb4606599ed05614ca7f18a9ca0506d","datavalue":{"value":{"text":"A sufficient condition for non-overestimation in interval arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377272$5EC9F742-5B40-49D1-98C0-D1298DADACE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c62daf6f403a19f7dfa48d46b2158934dc3db65a","datavalue":{"value":"0894.65020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377272$7F8E36C2-1082-4663-BE14-943745550E2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b8f5d7fca5a28945421025001aead75b10b4151","datavalue":{"value":"10.1007/BF02684417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377272$A85BA8AB-A595-41EC-B84D-6A557FCAEA93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7089f81898da3f156bc1567626956a7051f43d26","datavalue":{"value":{"entity-type":"item","numeric-id":1375601,"id":"Q1375601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377272$029D3DCA-4946-44A6-BB1E-F039075E63C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b79ece58f33b59758a066cb6b9ee149bab3a2c9a","datavalue":{"value":{"entity-type":"item","numeric-id":167642,"id":"Q167642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377272$71BD5A44-5239-419B-8352-42AA63C1BE32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90be8f5dc0e60fb4846280e54963389fbc8a7709","datavalue":{"value":{"time":"+1998-08-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":"Q1377272$00958F35-D12F-4BA2-AB66-A8EACA8576A2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4429f3683467b7902e055f675f3a6b5cb81071c","datavalue":{"value":"A sufficient condition is given for the range of an arithmetic expression over an interval to be equal to the result of evaluation of the expression in interval arithmetic (``non-overestimation''). The condition is given in terms of nonnegativity (nonpositivity) of partial derivatives of the corresponding expansion of the expression. As consequences, sufficient conditions for non-overestimation for polynomials in factorized or Horner form are given. The results say that non-overestimation occurs if the interval is ``sufficiently far'' from 0.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377272$AEDBAE2B-CB37-4C94-8A0B-F07A0019F880","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":"Q1377272$9A78F1F8-C963-4716-A9FB-22511E06674E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377272$7CAF7B86-1301-470F-A40C-320A42410454","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"077c9ce587e87aa178a33341934a4b1df3678595","datavalue":{"value":"1112328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377272$953326C7-24DB-445D-9DD6-196F6C67F391","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377272$8B41A751-9F04-4CF4-9524-B991006C2EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dea43bc1d57b1e3098e5b3497d65f111ab33843","datavalue":{"value":"range estimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377272$7DAC441F-7497-4E21-9DAE-B97808996ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69b87b315195f825b6446c180970ca77e3cf1ff","datavalue":{"value":"non-overestimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377272$82A56F77-F1E6-4CEE-95C2-0825986481B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a609ae2c21271342f267522dda74375687f014","datavalue":{"value":"polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377272$68687FD0-93A4-4B68-8D4D-453AA6D29603","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":"Q1377272$7FB057AE-5494-4C3A-A51A-1FA0901B9F40","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":"Q1377272$615305F7-4167-44DD-8407-186F590D1D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cc58c7f29f8e05723c7f7d972bfcd8c388a40b","datavalue":{"value":{"entity-type":"item","numeric-id":4277813,"id":"Q4277813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377272$664D457A-C207-486B-8C51-EBD60ABE6A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"987d5fe9e1eb7279bb9d67d0f9ef48946c41eade","datavalue":{"value":{"entity-type":"item","numeric-id":4004279,"id":"Q4004279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377272$8DBE3946-9078-4D09-8CE0-B7DB3A435FDA","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":"Q1377272$D586DA22-8C56-46AE-8082-D23B551AE1D8","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":"Q1377272$6120C02B-7854-4BB6-AAC4-8618928FC134","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":"Q1377272$8A0AD31E-E66B-4C9D-B308-ED504AC5517E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb735a4fe76770cfb46c02bde5ffaa62242a8f36","datavalue":{"value":{"entity-type":"item","numeric-id":3707258,"id":"Q3707258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377272$FC023D63-129E-49A3-8BED-92BE60DD34AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cdb6129cd851c3ff9fbe3c78c50b363ba773aa","datavalue":{"value":{"entity-type":"item","numeric-id":4040272,"id":"Q4040272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377272$E9FC39AD-0BD0-413F-BD66-E482A9168DD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a6e11f2b4539034871bb418ae907968770cd3ca","datavalue":{"value":"https://doi.org/10.1007/bf02684417","type":"string"},"datatype":"url"},"type":"statement","id":"Q1377272$9B989F95-21DB-4598-8828-FAC296D8B923","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bcbaa9ac21eff802d571a6431866e6445a7d942","datavalue":{"value":"W2076531740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377272$71E99473-EE27-4C94-9AEE-E7B425618DAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79b654d50499ba4410172050b237cd19e39d178f","datavalue":{"value":{"entity-type":"item","numeric-id":3729922,"id":"Q3729922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d10353129f569f402faec5cd25d3d797d361e7","datavalue":{"value":{"amount":"+0.7722877264022827","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":"Q1377272$82E5DA5C-B274-4DC3-80D4-C28502C315E6","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":"b7faa684b3a94c480188ed418d425869b80564cb","datavalue":{"value":{"amount":"+0.7709053158760071","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":"Q1377272$8774D519-48DD-4C20-8A88-EDFFFBE5F588","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":"874ffe59db4f9a09c162dda92609c86607621e4e","datavalue":{"value":{"amount":"+0.7612387537956238","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":"Q1377272$B39CDC07-D186-407C-B453-3B048FA908AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc202e7e15a16d2d529571e07e3e61b456624df4","datavalue":{"value":{"entity-type":"item","numeric-id":5426133,"id":"Q5426133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ddc127cd53983680b75d7def3b8dffad3070b0","datavalue":{"value":{"amount":"+0.7412043213844299","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":"Q1377272$0A4FCE48-A91C-411A-8AD2-F2EE2DE73D0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sufficient condition for non-overestimation in interval arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sufficient_condition_for_non-overestimation_in_interval_arithmetic"}}}}}