{"entities":{"Q5030186":{"pageid":7059763,"ns":120,"title":"Item:Q5030186","lastrevid":54225539,"modified":"2026-01-26T12:16:13Z","type":"item","id":"Q5030186","labels":{"en":{"language":"en","value":"Cache behavior prediction by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474223"}},"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":"Q5030186$CAEF6CBA-4A4A-4CCD-AFED-51F3C332A438","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1779db45f8d2ebd2779fc77ddb45731a131cc812","datavalue":{"value":{"text":"Cache behavior prediction by abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030186$1E4F34A0-2FBA-46D5-BC80-FE7014530C77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"259a2167308747e6faf679c396ada7ee21cdab48","datavalue":{"value":"1482.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030186$1489C25F-2C21-4A04-A235-F6A216D438A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a5ae1310676dec10fb9a12a334bcdf6893ec1cd","datavalue":{"value":{"entity-type":"item","numeric-id":1818074,"id":"Q1818074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030186$88AE8EFB-9E6C-4DFA-809A-C5E7431F28D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39456e1ac772f652800fbb89394912ae3d51ae18","datavalue":{"value":{"entity-type":"item","numeric-id":1342506,"id":"Q1342506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030186$9556753F-5D30-472D-8C7F-6E0E1FE80D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63c330b495f90e4719d3d7bbba09242bc6a216f7","datavalue":{"value":{"entity-type":"item","numeric-id":415507,"id":"Q415507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030186$B568755A-D10B-4B59-AFDB-FF607669B5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51597db41f4c27af74a7dc437f8b3856bf44cec5","datavalue":{"value":{"entity-type":"item","numeric-id":598798,"id":"Q598798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030186$EE7072DB-9DFA-483D-B872-25EE581B1B27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030186$46C91280-984D-4A1E-B655-F9C69723D9F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030186$1C4C5AE7-A4DB-4C1B-8BE9-BC67965CB329","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030186$CF77FA45-10D7-447A-AB6D-1C59D8FA5689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030186$814EC5C9-5463-433C-88AA-AD4257A0A9C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c3c185f92f482960b7e94d78eb78c4974c0c076","datavalue":{"value":"7474223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030186$6E39D2FD-73D8-46BE-8749-F54C62A6AF8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030186$9F5E096A-42F2-49E7-811E-AB1331EF151D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030186$92B94FF4-DB3E-4123-9BDE-60EA8E451CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3992bde4c3f755e8523100430d7f00d8f4258540","datavalue":{"value":"cache memories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030186$9B011005-CBD2-4455-BF77-B43E9068F8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f415c3503b6678dcc8c796540c595be764aa8ba","datavalue":{"value":"real-time applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030186$7E741278-4B2E-4F8A-8A76-D1961595C507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2abbdf3617f3c5312e27a5018f4d221a44493313","datavalue":{"value":"worst-case execution-time prediction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030186$06E73078-AD15-41D1-865F-95756171E3F1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70b73d320337875812539d189092baccd8d4ab9a","datavalue":{"value":{"entity-type":"item","numeric-id":13423,"id":"Q13423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030186$DFBD3135-6D5E-4F35-806D-B3F996C39E28","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":"Q5030186$A04C5180-9EE4-4195-B3DA-418FBAE5C5C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddc3df164a1e655da9de9c97e3f1cd2637b66450","datavalue":{"value":"https://doi.org/10.1007/3-540-61739-6_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030186$534633A0-608C-46E6-9BB7-24E90D0F184F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24a19ae1e0a2b1b891c238909e06043dfdc477da","datavalue":{"value":"W1874478398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030186$0B034B93-2E17-4201-B6E8-CA79D53306E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e7b0560ac47479e9ec4cf221a3d6bdc7236fb7","datavalue":{"value":{"entity-type":"item","numeric-id":4855367,"id":"Q4855367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030186$88996DD7-693F-4A29-B456-80B9DD060186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4534d1f595c245a087606810c87a29200c792f9d","datavalue":{"value":{"entity-type":"item","numeric-id":4779782,"id":"Q4779782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030186$493DC4BF-7DD4-4EE6-B11C-933C69E65CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030186$5792B003-22DA-42F7-B669-042F02868333","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d14adbca12ae23a47dad6fab27c9281ce2931b59","datavalue":{"value":"10.1007/3-540-61739-6_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030186$2A778F55-BEAD-46B5-A4E0-EC8E38254A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P27","hash":"4029e572f1bb1b428babc6a0321473e8fb1ec36c","datavalue":{"value":"10.22028/D291-25824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030186$D3113F83-EC41-44B4-85D9-F1FE53B0E786","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"febefa1fb3b2ead0166224dccfc7e9f86acf8e97","datavalue":{"value":{"entity-type":"item","numeric-id":1818075,"id":"Q1818075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a085e4d9cd435cab5a652357d98c21af01dd8c","datavalue":{"value":{"amount":"+0.9822797179222108","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":"Q5030186$C07D8DE5-AF3D-457A-BB7E-428AFE5713B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed1966e8b1d1013cb6ecc8dc62b55e68aa1d1d8","datavalue":{"value":{"entity-type":"item","numeric-id":2164207,"id":"Q2164207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d030bf2dd772eddbd9d49a1a7cc22b3969400e55","datavalue":{"value":{"amount":"+0.779119610786438","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":"Q5030186$2C4ACCAF-7FB5-457A-91CE-65AC89FDF577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eacd4dbec5a12579112dce73a6681bf747d5e6b3","datavalue":{"value":{"entity-type":"item","numeric-id":2796217,"id":"Q2796217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90619838e1ac4d24863b308ba0c6e942fb7e6249","datavalue":{"value":{"amount":"+0.7685832381248474","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":"Q5030186$B77CD6C9-81ED-451C-80FD-D267F0BE7D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50c17b1f0371d62ebf36b97256a755767a46861","datavalue":{"value":{"entity-type":"item","numeric-id":5394191,"id":"Q5394191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cab9ebedaf56de79e9b6d4c1fe85c52ea97d852","datavalue":{"value":{"amount":"+0.7528063654899597","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":"Q5030186$19267F4F-BE64-4E9C-82DD-3E65858FFCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ac119648c033b9c8b761c678c753bd48353fdb","datavalue":{"value":{"entity-type":"item","numeric-id":3392924,"id":"Q3392924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645a25896b84724032b91f35b91cd3a472bc6c85","datavalue":{"value":{"amount":"+0.7495591044425964","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":"Q5030186$29E7A2C4-CCBF-4D5F-88E8-F4B0D37C93EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030186","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030186"}}}}}