{"entities":{"Q507359":{"pageid":509126,"ns":120,"title":"Item:Q507359","lastrevid":62359536,"modified":"2026-04-11T05:33:20Z","type":"item","id":"Q507359","labels":{"en":{"language":"en","value":"Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680826"}},"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":"Q507359$DD618156-62E7-4A09-AFC3-DBD1E1552830","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c90d91a11bdd9d412f2cf1ac201edc9b63050ef","datavalue":{"value":{"text":"Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507359$F0A64BDF-3553-4917-A8B3-9944B0C71077","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d81be2fbee2059a52806e2bf36898f9a2e22a1a4","datavalue":{"value":"1356.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507359$90770718-D222-4D88-AE8E-8CB4636535B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb95e647102d0ffe6984f49453210b0dbafa3f03","datavalue":{"value":{"entity-type":"item","numeric-id":507356,"id":"Q507356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$E9C829D4-B6CA-4BA4-9EB5-0E9FC14970A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$161CA008-D5EC-4FBC-8175-8BF039F2412F","rank":"normal"},{"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":"Q507359$D3706AA7-7EC3-4F45-9E78-4CCD837C1581","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$0FCC454A-BB6C-47AB-A137-B9FD816EC147","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507359$A53ED71E-49B8-4B18-B5A5-FD06330FFBDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5267b0815f420ea26d26ec6db1448876743aa2a1","datavalue":{"value":"https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3335","type":"string"},"datatype":"url"},"type":"statement","id":"Q507359$CCC2DA8C-EE1B-432A-8ADF-6EA7628181C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507359$51133E03-F391-402F-85BE-C53FC381F8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507359$F7405512-EF0C-4C73-AC6A-A711B6FD06F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f40ad63ae2db8e167d6821a27dee108207c69503","datavalue":{"value":"6680826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507359$0760874E-E656-4D70-A2A1-D2CBB4E9C0F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52d5cbe88f8ceba8e90589f0e3e5ab370112cdf","datavalue":{"value":"worst-case execution time (WCET) analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q507359$0690B635-202F-4157-8D8D-F129CA60E66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"505474f5de7d84248ca14806dae194c8ed328c29","datavalue":{"value":"static symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q507359$C48E0CED-82C2-4D14-8173-C04DF97FDB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q507359$87C8FFB5-BF98-48B1-9506-9D54D0E286BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"52976748fd61906f43fb9f1c7e04fdac3cae57fa","datavalue":{"value":{"entity-type":"item","numeric-id":16196,"id":"Q16196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$50F3BBFA-F692-4FAA-825D-DDA487049740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$879BF4BB-8665-4B86-98F6-870C2D6E92C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$889F7590-DB38-4894-BBA9-152885DEF09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"674cd60828bc007cb59f25ed895882f886c650f9","datavalue":{"value":{"entity-type":"item","numeric-id":17180,"id":"Q17180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$E8FADCEA-CA59-4CC0-BAF9-C85797036193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"888ef7458e6be01e7449386faf312564054afdd4","datavalue":{"value":{"entity-type":"item","numeric-id":26207,"id":"Q26207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$AA95D480-E921-4779-B3FB-163D8F53C6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2572a29d58565517a05daab64573368fa03bd9f","datavalue":{"value":{"entity-type":"item","numeric-id":32318,"id":"Q32318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$2CBD81B2-42CD-4B6F-A376-E3BD81C572B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$3344FB22-2A41-4829-BE1A-CF3EF930F8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"865bdd518a79b1fd23161134c2601585d8588540","datavalue":{"value":{"entity-type":"item","numeric-id":21701,"id":"Q21701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$0C460772-1559-481B-9E47-7A84E913729A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$310B3BF0-D6AC-41A4-9EBB-DDDBE9BB4C18","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":"Q507359$F3F3D53A-F115-494B-99FF-5D149EBF20C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"448d50c1581eed5403e69d6151a96a11d48fdc8e","datavalue":{"value":"W2504411393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507359$2A01E386-852C-4CF5-A5EC-EF45766BDDB7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9cf685476bcf0687f5ce4e7b6e1844184751a710","datavalue":{"value":"Q55670515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507359$FB579519-02F9-4689-9EAB-8A82B8D9BDC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60639e3001ee1c51a142b80f54ae0f5a30ff15e1","datavalue":{"value":{"entity-type":"item","numeric-id":2339158,"id":"Q2339158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$5CD79187-3177-4111-88BC-D765534E4CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d886ff681e0f1b4509ddbd752c5d35944ec0233","datavalue":{"value":{"entity-type":"item","numeric-id":2931788,"id":"Q2931788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$7F5629A0-368E-4D9A-BABF-460CB5980DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c68785ad12d58507bdd10b8df13725c507cf13","datavalue":{"value":{"entity-type":"item","numeric-id":2251379,"id":"Q2251379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$63CAC104-EAE2-4FCA-B0FB-0DAD518D0FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$6C73FBC6-7B8A-418D-A346-74EE60B6473E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$5C484BFA-34A5-4660-9CDF-2AA9D6BBCF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d6dc2a44e10b14dafdfbecd3cc59ce2dcafe3f","datavalue":{"value":{"entity-type":"item","numeric-id":3499247,"id":"Q3499247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507359$3D70F2D4-4322-4743-904F-7BA7A83120A6","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6c5e6e8312659589bedd79a4dafb72ed885d8119","datavalue":{"value":"journals/jsc/KnoopKZ17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507359$5C3B4542-D7C7-4AB7-8295-4241EF904253","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb5c6ab22840a25489a1c9171029fb01338b8176","datavalue":{"value":"10.1016/J.JSC.2016.07.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507359$064D76AB-0827-4B33-98C6-FC30842CF953","rank":"normal"}],"P1643":[{"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":"46b809d4716b3775fa091898b81a210ac5d453f1","datavalue":{"value":{"amount":"+0.8100325465202332","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":"Q507359$DA28DA41-F232-4C9E-8A44-9B7DB91B830E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"620f9e59e1e7145f52a616e889ee5d895e5f2d28","datavalue":{"value":{"entity-type":"item","numeric-id":3105743,"id":"Q3105743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ece9cb44657b8e338f2a89d61cfbe8aaf75e7b","datavalue":{"value":{"amount":"+0.8053379058837891","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":"Q507359$0C7BB21E-C968-431B-A6D4-B61DD2F210E5","rank":"normal"},{"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":"031bddc7d5ff06005225ccc1f9c617b4454d10ce","datavalue":{"value":{"amount":"+0.7834501266479492","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":"Q507359$A2F6C3E9-A53B-45ED-895F-24948490389F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c116186cf99bfa3aeac699862ec0384e0dc0a3d7","datavalue":{"value":{"entity-type":"item","numeric-id":2339158,"id":"Q2339158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ad5083145cec68e646ce6beb872fb54d292cde","datavalue":{"value":{"amount":"+0.781821608543396","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":"Q507359$DFDF1295-48DE-47A3-B427-0C0F6386EE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28841909084a626febcccdb2332f6b81f8a913e7","datavalue":{"value":{"entity-type":"item","numeric-id":255292,"id":"Q255292"},"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":"Q507359$86A715F5-9DE4-4587-9672-22ED4B5DABF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Replacing_conjectures_by_positive_knowledge:_inferring_proven_precise_worst-case_execution_time_bounds_using_symbolic_execution"}}}}}