{"entities":{"Q2879251":{"pageid":2889971,"ns":120,"title":"Item:Q2879251","lastrevid":83675498,"modified":"2026-05-07T09:56:47Z","type":"item","id":"Q2879251","labels":{"en":{"language":"en","value":"From operational models to information theory; side channels in pGCL with Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341481"}},"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":"Q2879251$94EE6AA6-5E47-4E36-9C5E-8A0522F18855","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9754901c657bd9400a44258d326eb048c90cbfd2","datavalue":{"value":{"text":"From Operational Models to Information Theory; Side Channels in pGCL with Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879251$959C58CA-79FB-469B-A19F-561FA47585BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"071ef7fd3facf7b1ba39f35482793472d6c979e2","datavalue":{"value":"1416.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879251$78874D24-3BAD-4F9A-9F66-ACBF721738AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7d3f43f6b0a83459e5fd5abf15e5ba5e9297e58","datavalue":{"value":"10.1007/978-3-319-08970-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879251$2EABD386-DFF6-4201-9E44-CD4CBFD432A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c750fddd215cea179ba0fc2fc54be55f2272e76e","datavalue":{"value":{"entity-type":"item","numeric-id":1791134,"id":"Q1791134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879251$26237593-4803-4E3D-8612-FD6612C78FD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879251$18474BD9-5BB8-4FA9-8082-DE58529C1969","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879251$A039FCCD-EDD1-447E-8E75-11566FE1F4E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879251$044AD893-B408-44A3-9B60-DAC0B107D1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879251$72836455-88EC-4BD9-84A8-31B63C08526C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c9da1c0ef21c35d44232f572ad0f4c996c69b28","datavalue":{"value":"6341481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879251$F442B77E-4F0F-4FBF-8320-F1BD36F48384","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879251$6A5F7A54-B625-44C9-9636-77825EAF0D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c35911ee98ff2de6334d1e2e50eda7a0f208d4c2","datavalue":{"value":{"entity-type":"item","numeric-id":24997,"id":"Q24997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879251$5B549574-C7DD-4D2B-B233-D054FC0345F5","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":"Q2879251$061FF461-D853-497D-A7FA-4BE0B7F08DD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b6091f8e76d4620bbcb7f3d1737e5565899804f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08970-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879251$33F6A325-C275-4DE0-BC03-ACC478DFF7CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6636b096b1bc337b13e26ec18b497d36bfc4a1f0","datavalue":{"value":"W2163616689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879251$DCA2F95C-D223-4CE7-9018-DAD7188CA8F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088162163e8cd49d61680e1a94f8b9f8f14278a7","datavalue":{"value":{"entity-type":"item","numeric-id":5506366,"id":"Q5506366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b061a64c50ae5852a1fb6337b04ec3a5c814380","datavalue":{"value":{"amount":"+0.7666415572166443","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":"Q2879251$FD5A8C46-3709-41BE-B9F8-D4A8E829528C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"436d95b8e228cad76467436e7f5fcb566452d1c4","datavalue":{"value":{"entity-type":"item","numeric-id":3189801,"id":"Q3189801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd17c9c2a0e0b9708cd87fa04b4924c66e28d34","datavalue":{"value":{"amount":"+0.7322285175323486","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":"Q2879251$5B43D5B8-8305-4315-9F03-3FB2E13D4B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0274c003546a2a40e0dabb567c4974608e1e407c","datavalue":{"value":{"entity-type":"item","numeric-id":2889822,"id":"Q2889822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242904840e7dfbc907683eebbde14514c3972e23","datavalue":{"value":{"amount":"+0.7254816889762878","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":"Q2879251$DA7C42B7-8469-432A-803A-0D4B80C99126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931b2228c992bb650b54bdc24e7ebff46a983e68","datavalue":{"value":{"entity-type":"item","numeric-id":3100904,"id":"Q3100904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53ebb1c824e57ed526e552fe363b5e623f25cc4","datavalue":{"value":{"amount":"+0.7249580025672913","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":"Q2879251$EDA0830A-FC41-4D0D-ABE8-876416B79B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d83693df954d5c3df36f9e667b1ca41d6c29b9","datavalue":{"value":{"entity-type":"item","numeric-id":2938053,"id":"Q2938053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a39484f445854632f7385f1bbe466d5f3b9590e","datavalue":{"value":{"amount":"+0.7230077385902405","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":"Q2879251$6ECC0E38-72E4-4D26-8B06-4B6EA1D40D22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From operational models to information theory; side channels in pGCL with Isabelle","badges":[]}}}}}