{"entities":{"Q2883114":{"pageid":2893839,"ns":120,"title":"Item:Q2883114","lastrevid":83692289,"modified":"2026-05-07T10:00:16Z","type":"item","id":"Q2883114","labels":{"en":{"language":"en","value":"Cutting-edge timing analysis techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033362"}},"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":"Q2883114$47C41EA8-CD01-401F-83AC-025FB5DABE9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbd69b859f46eb47fa62d44596169bbd5ba04349","datavalue":{"value":"1237.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883114$24CF7BCB-5B4C-4A10-9616-833D8BAAC211","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5c85a470e3df310be6dc5f6000276eb5ef4b743","datavalue":{"value":{"entity-type":"item","numeric-id":507358,"id":"Q507358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883114$5BF07331-60F1-414C-BC59-C3072291D647","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883114$65E0D3F0-CBA9-4665-8B46-C2E68C3AD687","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2900290a8fdb09fc956024868534a3d5c38d3ab","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_6104.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883114$D8E7A6B5-4C07-4D4E-A10B-EF8F394FBEC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883114$4A2B1547-1273-45BB-86E3-B590CA56B4D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3878675b28597f67000865b2e57460398b337083","datavalue":{"value":"6033362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883114$1B142DE8-660D-4935-8F75-4B21321EB35A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883114$D55C7F56-4D80-4AE7-A2ED-37BE93919F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6106a1639267c54da08c88ce23be1e9202a4c3e7","datavalue":{"value":"timing analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883114$3C10BEE3-39BE-47DB-B28D-313DE2E9DBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"377cf4e7bf9da7bcebab1fe3893718971389f009","datavalue":{"value":"hard real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883114$AF8DA8BB-D68B-48CC-A2AB-2CC75E33E909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883114$2746EF99-61FC-4BB9-B544-FF9D7D08A453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf06c4cf5fa50baee49eb1ac77ea1b82a4829f9f","datavalue":{"value":"worst-case execution time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883114$FDF2C21B-AFAB-4090-A205-B1DA72D428C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d201cda4867daa78c0abda583ac09f3694e4d39e","datavalue":{"value":"loop-invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883114$FFD7FC35-6F42-4302-B0F9-67DBF9B67278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a1f6e11d33cd60859de53dd0e0f0f9078409ea","datavalue":{"value":"nested loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883114$EA3B07A4-0781-442A-B7C3-B1773E970E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883114$7D49C018-99D4-49C6-AFFC-B830DF7EBDA3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"308c9d19b10840f60de028f733a0e4446e2c05f7","datavalue":{"value":{"entity-type":"item","numeric-id":21700,"id":"Q21700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883114$AF9D27B9-1F7E-4362-AF98-E427BB156C9F","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":"Q2883114$0CD47E21-8A18-4FED-A3B9-C04E4CFA5747","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55ce82527d9fa8ac2818b8552eadd072bd3444c6","datavalue":{"value":"W1577445732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883114$42009A5A-B8F6-4168-8982-CE7678C7A693","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c23e96418e6108da8953ccd37d7ee981ab8a3476","datavalue":{"value":"10.4230/LIPICS.ICLP.2010.303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883114$4DA1D95D-FC5E-44BC-8042-A97DEE2A5132","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b24c7492c5b24019a913b0ba202cf76e07d75646","datavalue":{"value":{"text":"Cutting-edge timing analysis techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883114$1D6D8EF2-D240-4A84-99FB-8A2A8048CC4B","rank":"normal"}],"P1643":[{"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":"54c089e86e78fa80ecc28918b8e93636b80cf5a8","datavalue":{"value":{"amount":"+0.7077186703681946","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":"Q2883114$D8238AAB-1B8C-44DF-A092-28D49DE86C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"057d88829b9b2511eb25b14ceeef17f730ccca8c","datavalue":{"value":{"entity-type":"item","numeric-id":4825210,"id":"Q4825210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937e3901d9ebf6cfa630d6f33c574f68cbdac31b","datavalue":{"value":{"amount":"+0.7038806080818176","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":"Q2883114$1DE6C505-100F-49D1-A6C3-5047F341F3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1870cbd709b027ebcc12a44563b943a1a2e59ab7","datavalue":{"value":{"entity-type":"item","numeric-id":675050,"id":"Q675050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b045202755023bef5e9492e2741f7c986378f74","datavalue":{"value":{"amount":"+0.7023783326148987","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":"Q2883114$DF4EC52B-1740-43D2-8CF7-B72FB9A05B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad372124d89b553527969a9743740003f84927e","datavalue":{"value":{"entity-type":"item","numeric-id":5717495,"id":"Q5717495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03bf26a78112eb768959a7fc917bbab9c9ae3f80","datavalue":{"value":{"amount":"+0.6884814500808716","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":"Q2883114$2FB63039-2283-49E1-B574-C3DDA5D13A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b7fcf9c197fc2ba13bf6b08ad679e93c805abf","datavalue":{"value":{"entity-type":"item","numeric-id":5308362,"id":"Q5308362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6aa54ce5635e9734fbdcafbced36576f4a003a","datavalue":{"value":{"amount":"+0.686628520488739","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":"Q2883114$B468B2AB-42A8-4F1B-B0AC-3D04C9B04E6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cutting-edge timing analysis techniques","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cutting-edge_timing_analysis_techniques"}}}}}