{"entities":{"Q255292":{"pageid":257059,"ns":120,"title":"Item:Q255292","lastrevid":60530838,"modified":"2026-04-10T17:33:37Z","type":"item","id":"Q255292","labels":{"en":{"language":"en","value":"Calculating WCET estimates from timed traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6552370"}},"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":"Q255292$D19EFB6D-5096-4FEE-9B05-8F2FCCCA4D1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acbf426ed7cf07e0a072a99d3c11976f68ea3902","datavalue":{"value":{"text":"Calculating WCET estimates from timed traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q255292$BF032CB0-86FE-4C90-849E-2DDF91C923BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86f99f81660481fe5914c1f23f77136e26d8c1a7","datavalue":{"value":"1351.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q255292$5E3865AF-B292-4C04-B4B3-190ACB0B888E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68598291a844c420b8a00e1214c59dd72e68dea1","datavalue":{"value":{"entity-type":"item","numeric-id":255290,"id":"Q255290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q255292$0D4B88E9-D1C1-4759-8A76-C3ACCE42E253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cb0aec41e6e86fcd6059f5fd37912072f0593bb","datavalue":{"value":{"entity-type":"item","numeric-id":255291,"id":"Q255291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q255292$7B10DE9F-1D9C-4B38-9084-7D0A68CDB8A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e6e67b92e7162a49988bf7bebe8dbba55d093b6","datavalue":{"value":{"entity-type":"item","numeric-id":202506,"id":"Q202506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q255292$B87C5E6B-C9F3-4892-8039-F64A3B0DD73D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddcefc10613dfba994bca5094600721a8bb07857","datavalue":{"value":{"time":"+2016-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q255292$6E774E86-0A10-43B9-85CB-1E664E8EAE4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q255292$4125B9EC-D215-4A0D-8B68-0F8F684B2217","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"570d80c6845f083db311b06d86e84a2b1e650c17","datavalue":{"value":"6552370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q255292$95B1D057-2112-461C-8B38-35C802D1C8DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0530af7b7e83272035183136dbfea16ddafcefd","datavalue":{"value":"WCET","type":"string"},"datatype":"string"},"type":"statement","id":"Q255292$D22EF0C1-F930-4464-AF39-091D531B8437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf06c4cf5fa50baee49eb1ac77ea1b82a4829f9f","datavalue":{"value":"worst-case execution time","type":"string"},"datatype":"string"},"type":"statement","id":"Q255292$5231B3AB-EECA-4FA6-B0F0-F1872AD25585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35301d6becabdc0cffabd8ae4983e52d75571126","datavalue":{"value":"IPET","type":"string"},"datatype":"string"},"type":"statement","id":"Q255292$83ACED37-DA93-411F-893E-B324CEC3297E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856ad6c85d13452bc5010f5480a4e30bc5497a4e","datavalue":{"value":"implicit path-enumeration technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q255292$E5A0D17F-5109-446F-9DAE-103C02D7C5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8016cd761509aafa73dd1280752a5ec5e0e91d2a","datavalue":{"value":"ILP","type":"string"},"datatype":"string"},"type":"statement","id":"Q255292$D3C60C55-C7BD-4BA1-91B3-C0D78732AA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e87618aee6343e13e99830120698ef319daa4c9","datavalue":{"value":"integer linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q255292$911C855F-1219-498B-8CEC-A8340F0CED3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6106a1639267c54da08c88ce23be1e9202a4c3e7","datavalue":{"value":"timing analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q255292$5CA36579-DF28-4F46-ACD5-F687204BE01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb5d058725d46bb5fdaa270a55d77d3715ffd5b2","datavalue":{"value":"measurement","type":"string"},"datatype":"string"},"type":"statement","id":"Q255292$1B8E7C76-47A0-41C9-8E04-044B1F70A5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc3c3e0b79867aa746ecc8341e78eae4797e972","datavalue":{"value":"context-sensitive","type":"string"},"datatype":"string"},"type":"statement","id":"Q255292$4EC85FA8-2B92-4019-B719-083E8457ECE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b8c04feebd4dc8574108ed3e74451ba30e8f3d","datavalue":{"value":"scenarios","type":"string"},"datatype":"string"},"type":"statement","id":"Q255292$F1FE388E-D056-4555-A10C-804CB4C3705F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a4a02c44ce82fcc92ae731cbe052253662b4bb51","datavalue":{"value":"Q59476889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q255292$BEC87CFE-13FF-4585-912E-E5E5F9508720","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9228877e7ce4cf95b524a0572aa503a9d860fa5","datavalue":{"value":{"entity-type":"item","numeric-id":26379,"id":"Q26379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q255292$CAE798F8-DA7E-4388-AA3B-B314A16F52FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13a0d7f02374402762835e81d38d0a76fb3e6b68","datavalue":{"value":{"entity-type":"item","numeric-id":26380,"id":"Q26380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q255292$C55F07C4-D3CA-4786-8E3D-4A9719829F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e0e386d303970decc8c5b4733ecce5a619671e3","datavalue":{"value":{"entity-type":"item","numeric-id":26381,"id":"Q26381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q255292$9DEEF595-ACE0-4D3F-A501-AE8FC9AB46C4","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":"Q255292$6E635F00-929D-4C92-9DA6-C352362E89F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81d87d7465c9c6480e678a82fc82c6f7b140d5fc","datavalue":{"value":"https://doi.org/10.1007/s11241-015-9240-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q255292$68EEA950-D72F-47B6-9C31-66BD3D38B65A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83221ec17fd084a14b8c13d72c32d757f7903d56","datavalue":{"value":"W2153747125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q255292$8007EB41-93EF-4254-BD79-72B74E2AAAA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2dfbd3f4f504ab8f785cea6f8808b5db160ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1818075,"id":"Q1818075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q255292$9FA74307-5831-443C-A91C-D581C6C7EB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdd3cc01a4b4261dafde25259a0bd6b2d8da9ac","datavalue":{"value":{"entity-type":"item","numeric-id":5391520,"id":"Q5391520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q255292$10ED12F8-AA51-4324-A7AC-255AAF62F37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fa5133216b14614490f456ec9f05c5af9bfa07","datavalue":{"value":{"entity-type":"item","numeric-id":5681520,"id":"Q5681520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q255292$6AE552F9-5002-4A3D-A337-91C3D3F4041E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bad6ff658ab7c40aea8566f2e8fc48c0e27d3c2f","datavalue":{"value":"10.1007/S11241-015-9240-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q255292$1FA58103-675B-4E34-A5BA-9B1DAC7C2AFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c84f45774700a2e09db5a40dd51c1a7dee42b2d5","datavalue":{"value":{"entity-type":"item","numeric-id":2463546,"id":"Q2463546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcce359d03e1d56e777597b6880d027d92ca4d9c","datavalue":{"value":{"amount":"+0.785224974155426","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":"Q255292$47E66FD6-D555-4F22-92A5-B6A0D9ACA3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e394753a873610c0a7ed1771b36ec18ee0be942","datavalue":{"value":{"entity-type":"item","numeric-id":507359,"id":"Q507359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d462b5d38db6406dfe0e081bdaa192fcff92cb70","datavalue":{"value":{"amount":"+0.777823805809021","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":"Q255292$2BDF7BF1-8DB4-4CCF-B2EF-5514014590EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527ac8af07d4503873fb14a36894727663c5a461","datavalue":{"value":{"entity-type":"item","numeric-id":1660771,"id":"Q1660771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6798bdae2ce895680b1a0a7c8aadfa5100972a6c","datavalue":{"value":{"amount":"+0.7726829648017883","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":"Q255292$D3DFF844-2F2C-493E-8061-E170A17235A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44e67af49c4b78f4fc0743f10e3622f5882d9d5","datavalue":{"value":{"entity-type":"item","numeric-id":2802432,"id":"Q2802432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354209ac3be1db7a11cc58dc0357a372671497fd","datavalue":{"value":{"amount":"+0.7611764073371887","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":"Q255292$1BEB3B69-935B-4AB3-B54F-693B72A2C835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd101f5a959c94140dfa0d7904f5a61ead776b5a","datavalue":{"value":{"entity-type":"item","numeric-id":5473181,"id":"Q5473181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749f62d5cf8bf8e2690de09d4c6b279471bbfe1f","datavalue":{"value":{"amount":"+0.7568380236625671","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":"Q255292$9B486260-5CA3-4103-9FDB-9D0EE51EAB4E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q255292$B218875E-8D9A-4EF2-BFC0-14712ACE4EE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Calculating WCET estimates from timed traces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Calculating_WCET_estimates_from_timed_traces"}}}}}