{"entities":{"Q6039400":{"pageid":13121146,"ns":120,"title":"Item:Q6039400","lastrevid":57535590,"modified":"2026-03-31T07:41:29Z","type":"item","id":"Q6039400","labels":{"en":{"language":"en","value":"\\textsc{SCInfer}: refinement-based verification of software countermeasures against side-channel attacks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7682377"}},"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":"Q6039400$BBD814F1-4D58-4857-8660-69A374A4AB4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a433c2260293528aec1af72089c4756e8d28fcc","datavalue":{"value":{"text":"\\textsc{SCInfer}: refinement-based verification of software countermeasures against side-channel attacks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6039400$39273635-4C4A-4040-8095-86555A2B6738","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48853a168f6544ff87ebd3bbf30e3e375610c007","datavalue":{"value":"1511.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039400$890DFFAF-786E-4E53-991F-EB65E50062E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94ca3f06b91613ef4ba0e7864f87309f123ea70a","datavalue":{"value":"10.1007/978-3-319-96142-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039400$7CF095E6-DA14-4DF4-A387-A00A907DB1A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039400$DC04F2D2-3613-45AA-8F10-E72661D03470","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a9ffdd3d0278110160d03bdc1ac988576aaeda7","datavalue":{"value":{"time":"+2023-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6039400$08911A1C-4AEE-47C2-B805-1FB58A3A58C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039400$266BE2E2-A97B-4B8D-90BF-23FE46BC3323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039400$29174FC7-1548-4D49-A9CD-35EBBA7F6C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039400$CA5304BC-880E-4958-9616-76F489236A8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63d562e088fd648f8747d37e510fccc69a269b7b","datavalue":{"value":"7682377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039400$AA6FF7AB-7E24-41BE-B456-08D71801E0FC","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":"Q6039400$32C20980-1D0C-4D57-B4EC-7E0C347EA757","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fe2c40813a5946c634eeb38e6eb091fad3d8250","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96142-2_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q6039400$BC62007A-FEF0-4DD8-96D1-C5FB4C589F9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b364bcdd05872e2a73cd685907023bdcb38fc9f1","datavalue":{"value":"W2883707793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039400$801D0180-E668-413C-BE16-7155B7690EDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8fecc3873b4bba44adeb762a151e858c8b3c843","datavalue":{"value":{"entity-type":"item","numeric-id":2920987,"id":"Q2920987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14dd048c7f1417d31a3e96d1bba5b6f9a0923637","datavalue":{"value":{"amount":"+0.7974432706832886","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":"Q6039400$422461AB-232E-4A93-8631-D407654F07F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b1f5c676d8ec45b4889d66199918595b1f8322","datavalue":{"value":{"entity-type":"item","numeric-id":1656021,"id":"Q1656021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00a5556475bff00f04bb5d4c76e865db9864282","datavalue":{"value":{"amount":"+0.7943921089172363","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":"Q6039400$CE8416DE-FD4D-4395-911E-6423D06B6480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72c0c03f87cb21ea96d5cd201dafc8cee56fddd","datavalue":{"value":{"entity-type":"item","numeric-id":3294874,"id":"Q3294874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dca567343a1833c99c3a3f60254145b236e02d5","datavalue":{"value":{"amount":"+0.7807153463363647","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":"Q6039400$25A75AB6-8C36-4C31-B3DC-9A857D95A85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d4c19a5a46923a7ac554115fc45590cc19470b","datavalue":{"value":{"entity-type":"item","numeric-id":2948340,"id":"Q2948340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8da9dcf3fbdbe1eae47e19dce2fe198f5edb01f","datavalue":{"value":{"amount":"+0.7770824432373047","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":"Q6039400$BD5F7498-B949-4E94-991F-1F907D642805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"528bad3bd9a4d04331c500a66a8b697a6f3ba174","datavalue":{"value":{"entity-type":"item","numeric-id":5114630,"id":"Q5114630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ca25744e9089fa6a9cfd737ffc06bf79aa4b74","datavalue":{"value":{"amount":"+0.7699877619743347","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":"Q6039400$77133BC7-153E-4E17-A25D-642854CFA76C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039400$60E69200-F4BC-4470-9276-440D8F37704D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6039400","badges":[]}}}}}