{"entities":{"Q6488338":{"pageid":14067107,"ns":120,"title":"Item:Q6488338","lastrevid":47838619,"modified":"2026-01-02T20:27:06Z","type":"item","id":"Q6488338","labels":{"en":{"language":"en","value":"Dynamic interval analysis by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7674437"}},"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":"Q6488338$DDD2A500-AE1F-47EE-8ACE-09ED32DD3C28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5597f04447fb5550c246a7cf23377829400e770","datavalue":{"value":{"text":"Dynamic interval analysis by abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488338$B262E188-030B-47ED-88DA-CEDC7AA8B9D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7093057972cf9564dd32629a54d684d995684662","datavalue":{"value":"1520.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488338$F336E578-6416-4BE1-AE1F-1DEA6D168705","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18385ba925501d18d44f8cbf0f0fff7d46713096","datavalue":{"value":"10.1007/978-3-030-87348-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488338$955ADE50-4D25-4AB3-A162-2AC70C685071","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$E6228572-27F9-40D2-9215-44C95B90ACC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fe119e7a2efc816c0e18eebfb796f86711512c6","datavalue":{"value":{"time":"+2023-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488338$A20B5AF3-56F1-471A-BD60-579C163F5E5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488338$51A96F17-EB88-4A14-B437-1BE49990C4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488338$647F4383-0575-4E64-A9AE-2383B0646C8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7247d2bda3062a2d18c737f40233f7de4d5033f","datavalue":{"value":"7674437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488338$962AE1D4-5CBF-44AC-831F-EE20B18678C4","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":"Q6488338$420078C5-648E-4905-8164-0B5C21577153","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91b59e4d8104a2f3808ca8ea193ffaee3ed65ef","datavalue":{"value":{"entity-type":"item","numeric-id":817867,"id":"Q817867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$93CE3D8C-423C-4A70-A7F1-252A93BCAB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fe4398f099895e5e830584aed6991fb0152362","datavalue":{"value":{"entity-type":"item","numeric-id":5172632,"id":"Q5172632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$EFC1ADCD-840B-4B62-8B93-ADE42E8A39AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ab3f9f2f4b2edf02ca0e9e08bb872116f0b717","datavalue":{"value":{"entity-type":"item","numeric-id":5919285,"id":"Q5919285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$2D14A223-245B-487B-BD80-7D1A6697A4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$8A51D3F2-BDDB-4604-85C3-A7CFDC145949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abe25c23c7294b52af126350df03ffdf3e84ea2","datavalue":{"value":{"entity-type":"item","numeric-id":3613375,"id":"Q3613375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$0C50B50D-7E63-4376-941E-F9AC3308A40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88d21d151a9cef0934f2be2ba0e0186401c42db","datavalue":{"value":{"entity-type":"item","numeric-id":5962973,"id":"Q5962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$4241AABA-921B-428F-B3B2-CF39860D2B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b1ec2ab602b6d9108d3bad7fd0c04487cb13cd","datavalue":{"value":{"entity-type":"item","numeric-id":5239214,"id":"Q5239214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$AC3F2B9F-3AB2-43F6-A217-9938BA01E07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d240418d74f7458a95ec2f342fb0b794908c4d8c","datavalue":{"value":{"entity-type":"item","numeric-id":6043172,"id":"Q6043172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$9EDFE4CA-A4DC-455B-B3A6-C3933F3038C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6083a2e311142d60282a5f47002f1b9dbb870852","datavalue":{"value":{"entity-type":"item","numeric-id":2075784,"id":"Q2075784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$32531F6D-9FBB-46F2-9A94-D3A7702C7AEB","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":"Q6488338$B368C1A2-0961-4364-81A4-B867B62ECB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a544f201c6283b7933810872cf2a33339cdad9","datavalue":{"value":{"entity-type":"item","numeric-id":3605131,"id":"Q3605131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$548DBED5-6738-4D1C-A642-268D6DB2F8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488617a7b77a34e7047203bf2a3aae32481a3b77","datavalue":{"value":{"entity-type":"item","numeric-id":3875320,"id":"Q3875320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$F0D38EBE-2160-4FBE-971F-9D1CE0A4011C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ac27682ba9b540f1f039eb29b55172d05969da","datavalue":{"value":{"entity-type":"item","numeric-id":2713714,"id":"Q2713714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$EA7332ED-8420-4B21-AD92-9FC018F5DCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b71b8f97499ba827e7229b72210274e54a8e41","datavalue":{"value":{"entity-type":"item","numeric-id":5387647,"id":"Q5387647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$CF0B011B-484F-4E78-95CE-407F2102562A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6cf732d2bd1cdce509a9503301c047678392e24","datavalue":{"value":{"entity-type":"item","numeric-id":3313252,"id":"Q3313252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488338$251ED442-4838-4312-9C1B-A01289DC6D0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5267c6adcf54f14f1cc0a728425d3ba3b6a0b25e","datavalue":{"value":{"entity-type":"item","numeric-id":2814107,"id":"Q2814107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"479db41548d767d1d362e8af0d21a829df6d3b57","datavalue":{"value":{"amount":"+0.7582674622535706","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":"Q6488338$AC859CDC-CAD4-491F-924D-85F4FFE13291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f81fe236d1a71531a64b1214931681f0a73866e","datavalue":{"value":{"entity-type":"item","numeric-id":3392932,"id":"Q3392932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b21a375aadd619f9149a10884cbde4814aaa486","datavalue":{"value":{"amount":"+0.7579502463340759","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":"Q6488338$D66A9738-736F-46EF-98DD-3AE0684B9154","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":"488cb79a1f2431595eaea3e1140f8bcd8d4547c4","datavalue":{"value":{"amount":"+0.7564865350723267","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":"Q6488338$1AAC312E-48A2-4F6C-9891-9AF581D53DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617ad052a47963c03e8a80fb7af773fd0c6c4a97","datavalue":{"value":{"entity-type":"item","numeric-id":3323146,"id":"Q3323146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e167deeb7e85e9c23d395148c7001d9fd14dd39f","datavalue":{"value":{"amount":"+0.7532567977905273","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":"Q6488338$D8A80FFE-2471-4098-B2D4-673F7EF59E32","rank":"normal"},{"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":"c5f2a8c664846dc1298f26f32fb51dcdd22245c5","datavalue":{"value":{"amount":"+0.7407128810882568","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":"Q6488338$79E202B1-FD85-42EA-B3B1-DC57F4DE6382","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488338"}}}}}