{"entities":{"Q2130561":{"pageid":2141304,"ns":120,"title":"Item:Q2130561","lastrevid":55406551,"modified":"2026-02-17T15:42:33Z","type":"item","id":"Q2130561","labels":{"en":{"language":"en","value":"Experimental evaluation of numerical domains for inferring ranges"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7513441"}},"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":"Q2130561$5DCD1B94-EED8-4CE7-822F-027DF497A921","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bc6afc855a6c82c150e0ea5b16471fb6b5023bc","datavalue":{"value":{"text":"Experimental evaluation of numerical domains for inferring ranges","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2130561$A0B194D8-16D6-45F7-BD35-0A30E0DA56BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c57a0d1f62d0ca0f4f2a479750cecec4923e5b40","datavalue":{"value":{"entity-type":"item","numeric-id":281280,"id":"Q281280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$779AAFEC-9DEA-435D-9B61-09C36971D09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ac4135bb156b8bb524dadb4fdf44e79513c99b3","datavalue":{"value":{"entity-type":"item","numeric-id":2130560,"id":"Q2130560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$F72869AA-7E12-411E-8784-520C20DF271F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90c0720e1a62b0a0cc9fb728fce3a94226dbe7a2","datavalue":{"value":{"time":"+2022-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2130561$176EDAF0-F780-4946-A1B7-DF72254EFE41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130561$4A61D4DD-CB19-4F73-8AF5-C6C403F401C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6c4b8bb78860bb1dd104d365f62494e43428cdb","datavalue":{"value":"7513441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130561$238A34D0-FD33-412E-9BF5-800720EFE33D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130561$14BF295E-CD49-4542-9C41-E26C588038A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130561$BB571E85-B259-47BC-9DD6-463652F10FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7695163bb6afeeaf6c85e79e2ba2245917ceb9d6","datavalue":{"value":"numerical domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130561$1DFEDC5F-3D0F-4708-9067-B1511C3C2513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e75a283ce553f13dfa7f5870825606d9e54fd21f","datavalue":{"value":"polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130561$1442DFBF-6441-474C-B928-2AB774260888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0338e16b2692ae366e8fa638206d6c15427db1b9","datavalue":{"value":"widening","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130561$C1D2845E-AF50-4BD6-966D-991BD02EAD00","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab49b7f8acd64afc1d37b0798a16844d41cc15a5","datavalue":{"value":"Q113317578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130561$B6630D55-B824-4F7D-9C3E-284E363F327D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"622c79a7b558a5ced71614c20f3b3748697c8bb0","datavalue":{"value":{"entity-type":"item","numeric-id":26930,"id":"Q26930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$1C6879A0-97B0-45CC-A33B-985A05E7A068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$FE6B66FD-D3FC-4CE8-9C09-E1CD189A3B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$A6C2CFA6-5D40-4B80-AFE1-FB88142DAA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$53F8E1FE-20FE-4A9B-A844-A468C4232412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"544285ff7639d6e2f1833203ed056490a36c6e30","datavalue":{"value":{"entity-type":"item","numeric-id":21115,"id":"Q21115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$875A88F5-B8F2-4E0A-8118-0173EC35B19A","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":"Q2130561$9BB29438-6E39-4556-89ED-DBC2F0FA7DA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89f3140ec7a917927af5989dda2734a6aa9840fa","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2018.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2130561$23E491DD-02BD-4FE4-8B3D-5604A2200ABB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"166c2bdae329af71e518798ae91e7b4ee449bfa7","datavalue":{"value":"W2805304755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130561$9C744290-126C-4D63-97A7-5BFFE64B8E64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5584894c0760b34ab9b1096a86bad873269609","datavalue":{"value":{"entity-type":"item","numeric-id":5206948,"id":"Q5206948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$C224DC0B-98F2-432A-9AFF-5416E9267FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2031e0dd554a9098cb1f93e676fc7f2e26de3eb","datavalue":{"value":{"entity-type":"item","numeric-id":435979,"id":"Q435979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$2537B74F-C9F9-4270-9AA3-34E89C08E14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33269767c68423ece7dd12b7f9f1f8eea21b943","datavalue":{"value":{"entity-type":"item","numeric-id":3181746,"id":"Q3181746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$BE8C9781-2CF3-48DD-952F-7CC2AFE66109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2104b78a17a59de01aec76965c03dc05ea4695","datavalue":{"value":{"entity-type":"item","numeric-id":5170166,"id":"Q5170166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$FE60FD7F-0FE6-4660-85C4-9F6C96F11D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0385beb476f74347b6caaa53186c3cdca7a2f3","datavalue":{"value":{"entity-type":"item","numeric-id":2568443,"id":"Q2568443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$2B246C8B-57E9-4368-8992-8D973326AB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$4123F556-D619-4D5C-87AF-F3D23BE98BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6abe3edc74dc1405415e19e1dfbd849ab8d0ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5170182,"id":"Q5170182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$966370F5-7E5C-4003-A189-B933F1ED1507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$BBDE046C-DC28-4FCE-B437-C449B39BE50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd877b6e0ee76607d8a0a907e313c72ea9b6cbfc","datavalue":{"value":{"entity-type":"item","numeric-id":3079912,"id":"Q3079912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130561$BBCE3D4D-C5FE-4042-A874-48D8E9FD0955","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"906c387195693d50ef43a925678d21245c20d2a2","datavalue":{"value":"10.1016/J.ENTCS.2018.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130561$7C2E16C4-C4FD-4E62-95BC-4AFFFD51699B","rank":"normal"}],"P1643":[{"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":"b4cd0d901b80c038e4390b39a4df7b93765cc6ea","datavalue":{"value":{"amount":"+0.8118317127227783","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":"Q2130561$6237EDD0-2F92-4672-81D8-2D8D59408F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0a5d6e4d3f3cfb5255be99928e4079fda73b99","datavalue":{"value":{"entity-type":"item","numeric-id":281291,"id":"Q281291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3796eabf78724f7075c6e76f8cba8693fbe670b","datavalue":{"value":{"amount":"+0.7577352523803711","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":"Q2130561$8FADF10A-B72C-4727-809A-A2E80516E3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882ea569c499cfe4200b4f05143fa4d37cbbd307","datavalue":{"value":{"entity-type":"item","numeric-id":3656879,"id":"Q3656879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9db4f92a8b8953ee5f72aaaa426ac13bd1ecbc","datavalue":{"value":{"amount":"+0.7544573545455933","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":"Q2130561$92AC2B4C-6682-44D4-A582-014D7A0CD9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3898873d47de0416d49c7d7973c5eb7010498a21","datavalue":{"value":{"entity-type":"item","numeric-id":2130564,"id":"Q2130564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754ab85d7803b19e819ecdceeaac01193fe8dea3","datavalue":{"value":{"amount":"+0.7523293495178223","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":"Q2130561$6AA9F249-44A8-4553-91FC-A7DF0A04137D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec570d5829beedbfc349d0394b951142f0e8197","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934d79bd9f97ab7f39b5f9a78aa28fb2d1cbdf4d","datavalue":{"value":{"amount":"+0.7523093819618225","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":"Q2130561$5C3ABBC6-39BD-45B9-9F05-BF02D7EF160E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2130561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2130561"}}}}}