{"entities":{"Q2164207":{"pageid":2174950,"ns":120,"title":"Item:Q2164207","lastrevid":82570403,"modified":"2026-05-06T21:13:13Z","type":"item","id":"Q2164207","labels":{"en":{"language":"en","value":"Ascertaining uncertainty for efficient exact cache analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571368"}},"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":"Q2164207$5067DD79-BF24-4216-A620-357C0E344B63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ec1ce4b28f210a05daef340c43dd74e58501063","datavalue":{"value":{"text":"Ascertaining uncertainty for efficient exact cache analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2164207$B01EE10F-FA51-4227-8A16-D992C7B43293","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0502cd596107569baa3211e7bbcece4ae748797b","datavalue":{"value":"1494.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164207$D89927F1-D21E-4393-9247-C929FAEE17D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fcaaa4a2180a3a4ce1d757f9200c8cb20b78031","datavalue":{"value":"10.1007/978-3-319-63390-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164207$DC0452C7-AFC6-4BA9-8559-8AD4FA9F53BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec342a2835101de4ea5e87a6165d4ce227c55e65","datavalue":{"value":{"entity-type":"item","numeric-id":2164205,"id":"Q2164205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164207$94938EA6-575A-43A2-8A6F-F1EB3280D328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ef1c6e78c9ea414b5f452a20c5da29ecee893b","datavalue":{"value":{"entity-type":"item","numeric-id":848743,"id":"Q848743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164207$FD59133E-6AA6-43FD-9798-2E2633D1F78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d30a6fed3317e8074a396d3ddb5b6af6bd795278","datavalue":{"value":{"entity-type":"item","numeric-id":777058,"id":"Q777058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164207$4F9B7097-8CBD-454D-9961-423E9CA17520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb16ac148af68ad2732af257880a8460189bd8ba","datavalue":{"value":{"entity-type":"item","numeric-id":438218,"id":"Q438218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164207$C1E8F300-DA65-47CA-A88E-FEC17C146FCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2164207$A4489C21-D635-4CDC-A865-4570152F5BDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b733b83081cb9e98807df52417c909f1fa1ab39d","datavalue":{"value":"https://arxiv.org/abs/1709.10008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2164207$33D2E208-A471-4757-8A63-3E77BA5EA8CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164207$2B81599E-3601-4B7F-835E-63513A9C0AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164207$E8096BA2-4C74-462F-86B2-65049516DF98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5419b270a3da65b3090a561a738e218f5e92e9c4","datavalue":{"value":"7571368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164207$3C5B792D-F8B6-4E79-B4A9-5126993F236B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e0230959d6200f2fb65a13f01aad8fae37f5d71","datavalue":{"value":"cache analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164207$0A2D3299-AD99-49AE-94AF-6193555B50DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941422365e5f82c5c3db5c45acbeb77e6eafbadc","datavalue":{"value":"WCET analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164207$674F8C04-0236-4291-869F-5645D76E0B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d55970b41c821ebeff2cafdf272f50c5b1855f1e","datavalue":{"value":"classical abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164207$878FE5BE-A8BC-4983-B4BC-0FFBB7746089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e13e0ccdd0665c82365df17fdb67869597611863","datavalue":{"value":"abstract cache states","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164207$71D78B8B-2C07-4AA0-971E-AD37E73E6E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d93cec27d7f6fd807d02878a79d862c29a4f907","datavalue":{"value":"worst-case execution time (WCET)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164207$10277D63-47ED-47E7-BBC1-861EC14333E4","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":"Q2164207$C352E514-B52B-4295-9096-9273C1D2B73C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f869ea018766d03f425bd9a71d5e886555a5dd91","datavalue":{"value":"W2761823169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164207$685F7B6B-C4BB-41D4-8B41-241C51E869EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a835ed3321049360f4113303c775b5c1f797e9b","datavalue":{"value":{"entity-type":"item","numeric-id":5030186,"id":"Q5030186"},"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":"Q2164207$2C52D328-CA1B-4D06-B1EB-23F7D4A7F5AA","rank":"normal"},{"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":"713e65d8ffd9c3e4c3dd2d26a8efc6142af2ee47","datavalue":{"value":{"amount":"+0.7789917588233948","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":"Q2164207$E12D0BBB-090C-4511-B86F-F0FAC3D49AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c98feb31f1f6602ea77ceb25a6e0b2257fe926b","datavalue":{"value":{"entity-type":"item","numeric-id":5172633,"id":"Q5172633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103ff5ffee222beeca24a989bdd09799394834b2","datavalue":{"value":{"amount":"+0.7788810729980469","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":"Q2164207$B76C1671-599C-4431-B56C-C63635613424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cebf6a2171364b0ccba8ac3cfa5e515cfb90f1d6","datavalue":{"value":{"entity-type":"item","numeric-id":6108428,"id":"Q6108428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712f6d7c531dca2474a439da98a11f2ca55a53e4","datavalue":{"value":{"amount":"+0.7493536472320557","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":"Q2164207$FBCD8A15-5981-4045-A29D-8FD32153A2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4225439898beb050ea17fc8531398b2844440847","datavalue":{"value":{"entity-type":"item","numeric-id":2251357,"id":"Q2251357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016501adf22defbf3f7631d7a833e50f7f5962e7","datavalue":{"value":{"amount":"+0.7438069581985474","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":"Q2164207$070D013B-F7BE-4392-9AD9-3EACDAAF7A20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ascertaining uncertainty for efficient exact cache analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ascertaining_uncertainty_for_efficient_exact_cache_analysis"}}}}}