{"entities":{"Q3167528":{"pageid":3178238,"ns":120,"title":"Item:Q3167528","lastrevid":45599638,"modified":"2025-12-11T02:20:00Z","type":"item","id":"Q3167528","labels":{"en":{"language":"en","value":"On Abstractions for Timing Analysis in the $\\mathbb{K}$ Framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6101669"}},"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":"Q3167528$569DD2A3-8A55-4F37-9EB2-C6CC869513A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aafc4f4d164b41e4c807829a92b3e3a1ec5114ba","datavalue":{"value":{"text":"On Abstractions for Timing Analysis in the $\\mathbb{K}$ Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3167528$747D2981-6578-4C95-9660-B28C041C2013","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e380226f1aa8b003ffdba0cc452f0d0b44691397","datavalue":{"value":"1367.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167528$BE9D6F14-D00C-405B-9C9B-BB6BF8D18A70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2b9b22aa0865dcf63a9945b0372d6ba16c46d87","datavalue":{"value":"10.1007/978-3-642-32495-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167528$B1740B37-C1A6-431E-B3FE-96119B4218E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"509a7ce7e7eb41cef598356cacf3be14febc573f","datavalue":{"value":{"entity-type":"item","numeric-id":2848887,"id":"Q2848887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167528$1A205259-02B9-422C-B619-757AE6F0B78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4225555324b48ba21484879c38f915eb1eca15c9","datavalue":{"value":{"entity-type":"item","numeric-id":2141284,"id":"Q2141284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167528$4AAF3258-F904-45D9-AFF1-3F842D69F273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167528$963BDEFC-C4AC-4B89-889A-B290356B7C1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8628d9b822fca08704059c3ecefa6278618df136","datavalue":{"value":{"entity-type":"item","numeric-id":3167521,"id":"Q3167521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167528$DB0185E3-623E-4C9F-AC03-9139B3082FBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bf69277b7716ce58c94d2517a81ceba3b8d07db","datavalue":{"value":{"time":"+2012-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3167528$63EDC3A5-F5C6-46DE-992B-1FA14EED3ADD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167528$4E398B2A-060D-4900-B2CE-37D826852B09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a9c9d7b74cca894563724a7dc0179361797adbc","datavalue":{"value":"6101669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167528$FE242A56-EBF2-4A06-82B6-1A06CB0D04FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb38876199d3a569289f9c3366994be8ce0d8047","datavalue":{"value":{"entity-type":"item","numeric-id":21726,"id":"Q21726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167528$5B8CAB72-BCF2-4A6F-AA43-A39326CADDE7","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":"Q3167528$FA58089D-ACF9-4F7C-AD8A-C6B825AA54DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"087a20cf12fa4be043920f226f4f5b351961a623","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32495-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3167528$8E2D2091-0924-42A9-BB79-05E0726841AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0cf6281b6553d7210f93cebab73b211de5de492","datavalue":{"value":"W1460572967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167528$60A8866B-EB62-4AC3-96A6-DC32D178E185","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15109f98683d5bff621cf0d8f8a78b3f4e74fab5","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8200cc5c5748eedc009420fde1375d847c8e6f","datavalue":{"value":{"amount":"+0.88289386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167528$DF2E8FB8-C94C-4D44-9283-B3CA1BCCEDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49223e3a6b3fb37fefc9da1637bf45e0aa7b670","datavalue":{"value":{"entity-type":"item","numeric-id":6162104,"id":"Q6162104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf6f12294850a224e09b348b0135f30985f06cf","datavalue":{"value":{"amount":"+0.8770138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167528$41C71AA6-65CD-46B2-84D9-65C7DB533109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d63265ba597b7447f5f5aea714a4dfb159c048d2","datavalue":{"value":{"entity-type":"item","numeric-id":3512479,"id":"Q3512479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a4e1a5148218350544bb8f7526e5cb458ebda2","datavalue":{"value":{"amount":"+0.8752212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167528$B399D5FE-DA02-48D5-BB65-344FBBC63F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2583cd1f5bebd6a9b0bff0d8ac893d1207151fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3457811,"id":"Q3457811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a6431a46e014eb93f704ade0adf77311355d11","datavalue":{"value":{"amount":"+0.8745348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167528$414171CE-2185-44BA-90C3-53A69AFC3E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad365ed0e161c5a29b216c0e74615492c88db2f","datavalue":{"value":{"entity-type":"item","numeric-id":2852365,"id":"Q2852365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"374f5b5b5f3d8d95a4c222d62b900934c832847f","datavalue":{"value":{"amount":"+0.8660518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167528$2D6127EE-A5AA-4DFB-9F51-1935C93AA664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3593c7e378770c308dcd38caf392f52c29733dbd","datavalue":{"value":{"entity-type":"item","numeric-id":2167720,"id":"Q2167720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af8dfe24e27bc681df2b0a83aa362ff4b55c17d","datavalue":{"value":{"amount":"+0.8640571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167528$A5E1240C-F496-40EF-8491-66575DEA1502","rank":"normal"},{"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":"ff6c5834f91750da09fbd659682e14d9809d42f5","datavalue":{"value":{"amount":"+0.86151606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167528$331A1709-817B-4AB7-8868-C025F8935E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddadbc0aa725ee5764bb614552dd965beb9dc7c","datavalue":{"value":{"entity-type":"item","numeric-id":4551149,"id":"Q4551149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572e6f85c6f72836c5885f605cafe3517bdb51fb","datavalue":{"value":{"amount":"+0.8610102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167528$F30C22D8-E8CD-4A85-B99A-7D991FA445A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b175904b3ad0852eabb39ccc3ef781fcb4ccd31d","datavalue":{"value":{"entity-type":"item","numeric-id":5493375,"id":"Q5493375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62958267f82eabfe5bc7819d6c38f913039600e1","datavalue":{"value":{"amount":"+0.85995626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167528$7E92FA94-2824-4316-94B4-888DA64A4A63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3167528","badges":[]}}}}}