{"entities":{"Q2339158":{"pageid":2349901,"ns":120,"title":"Item:Q2339158","lastrevid":71889621,"modified":"2026-04-14T01:12:55Z","type":"item","id":"Q2339158","labels":{"en":{"language":"en","value":"Refinement of worst-case execution time bounds by graph pruning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6421323"}},"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":"Q2339158$EE286A89-C227-499B-992C-DDBC02BCF977","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c90f64d80076d2112981c0b5c5345739c670a9fd","datavalue":{"value":{"text":"Refinement of worst-case execution time bounds by graph pruning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2339158$CC8762E1-B2D8-446A-AB59-88F6F5B1EA30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f766a34bf1b780ca9baedcff6ae2ec14779d4072","datavalue":{"value":"1308.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339158$C1B6B78F-546B-4410-86CF-F0FB719BDA07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eb14fc20a702f540715dfb59e84cfad25943dc2","datavalue":{"value":{"entity-type":"item","numeric-id":1649318,"id":"Q1649318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339158$36172FD6-42BC-4E19-A3A8-45E51D1D52A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a922e18f2c7ff57ebe14162b57506c4daaf0c91","datavalue":{"value":{"entity-type":"item","numeric-id":2135517,"id":"Q2135517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339158$A1F53038-91D4-4FEB-957A-9E961128748C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339158$65E5549C-B532-4432-BC23-0D9810EC3688","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25688e70551dda3f8b265d438bdee82645a9a2b6","datavalue":{"value":{"time":"+2015-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2339158$BE603066-4A10-42DB-B293-D2C1C3B3E360","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339158$179C24DF-6EFA-4601-A396-D6DB2BB1CDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339158$3CD179A6-A11C-49A2-981F-D316D0C7D061","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3afb25a60ee11f1917020a7d1976ea6af125da95","datavalue":{"value":"6421323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339158$72EA5271-236C-4EC0-B22B-D16982242B9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ef7e2f8c483a54df0b2a50525d68db9627787c5","datavalue":{"value":"worst-case execution time analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339158$40A36F28-C78C-4952-B050-529A98244CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad86361ad64fc068dee97816cc2b63d57f6712d","datavalue":{"value":"iterative refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339158$C7602A59-71E6-4FB2-8866-084CBEC4BE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655c67c452a123120a59c9d774d3d058c01b2db","datavalue":{"value":"graph pruning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339158$F5B072A0-202C-4E83-B06C-37CF294F6355","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":"Q2339158$C0462097-368B-4077-8081-1678A7169BE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"485728ca26e02c27afc15560dc333d82e0b07a48","datavalue":{"value":"https://doi.org/10.1016/j.cl.2014.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2339158$6A8DAAB3-A74A-43A3-98C4-15B32FA85427","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58a640944124c0ef544e446350aeac5c114d2318","datavalue":{"value":"W1984065007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339158$59085450-6EAC-4A4D-A5BC-34B5231F5AE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65798d6e09509a3c622aafc7c1fb6e0437e066e6","datavalue":{"value":{"entity-type":"item","numeric-id":2251412,"id":"Q2251412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339158$384B0EFC-D687-4F6A-A691-8D0CAE5269F8","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":"Q2339158$92D5C197-3ECD-45E8-898B-5277A65BCCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b27fba20adb4b1be28577604256256716180d","datavalue":{"value":{"entity-type":"item","numeric-id":5316570,"id":"Q5316570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339158$266B5F9D-E6BE-4357-AAB7-2B1FAF1F4001","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c4ac7a5591630e494a44774b91294f56a150544","datavalue":{"value":"10.1016/J.CL.2014.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339158$B314B542-F676-4955-90E5-7A0C5E21021C","rank":"normal"}],"P1643":[{"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":"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":"Q2339158$08B9BF27-5DAB-45B2-BC79-EA16836ED345","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":"cfe0746b3d430f17b77ea916b611d37cd3d5d2ce","datavalue":{"value":{"amount":"+0.770611584186554","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":"Q2339158$32A5673B-FC7C-4DDA-BADD-5747B8586509","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":"67662335e6d4c7cf8e689d0ad82315f5af135184","datavalue":{"value":{"amount":"+0.7501683235168457","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":"Q2339158$347E079E-9DA6-4C43-8052-020F8DD6C860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263464f9d6b07c8acc2aa09d272eccd4e746ca90","datavalue":{"value":{"entity-type":"item","numeric-id":3593067,"id":"Q3593067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1783018b3d635f536f300e9f9eadfe4fa37256","datavalue":{"value":{"amount":"+0.7425230145454407","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":"Q2339158$B7100459-7974-45E6-953A-2F165E947D0F","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":"c279d7496b7884bcb734971bd2c68860a829961c","datavalue":{"value":{"amount":"+0.7414430975914001","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":"Q2339158$20CF53CB-9C85-4B6F-B807-ECFF19070876","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refinement of worst-case execution time bounds by graph pruning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refinement_of_worst-case_execution_time_bounds_by_graph_pruning"}}}}}