{"entities":{"Q5982815":{"pageid":12575248,"ns":120,"title":"Item:Q5982815","lastrevid":56644017,"modified":"2026-03-13T12:15:04Z","type":"item","id":"Q5982815","labels":{"en":{"language":"en","value":"RESTK"}},"descriptions":{"en":{"language":"en","value":"An Implementation of the RESTK Algorithm"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"438d0eef0223375d3a92def8ffc6a10a8bf1ca95","datavalue":{"value":{"entity-type":"item","numeric-id":57080,"id":"Q57080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5982815$581C684D-D6FA-451C-B45C-61AC45F13E23","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"932ce62b685a616b583b1b06933e65596c0e00f2","datavalue":{"value":"Implementation of the RESTK algorithm based on Markov's Inequality from  Vilardell, Sergi, Serra, Isabel, Mezzetti, Enrico, Abella, Jaume, Cazorla, Francisco  J. and Del Castillo, J. (2022). \"Using Markov's Inequality with Power-Of-k Function for Probabilistic WCET Estimation\". In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs) 231 20:1-20:24. <doi:10.4230/LIPIcs.ECRTS.2022.20>. This work has been supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (grant agreement No. 772773).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5982815$0CEA1646-CE76-4CFA-9AB8-9C969A1469B1","rank":"normal"}],"P170":[{"mainsnak":{"snaktype":"value","property":"P170","hash":"e0b806a9963bc1755102687cb8494f32080e3690","datavalue":{"value":{"time":"+2023-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5982815$0D0C2BE5-DA82-4FFA-9221-241EC1C34909","rank":"normal"}],"P132":[{"mainsnak":{"snaktype":"value","property":"P132","hash":"2cd9663599cb012c24c42164f1aeb49c4d6af9f9","datavalue":{"value":"1.0.0","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P28":[{"snaktype":"value","property":"P28","hash":"a8a9ee3cfbf450df25fa8a78d8962a05d424cea0","datavalue":{"value":{"time":"+2023-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P28"],"id":"Q5982815$A8DF47D9-7996-4DEC-9E73-70F1A7A9997D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c56ed7d9d98d57695482cf554a12054c9a57561","datavalue":{"value":{"entity-type":"item","numeric-id":5982813,"id":"Q5982813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5982815$C26E7DCB-E89B-4470-96BB-C7218B6A4805","rank":"normal"}],"P19":[{"mainsnak":{"snaktype":"value","property":"P19","hash":"3f70bae9418a71cb5d858d1863f78601331492fd","datavalue":{"value":{"entity-type":"item","numeric-id":5982813,"id":"Q5982813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5982815$5206A940-F04B-4397-90B6-A5E52B382FEB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"8576d3d16efe97b9b62facebe80c3ed9e3b6aae2","datavalue":{"value":{"entity-type":"item","numeric-id":56621,"id":"Q56621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5982815$A76E997F-E5AB-4D73-943A-9F28FF2A73CE","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"b232f8c2ed654273811b0269ef974cc3160c859e","datavalue":{"value":{"entity-type":"item","numeric-id":33084,"id":"Q33084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5982815$FD92F746-CB94-4894-A531-761362423CBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad1f22f4f995386680116047a567da7faef524c","datavalue":{"value":{"entity-type":"item","numeric-id":5982814,"id":"Q5982814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5982815$AF8CF6ED-31DC-4027-ADAA-67C7936A5D4C","rank":"normal"}],"P229":[{"mainsnak":{"snaktype":"value","property":"P229","hash":"6e4ad8a221aab3860ea24172daee024d1faf1fcb","datavalue":{"value":"RESTK","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5982815$2D5C7BB4-FCD5-41D5-93C6-4E989C2AD636","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5982815$278F60DA-4148-4CD7-91F7-3DCE5711A456","rank":"normal"}],"P114":[{"mainsnak":{"snaktype":"value","property":"P114","hash":"251fd109c2cd8c1ee39b48cd109c9f4b1c9fcf5c","datavalue":{"value":{"entity-type":"item","numeric-id":13519,"id":"Q13519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5982815$957DF88D-8289-4EB1-B6E8-E852FC659A56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"RESTK","badges":[]}}}}}