{"entities":{"Q2251379":{"pageid":2262122,"ns":120,"title":"Item:Q2251379","lastrevid":52040453,"modified":"2026-01-20T19:49:17Z","type":"item","id":"Q2251379","labels":{"en":{"language":"en","value":"Scalable and precise refinement of cache timing analysis via path-sensitive verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6316639"}},"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":"Q2251379$0ABD80B3-B954-48F5-AC1E-AD13CED631AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46741f5c7c7d3e59ccbf440043628a8d3284a8da","datavalue":{"value":{"text":"Scalable and precise refinement of cache timing analysis via path-sensitive verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2251379$96C939B4-DCCA-41A4-90C2-0CEC9DA2BEDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e8e62730c1c592047fcfa7a566b11f3dfc963ca","datavalue":{"value":"1291.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251379$1E2D95A9-4ACA-445B-8535-A3F8D81A4C87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68df0fa1f7a55d40f52a94abebd9d954f2006715","datavalue":{"value":{"entity-type":"item","numeric-id":2251378,"id":"Q2251378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$65494921-59B8-43B1-8AE8-973D8905E556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1073374c63e64fbc6ebe88f5ce70a10864f23111","datavalue":{"value":{"entity-type":"item","numeric-id":842735,"id":"Q842735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$FE09B290-8F88-4708-85D4-9D9DA5026CA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e6e67b92e7162a49988bf7bebe8dbba55d093b6","datavalue":{"value":{"entity-type":"item","numeric-id":202506,"id":"Q202506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$BFD8FC84-7E3B-4896-876E-977B16FB91D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"802a703b59ca7cd71388811024f77f2677a019f3","datavalue":{"value":{"time":"+2014-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2251379$CA6DC206-F4CB-44DB-8614-79703EB68F46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251379$00FFE98C-6363-4848-B2EE-5119355BADE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251379$E9A3D92A-7D5E-4351-8A31-7D7F6AF9851A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2161f033e70c13a612fa8a66032ae9de7249610","datavalue":{"value":"6316639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251379$DAA75FF1-0CD6-4E9C-AF82-E132A09E1041","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941422365e5f82c5c3db5c45acbeb77e6eafbadc","datavalue":{"value":"WCET analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2251379$3B5D76E1-4FFB-411F-A16D-2EB16D7BAA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2251379$B8D2B50E-DE33-417E-A5CB-CA0DBCE67781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2251379$640A8AB4-E8E4-46B7-8713-0C1DDA6F2017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2251379$7D8215A4-744D-4343-82DB-B2C6F2604F30","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$4C551EFC-6EFB-4DC5-95C5-F2D5BC69EE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$F2542128-4D0A-4415-9834-E5A1AA202D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$6305B4B5-8699-4E10-B3D4-F3293F4628E6","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":"Q2251379$3EC95221-903E-40E2-8E61-3FEBBB6BF5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f128065721e03042624d6cf2a8c604aee0b7724d","datavalue":{"value":{"entity-type":"item","numeric-id":45191,"id":"Q45191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$8971EDAE-F3A0-4A57-BA62-6120F046E1BC","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":"Q2251379$E88C0E2C-1B81-4816-99FC-1FF9A21FC899","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a9e23628c8dd00d5a8ce3b3e23a23ec4d22ac72","datavalue":{"value":"https://doi.org/10.1007/s11241-013-9178-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2251379$B019F7D1-EEE3-4341-9422-676C61389CCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"676e949dc106c534a1b8a4ef5628a88f8c6093f6","datavalue":{"value":"W2054701692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251379$89C664FF-3674-4DDD-B6C3-D79E4FAF22AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f21d8b787c992d2596b551060033bdc89fa9f95","datavalue":{"value":{"entity-type":"item","numeric-id":5308721,"id":"Q5308721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$08082510-2932-4945-B3C3-34291EB5E551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d21e023c9dbc59cb3dbc9c5b2b1af1e1e8de8794","datavalue":{"value":{"entity-type":"item","numeric-id":5716550,"id":"Q5716550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$D80CB7DF-32A4-4441-A4BA-451959020304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$14061B69-66D0-4B69-AE06-B7F31825BFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$B90926FE-73E5-4BB6-BE6F-4B5F8ABB76D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$3AEDC859-7AEC-4592-B8E2-117931FA5EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$7AD34048-955D-4D1D-85FB-8FDE3461A513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d279a568e960b8ad6f2181e5656164ba0eae7d9c","datavalue":{"value":{"entity-type":"item","numeric-id":4571468,"id":"Q4571468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$26AF2D2F-101B-4DD7-BF58-BBD2A2F9AE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1209df4c97af1fdc0b8da024defae3c5be959fb3","datavalue":{"value":{"entity-type":"item","numeric-id":2463546,"id":"Q2463546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$9C15FFCB-BF74-4090-84BC-648C25941143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6748191974cc4152edacc2739f66c80348656bcc","datavalue":{"value":{"entity-type":"item","numeric-id":5312911,"id":"Q5312911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$63097ECA-044E-43FB-9CCF-BD7766C2CD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a253f7dab24453d81d706b7a4dd23f1eddcfc404","datavalue":{"value":{"entity-type":"item","numeric-id":2460197,"id":"Q2460197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251379$8BBCE934-5ABA-424D-8C4F-C9F5EB31DE8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53374427df445ca0dff5a3b762b32dc6203052c9","datavalue":{"value":"10.1007/S11241-013-9178-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251379$B483B035-93DC-474D-9827-45310AF904F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c98feb31f1f6602ea77ceb25a6e0b2257fe926b","datavalue":{"value":{"entity-type":"item","numeric-id":5172633,"id":"Q5172633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e5859b9cf69ec2c4e8b48e5c2661bb04177d1f","datavalue":{"value":{"amount":"+0.82478266954422","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":"Q2251379$95F75D96-B536-430C-BFF0-0EE529548D62","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":"95aeb17eac18da6d7f14152d84c91da4883f65d1","datavalue":{"value":{"amount":"+0.7819736003875732","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":"Q2251379$E71367E9-76A2-4C3C-83E6-FC2250FE89D0","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":"7f8af10ff7473c0d7bcd347ff0577740ad938a15","datavalue":{"value":{"amount":"+0.7751747965812683","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":"Q2251379$33A19B00-125B-4C4D-8DB8-432CD41E3E4F","rank":"normal"},{"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":"8b76a72835ebcf18a23c73047f2f8c0efafb26a9","datavalue":{"value":{"amount":"+0.7704541683197021","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":"Q2251379$CDC75E65-72A6-4C0A-8C18-4E0376C1DF27","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":"d698e690d51f55fa17a681fedcff875f003798c5","datavalue":{"value":{"amount":"+0.7578552961349487","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":"Q2251379$35CE82EF-497A-4E74-BBCE-28121F9D220F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2251379","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2251379"}}}}}