{"entities":{"Q4994686":{"pageid":7024263,"ns":120,"title":"Item:Q4994686","lastrevid":58390158,"modified":"2026-04-05T00:27:55Z","type":"item","id":"Q4994686","labels":{"en":{"language":"en","value":"Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7361347"}},"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":"Q4994686$A59E5FD3-B75C-489B-9B8F-965D4817A321","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0d7d6791b7ad3365322b526f2c612827affe304","datavalue":{"value":"1464.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994686$EDB0851B-78F2-4E14-873C-F1AAE3F7E419","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994686$28E1FDA8-EF7E-4C0E-854A-93499CF74D78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2f3a985dcf2407d30ab45f57448460afb353a2a","datavalue":{"value":{"time":"+2021-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4994686$3FB38E0D-5725-4259-B2EE-0BCFD136B03D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea3ef08ff67b39df7891c8d376e15a5ba9b33c11","datavalue":{"value":"https://arxiv.org/abs/1309.5131","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994686$A92AEADD-D58D-48DF-9373-62BB104A356C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"65f8fca903132eeca9c68a960768bfed57af855c","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994686$EEC00CE1-44E4-4F05-901A-E97DCBBDEA1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994686$41AD81CD-6FBD-4D46-AA96-6513F2CCC8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994686$9432234F-FE01-489F-AC0C-C4E19D130C19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10183ec50d3ea2d9bc38e677a40084862929786f","datavalue":{"value":"7361347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994686$2CA21FED-0D94-4702-924A-194982B2ACA4","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":"Q4994686$68D53D35-8AC9-4435-82F3-F0D8A2B5A5D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78211e0705ffe64b85409cb8e2f0ac3e274a403","datavalue":{"value":{"entity-type":"item","numeric-id":3452260,"id":"Q3452260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b5dd68af54756590a1176f62446ae286ab26d3","datavalue":{"value":{"amount":"+0.8356428742408752","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":"Q4994686$E15B884F-8DAB-44D7-8FB6-AC8218B7A2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01f15aa5adc0eb5e133e090f2cc9b507f68a5d9","datavalue":{"value":{"entity-type":"item","numeric-id":5493401,"id":"Q5493401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5bb4c595fb2ff11974861c9a7396ef33b47564","datavalue":{"value":{"amount":"+0.82490074634552","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":"Q4994686$D1852F79-120D-4154-BEF0-AB1A53AFB63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10edfd7906b6043421cac23f64bc692be2baddd9","datavalue":{"value":{"entity-type":"item","numeric-id":3296325,"id":"Q3296325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fea8d1b8a02fdf3a278b311cd671d34882871b","datavalue":{"value":{"amount":"+0.8058710694313049","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":"Q4994686$3EDA1938-E786-4941-88EE-424949584850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c627fee83162a10b7f15ae07d2cce803aaaeed7","datavalue":{"value":{"entity-type":"item","numeric-id":3553917,"id":"Q3553917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede4e83480be092698a175d39bf3181e5e5f989b","datavalue":{"value":{"amount":"+0.7911637425422668","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":"Q4994686$06FAE93F-40E7-45BE-B402-F89873622148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181aaf2e075edd85fd284841b93c713e116af6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5704026,"id":"Q5704026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb2f397011ff62a8a17f1adcdd496305ba6af90","datavalue":{"value":{"amount":"+0.7717782855033875","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":"Q4994686$1BDE0DE9-EAAA-4D3C-BC72-A3A7D4A1331A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4994686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4994686"}}}}}