{"entities":{"Q5385595":{"pageid":7415169,"ns":120,"title":"Item:Q5385595","lastrevid":50350613,"modified":"2026-01-13T21:12:57Z","type":"item","id":"Q5385595","labels":{"en":{"language":"en","value":"Comparing Completeness Properties of Static Analyses and Their Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5271799"}},"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":"Q5385595$5F694128-644F-4358-87C2-EB1CAC0ED33F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b04c51a8e6563d1531d53d45b66a1790b864da89","datavalue":{"value":{"text":"Comparing Completeness Properties of Static Analyses and Their Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5385595$27257814-E4D9-46F8-90E1-775BF4CB42C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e30ea0dbbc7dcf22b2c233123ab74778e5957e87","datavalue":{"value":"1168.68364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385595$11AC3AE6-FF2C-48AC-A4C0-436F607A4761","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38e9ef743c38de2aa83d70b149f729a7d96aac88","datavalue":{"value":"10.1007/11924661_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385595$0BF7148F-9934-4E18-8E1B-DA7958197615","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c762825db97423211c9dadedf4fa6a17941adb5a","datavalue":{"value":{"entity-type":"item","numeric-id":418810,"id":"Q418810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385595$55F411A8-E351-4CE5-9029-02B716328668","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385595$38D86B2E-E9C8-4680-BBFF-7811782F7F81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93fa65317d5f6a1c57db571a35c69b79f79eaa4a","datavalue":{"value":{"time":"+2008-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5385595$D8B3726F-D259-4AF9-B311-4502D4A15775","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385595$4A74EBDC-73A4-4CA4-934A-C124502A939F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385595$B8483264-EA7B-44B9-8B48-17960282641A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"006c222503b55f31b7621f2cf5eeedfac0a6b9e4","datavalue":{"value":"5271799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385595$6FB68272-237D-4562-B362-25599334411B","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":"Q5385595$9D692C57-1757-4161-B821-E350FAC5E042","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9223553b26cc1219bb270fbf26d2fdb85b85153","datavalue":{"value":"https://doi.org/10.1007/11924661_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5385595$1D25EAAE-C47A-44D6-8177-1733BDBE17CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5aae414dedf5d5f462722f8592084c3eb2b1072","datavalue":{"value":"W1527969866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385595$13415856-4792-4AE8-9CE5-16F91C710FD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff59710ee10f1e04705efd3ee100592586c87299","datavalue":{"value":{"entity-type":"item","numeric-id":2926636,"id":"Q2926636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ce3818d7d6970f771e41cd013f334a88ff3841","datavalue":{"value":{"amount":"+0.8364232182502747","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":"Q5385595$43348440-6800-4E5F-B325-81EE5B0F8F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9d92567e9b0cc04a6ba8df309dd7e89a03ccd8","datavalue":{"value":{"entity-type":"item","numeric-id":2819811,"id":"Q2819811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c800e2ce005fc12d2f8765ff0f5ecbe3af8cdb94","datavalue":{"value":{"amount":"+0.8027466535568237","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":"Q5385595$7B3F1217-849E-4AB8-8819-295E11BC0621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3a380111562d661f14c9f6036a24d2fb2231f6","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b187025eacf76129e94726edc2acf1ce5d9cb28","datavalue":{"value":{"amount":"+0.7839357256889343","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":"Q5385595$46875AB2-F2B2-4462-BA37-1FCA8BB22F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c1e3143baadacd9de757995dab24bd4d4030a4","datavalue":{"value":{"entity-type":"item","numeric-id":3142281,"id":"Q3142281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42308c32ed69e1e007fa7287697ffdaa143fdcbc","datavalue":{"value":{"amount":"+0.7738983631134033","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":"Q5385595$BC6B869B-9E52-489C-B4E9-C16C540D23B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950bdb637bfeaabc4a2e37e65736c504a92e0dfd","datavalue":{"value":{"entity-type":"item","numeric-id":4217930,"id":"Q4217930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff04b9552348ddac8745c4fb6637aed7147b4d57","datavalue":{"value":{"amount":"+0.7694861888885498","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":"Q5385595$19A99334-B5D4-484E-8CA6-93FD1CE76F9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5385595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5385595"}}}}}