{"entities":{"Q1857153":{"pageid":1867895,"ns":120,"title":"Item:Q1857153","lastrevid":73668801,"modified":"2026-04-14T16:51:11Z","type":"item","id":"Q1857153","labels":{"en":{"language":"en","value":"Hybrid cache analysis in running time verification of embedded software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1869970"}},"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":"Q1857153$80D0AD6E-06C5-4404-8C8A-8053F0C94131","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6fd81dfb2767aba10cd93a33f46ded84419beae","datavalue":{"value":{"text":"Hybrid cache analysis in running time verification of embedded software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1857153$04B8E13D-D419-4066-9FE2-35A1D21A1429","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82ab0b79924e067cfcf09e1bd31b44adc79a439d","datavalue":{"value":"1035.68693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857153$8D9C98E4-0F45-418E-8722-CB8C478AF760","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb8d444848f2369aed568821b8f675ab8dc32060","datavalue":{"value":"10.1023/A:1019734423460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857153$D6C39D61-D6C5-4906-B9A7-5D27A5F932FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b0390e6e85645562052f463aaa782e4d5cdcaa9","datavalue":{"value":{"entity-type":"item","numeric-id":1857151,"id":"Q1857151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857153$D8352726-5D3E-4A81-A1F6-3E3BB880B294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2b025b1134e28c41f27d85a6ef42b0bc7f0deb","datavalue":{"value":{"entity-type":"item","numeric-id":1857152,"id":"Q1857152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857153$AF586C01-BA72-4D75-8A04-EE2999DD0508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b2b4ba55be7eaedc5b1af860b81d1dec90411c1","datavalue":{"value":{"entity-type":"item","numeric-id":777068,"id":"Q777068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857153$AAC0CACD-E406-4EDD-B785-9C976F2A012D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e232fbf3fb2813db7042b2d3f83c7c13839be8e8","datavalue":{"value":{"entity-type":"item","numeric-id":204855,"id":"Q204855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857153$13E8BA82-F5BA-4F9F-8468-EFD1EBD6A458","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a6bf7c8c9a70357d4c9fdf08598811d107086f","datavalue":{"value":{"time":"+2003-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1857153$9D0325F9-FB14-45AD-B696-B64399BC3E69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857153$EF0B1059-6D93-4738-8EBB-34D18DAC1A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857153$2EE47D95-D2C8-46D9-A56A-C4A0AD5F77CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"361f697bfaf4140492e555c2c81f1555baebae6b","datavalue":{"value":"1869970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857153$A6A10887-258F-4F19-A65B-63ADE216796B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6e09a2884e481ef08ec60b70f87e9b5115a86df","datavalue":{"value":"Cache analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857153$57546198-B503-484B-9EA0-40623F7205E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6106a1639267c54da08c88ce23be1e9202a4c3e7","datavalue":{"value":"timing analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857153$9E8A7A67-4874-4AF2-8FE5-F51E2DAEE77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4acae7ccac522019ea73e046faf8bf2e1596a0b8","datavalue":{"value":"worst-case execution-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857153$4D6838A3-F361-448E-8F25-45B45DAA6D69","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":"Q1857153$8D358ED9-1774-4E61-AA02-9265577B7389","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f017129dc32e5f62b7b529cd1ba27898b9fe8e6","datavalue":{"value":{"entity-type":"item","numeric-id":4230777,"id":"Q4230777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda84793fee9bc032068c01bc4e1ce36b4c56094","datavalue":{"value":{"amount":"+0.7203989028930664","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":"Q1857153$009A703A-F262-454A-8AF4-DC20D28B7D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ffaef04734cc3d411ac92da21a32aa8008d0fe9","datavalue":{"value":{"entity-type":"item","numeric-id":2506266,"id":"Q2506266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda84793fee9bc032068c01bc4e1ce36b4c56094","datavalue":{"value":{"amount":"+0.7203989028930664","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":"Q1857153$2B8558A1-6750-4C97-AC42-6CDB7B823421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f26d3fd028e90b8a1312bc840298a7fb713cac","datavalue":{"value":{"entity-type":"item","numeric-id":2251379,"id":"Q2251379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a23c09919a608b769b21e5e2fdf98917784bac1","datavalue":{"value":{"amount":"+0.7197122573852539","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":"Q1857153$78C7E040-BCC8-4AFD-9C6D-39B4203C576F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c1b0bc00605c975f5744428b3d0b0bd4af25ef","datavalue":{"value":{"entity-type":"item","numeric-id":5493238,"id":"Q5493238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6a7a220a5660411e5d4e01e773c6b535d7f97d","datavalue":{"value":{"amount":"+0.6818909049034119","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":"Q1857153$641237CA-2205-4D8D-A92C-BCC4DA082BC3","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":"6bca40455dd86066ed9ed79b56d384038e0fc272","datavalue":{"value":{"amount":"+0.674418568611145","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":"Q1857153$70159BFF-66E2-4A85-BAF3-9EAB354D7172","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid cache analysis in running time verification of embedded software","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybrid_cache_analysis_in_running_time_verification_of_embedded_software"}}}}}