{"entities":{"Q4930725":{"pageid":6960307,"ns":120,"title":"Item:Q4930725","lastrevid":58362717,"modified":"2026-04-04T21:38:06Z","type":"item","id":"Q4930725","labels":{"en":{"language":"en","value":"Interval slopes as a numerical abstract domain for floating-point variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794758"}},"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":"Q4930725$4EE5A5AD-FAB4-4559-A463-6444CB985109","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8de9615541d818cd861c3dcd7480471453686477","datavalue":{"value":{"text":"Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930725$C985683B-18A1-4C57-B686-8C7B8E279A3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69779c3983cf1db9c4367bf8c52f7dcaaadcf33e","datavalue":{"value":"1306.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930725$C9D99CAE-DBA3-4E44-91EF-C1505D5EDD98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"573b03e8fb80cf43d78b3d10e0cd5919099af5fc","datavalue":{"value":"10.1007/978-3-642-15769-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930725$61A9BAF0-A078-4027-B4C9-24B7B67D9DDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff0c97b71eda6d46ee6d0deab58f76d809b897c","datavalue":{"value":{"entity-type":"item","numeric-id":435973,"id":"Q435973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930725$AAB13C8A-B4BB-4F8C-A36D-B3CF952D8834","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930725$DB42F920-E27E-456B-BB3E-53993BB9F67A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930725$38BF4F1F-92F2-40D9-98B4-43CB3B37D54B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cac54650287eb8272b50c0ca396e38e89d710e4a","datavalue":{"value":"https://arxiv.org/abs/1004.0202","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930725$027E0EDF-773D-43AB-96D0-2ABA9F096D1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930725$5F3A6D83-0473-4CEB-9144-D87E8CE2829E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a3b56b9370e2a5b7f63132367f814c4ec6f1c3c7","datavalue":{"value":"65C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930725$FB2E00D5-23FE-47F9-AAB1-FDD2DED553F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930725$F5BA9366-28E9-4A20-AA7F-1B89CA20AEB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3895e6b773283e777d8ae13bd9d254f89971d5b0","datavalue":{"value":"5794758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930725$1E78F03A-6C58-4467-91C0-AE49B2CC17F9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"089dfe8b3630a1111dc879dafcb8ebf8404573f5","datavalue":{"value":{"entity-type":"item","numeric-id":15924,"id":"Q15924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930725$1261F733-AE0F-4547-98F0-568843C77CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930725$BD0D80EA-F663-4486-82E8-A0CBBED96131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02d32efa4caa2abb72a4e6348351cc4a9bcbccbb","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930725$7EBDC8F2-97CA-48BD-9EF3-3704BF91C409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930725$ECFB09F4-FF95-422E-AA8F-AC3D2E33F2A0","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":"Q4930725$1A19B736-681C-45DA-9BC6-E94678429449","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"409fcc12fefa6df9eea4465d79294a6074a7bacd","datavalue":{"value":"W1839651919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930725$C34537FC-71F9-4144-964C-08CDE12BB9D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcabced946a4d7bf997a769b35f56f1df5f86bc6","datavalue":{"value":{"entity-type":"item","numeric-id":3613375,"id":"Q3613375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3854d28e53627b5efcba3f18c2c34e8ded0f0a3a","datavalue":{"value":{"amount":"+0.7868201732635498","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":"Q4930725$35F74159-E8E9-496A-9D9B-04021C8094A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1787b66eacaf2bc8d397156c2c29c054484735c","datavalue":{"value":{"entity-type":"item","numeric-id":5308685,"id":"Q5308685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259c483cf0dc19893e58c01e95ccfa2cde78f2de","datavalue":{"value":{"amount":"+0.7775332927703857","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":"Q4930725$61D690F0-CC05-4B64-8593-454B8D2146B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d198dd6645ca3725c03bfd2d1553d43a00bcd19","datavalue":{"value":{"entity-type":"item","numeric-id":3075485,"id":"Q3075485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88dfacc0ab7c23636f5e68b537aa9db5d235c84e","datavalue":{"value":{"amount":"+0.7478085160255432","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":"Q4930725$68D3955B-B3C5-43FC-84FF-114F6DB69C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce66b57c390d02e4b7c3aa697d22d3e29d6a774e","datavalue":{"value":{"entity-type":"item","numeric-id":2894265,"id":"Q2894265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86578fefb9a5de261636eaaaf182d6f17b6c3de","datavalue":{"value":{"amount":"+0.7449570298194885","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":"Q4930725$32996FE3-6BA4-4393-9310-32D892C0AB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b912041c0bb4b6bf2910ba2468279c5a6153e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5308361,"id":"Q5308361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c758e77019f8eb5778186208965165918742dd","datavalue":{"value":{"amount":"+0.7415279746055603","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":"Q4930725$9002437B-C34C-422C-9F22-B560730478E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930725"}}}}}