{"entities":{"Q1702927":{"pageid":1713668,"ns":120,"title":"Item:Q1702927","lastrevid":72117159,"modified":"2026-04-14T02:45:20Z","type":"item","id":"Q1702927","labels":{"en":{"language":"en","value":"Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845671"}},"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":"Q1702927$301A7E83-988B-466F-983F-624E99263844","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"850d534576acdd7bac283b5e842bcdde726e837f","datavalue":{"value":{"text":"Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702927$2E6BF74B-4EBA-48AA-98CD-309EDB062D14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"130e0f08491a698af98b602733ef64c1a348b756","datavalue":{"value":"1381.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702927$93A34198-8E24-4486-9602-8DB2C3F41E32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c49689c3d93e44147517dfe66c3d1bf089b3ee01","datavalue":{"value":"10.1007/978-3-319-21690-4_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702927$C2EF06B1-E744-43E3-AEC7-9857744FC187","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11d441e3e11c90fa8e74d59809734f58fe79da66","datavalue":{"value":{"entity-type":"item","numeric-id":1702925,"id":"Q1702925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702927$9CE20BC4-9535-4F0D-91EB-9E0201DEB687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74919f41785b3e21e630ae6354a1c7fcc752cd9f","datavalue":{"value":{"entity-type":"item","numeric-id":1702926,"id":"Q1702926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702927$82D9E73B-EDFB-41C4-B0C6-0FF47388374E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-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":"Q1702927$D26B24A7-18B9-4AAA-800D-5890F6F26B5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df0d3edc5257ba6bc5a5b453ae5c9b340aee3bd2","datavalue":{"value":"https://arxiv.org/abs/1509.08700","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702927$7951934B-DF16-47E2-B8B1-860B3B2D52E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702927$0F435346-85A2-48E0-B108-7E5820436F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702927$28ACC2AC-5953-4979-813F-9AFFF150D501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702927$509A4E7F-CC1F-406C-AFE3-43CE3B8F23C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"455dcb370d90918b8cf1e137ba506dab082ef09f","datavalue":{"value":"6845671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702927$B31223A9-01A2-4F66-A146-5ED73CB69513","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702927$A3B6C6EA-17ED-43A9-B079-7E6884DE4542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0145dbb175f229104a70deaeffc1099143a20d","datavalue":{"value":"semidefinite programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702927$778ED700-ACB8-464E-983E-409E210F6BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d3cc1775e40781b9abf76a09cbd70074ba1212f","datavalue":{"value":"ellipsoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702927$2611CEB1-FFE7-432D-9663-28983669E650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13434173c704e1667e611d12bc95b8b8d96ea018","datavalue":{"value":"conic extrapolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702927$3F18BB33-40F6-43DE-9C15-E56CDF93F463","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":"Q1702927$40DE6716-00B1-4173-9759-D65ADF782F2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f35a62fdeb132918424470f51ab033f53304140","datavalue":{"value":"W2130096835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702927$EE3901BF-CE87-4CDE-986C-DA9C96AE89F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d432b2dfeaf38617bb08d53ff0489f49e55a2a","datavalue":{"value":{"entity-type":"item","numeric-id":435969,"id":"Q435969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258df75c24523b3f861a8d77b6d55c1f32f1d13f","datavalue":{"value":{"amount":"+0.7651140093803406","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":"Q1702927$C795ED68-59B9-406D-B368-B96E3318D32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a780918f395490124eba94a6367e771eeb565c0a","datavalue":{"value":{"entity-type":"item","numeric-id":2881067,"id":"Q2881067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065d088a65a292b331c4596e5853e1317467c816","datavalue":{"value":{"amount":"+0.7379390597343445","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":"Q1702927$7BB1993D-3E33-4301-A449-6A5DD076545D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59bd5c002627e83ede0421eb26494640b696b2be","datavalue":{"value":{"entity-type":"item","numeric-id":3558213,"id":"Q3558213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574a4faae9aaf495a0a87b089a5045553b74e7a4","datavalue":{"value":{"amount":"+0.737428605556488","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":"Q1702927$B2671034-6D08-49B1-9135-4ABCABB52844","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":"91a9dd1ba9567d29d282028bcba74caac40ed848","datavalue":{"value":{"amount":"+0.7331133484840393","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":"Q1702927$5D7C3ADA-AAE2-472F-8DCC-8A630239003C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d177f0820fe98d1caebee378ac8913e7651c8a","datavalue":{"value":{"entity-type":"item","numeric-id":3575308,"id":"Q3575308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e19d9911187b5b14969dda4216cd412833b871d","datavalue":{"value":{"amount":"+0.728522777557373","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":"Q1702927$6586E549-A884-4433-B83D-A44F4461BBFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_interpretation_with_higher-dimensional_ellipsoids_and_conic_extrapolation"}}}}}