{"entities":{"Q2234076":{"pageid":2244819,"ns":120,"title":"Item:Q2234076","lastrevid":71633913,"modified":"2026-04-13T23:32:47Z","type":"item","id":"Q2234076","labels":{"en":{"language":"en","value":"Runtime abstract interpretation for numerical accuracy and robustness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410642"}},"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":"Q2234076$65C4E510-60AE-4213-A4FA-2E8919EFDFA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d432027bbb8c6d6e17bc5a2b7884db0fc1ea194","datavalue":{"value":{"text":"Runtime abstract interpretation for numerical accuracy and robustness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234076$F3DE45FE-718E-4561-8E9F-C674F5F5CC1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd07e1f1b4bec59a17ec5660c32b4d210e45dff6","datavalue":{"value":"1472.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234076$DF434B43-5D8C-4690-AF3F-43A4FDA09B31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b05e70f88218787b3c89a2a85580810f1c0449d7","datavalue":{"value":"10.1007/978-3-030-67067-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234076$FD05EA85-AD62-408C-966E-BFF74B25C17E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f6cda293d3aafa4c589f93be9566db7aad0a52b","datavalue":{"value":{"entity-type":"item","numeric-id":2234074,"id":"Q2234074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$505FBD94-9F37-47AC-945C-236781C669AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83a81ef472593d78e7ff8b1000d5f3afad112bb8","datavalue":{"value":{"entity-type":"item","numeric-id":2234075,"id":"Q2234075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$F67F714F-39D6-4869-A75F-6EA5084149D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407868012495339cc676e2def4d299dc32a605ff","datavalue":{"value":{"entity-type":"item","numeric-id":682365,"id":"Q682365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$6364E47A-C9E6-4295-89A4-9654F41B6942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7061feb2308a1a8a51508a306f1c99e469f1860a","datavalue":{"value":{"entity-type":"item","numeric-id":1671144,"id":"Q1671144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$49101AAA-FF0C-4C71-8130-A44E942810A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234076$9FBC5292-2D41-443C-97E9-9827F329BB27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234076$D33B711D-90CF-4C94-ADF8-62DC080381ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234076$5609C057-B4F7-4E68-8B67-55E38862B4F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7392c028986f088ad5218d972cc131c04f6549ec","datavalue":{"value":"7410642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234076$FC084090-0F34-4885-81D2-5A048F42EFC3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a9350aac22040408d6f6eb5b297f599bcab38b1","datavalue":{"value":{"entity-type":"item","numeric-id":56009,"id":"Q56009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$2402082A-C17A-4E5E-A0E1-7A53345D2711","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":"Q2234076$5684E738-7228-4733-A768-3DDF032266B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d111e4be401f45e5822a18f69c6901b3595df54c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234076$23E3736E-F0D4-4392-8546-53E238864B86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41bcc6f5dabc858dc7b07342de35d33363a60a73","datavalue":{"value":"W3121103745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234076$C4F64E77-A2EB-441D-AFAF-823C471D85E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$A61C2AAF-BD47-474E-943C-84DCC45B4EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b020a91ffd3c81f18a1e5e555d90c0a605e24a18","datavalue":{"value":{"entity-type":"item","numeric-id":5408419,"id":"Q5408419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$1496D7F0-A28D-4C51-BA7E-E08EA15F5319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5791757d6a8f1f47e64dc8fe7b53b7230387f4","datavalue":{"value":{"entity-type":"item","numeric-id":2989081,"id":"Q2989081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$3A140374-A53F-46F6-97C2-89F59B5093E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7842cc7997d2d8faf03cd74c496ae509956b9581","datavalue":{"value":{"entity-type":"item","numeric-id":3075485,"id":"Q3075485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$14817C1C-4422-4768-A0BF-65CA0A402B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2011867ca9f3f577df34af3878502da44f1bfa4","datavalue":{"value":{"entity-type":"item","numeric-id":710229,"id":"Q710229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$B8E14A92-7D59-4E71-8307-49BEA90CE0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94533e4baa48654aaac5da4ad2818a0bc136f1fd","datavalue":{"value":{"entity-type":"item","numeric-id":682366,"id":"Q682366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$ED0DC60D-B44F-403D-9859-E0E2101B1E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0215749ba1a507181a8a777bfd7878a71e7ff9","datavalue":{"value":{"entity-type":"item","numeric-id":3133585,"id":"Q3133585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$08FB088B-383E-4F18-8A15-FA383BB82D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d077f7417b2812e541ae3d63f2b9abb351153146","datavalue":{"value":{"entity-type":"item","numeric-id":3629031,"id":"Q3629031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$7958DB70-43BB-4D44-969B-EC0F5F3B4A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e751eca347b068f0ffa489eab4d759f60f5ac57","datavalue":{"value":{"entity-type":"item","numeric-id":2008293,"id":"Q2008293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$73A966C1-4F6A-468D-A995-E74659D1E212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83c978ed0eb834f46527acd6a93f4b47491cfbfd","datavalue":{"value":{"entity-type":"item","numeric-id":5206960,"id":"Q5206960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$1ED2A243-003D-4860-AA83-E2F30C4C93FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6eb40f53a6a840ff4c22ca7d5bbe012d2de958","datavalue":{"value":{"entity-type":"item","numeric-id":3296349,"id":"Q3296349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234076$2305B971-9774-47F5-A707-53368B4FE11A","rank":"normal"}],"P1643":[{"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":"9febaa5268e72722d0c1af27dad2e8da9cc34baa","datavalue":{"value":{"amount":"+0.6964987516403198","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":"Q2234076$A26BE9D6-6877-4D74-AD51-D64DAD0DC2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f4aa802318c723bdfa4b81616d8c1e8d1a4302","datavalue":{"value":{"entity-type":"item","numeric-id":5408419,"id":"Q5408419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08c38f2f9ca86840eebdabf0932a23a0df5f102","datavalue":{"value":{"amount":"+0.6932441592216492","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":"Q2234076$914AFC62-F720-416F-82A7-832A4B6B41B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b5ffac8228f96899facabdcd2995f7ed2829ca","datavalue":{"value":{"entity-type":"item","numeric-id":4738356,"id":"Q4738356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e54b566cbe8fef06951ce4faf13a691f1586afd","datavalue":{"value":{"amount":"+0.6906254291534424","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":"Q2234076$97443749-1ACA-4B9C-A547-64B6C2092E25","rank":"normal"},{"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":"cb657df95fb3f847947cb900beb5c8b83f382472","datavalue":{"value":{"amount":"+0.68507981300354","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":"Q2234076$0B614442-D277-421D-A63E-C78833781202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d214f9a797fa3396dfadaaba4f136b3fe457ed","datavalue":{"value":{"entity-type":"item","numeric-id":5086230,"id":"Q5086230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde88e618c9d9abfe1b8ef2dda349dd1e5f6fe0e","datavalue":{"value":{"amount":"+0.6820092797279358","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":"Q2234076$55641E94-9691-4EA4-B836-A04CF8EB3F49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Runtime abstract interpretation for numerical accuracy and robustness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Runtime_abstract_interpretation_for_numerical_accuracy_and_robustness"}}}}}