{"entities":{"Q2894335":{"pageid":2905060,"ns":120,"title":"Item:Q2894335","lastrevid":79533281,"modified":"2026-05-06T14:08:12Z","type":"item","id":"Q2894335","labels":{"en":{"language":"en","value":"A certificate infrastructure for machine-checked proofs of conditional information flow"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051150"}},"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":"Q2894335$18C692DB-E538-41FD-BB06-4AA84A7A4E1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17ab9a79d5f191003798a130da5e01da93f6c7ba","datavalue":{"value":{"text":"A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894335$BC79068D-327A-4756-9250-F30EDEB0D58C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5c6ed3c820158afb9de7aec52a1bceccb202f44","datavalue":{"value":"1353.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894335$7B31E5B1-E5DA-4F02-951C-6C0EF5CEE310","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2469b2608730e047eca026fae19852f9546960c","datavalue":{"value":"10.1007/978-3-642-28641-4_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894335$16FFA2EF-90BC-418B-B235-4992C0914834","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6c99b545c7552dc10b633a7e0065b9914032c04","datavalue":{"value":{"entity-type":"item","numeric-id":859951,"id":"Q859951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894335$85B0DEF1-09A2-4FB4-9D85-90497A6AF5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f3582e0cb4328ea85f4a06bbd45dc801861432","datavalue":{"value":{"entity-type":"item","numeric-id":1663236,"id":"Q1663236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894335$72DCFE37-3852-4D10-8664-7F2048CFFF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f78f22db42fddfe8366b9ef9d6726e3b4a9283a","datavalue":{"value":{"entity-type":"item","numeric-id":513493,"id":"Q513493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894335$B4BFDB91-ACF1-41B3-92B7-B2612FCE310C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894335$ED40DBE7-0FBD-4601-8E54-53805DF0C243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc276cb0285ab91fe37913260a1294cd4b610f4","datavalue":{"value":{"entity-type":"item","numeric-id":710671,"id":"Q710671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894335$B275BC35-7EC6-4A53-A862-80FBE92F97D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3446e7dbb7240ad90687dceaaac250247886da36","datavalue":{"value":{"entity-type":"item","numeric-id":236462,"id":"Q236462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894335$BAE086C2-033E-4972-A09A-CA96A29D5097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ad467815e869a9a01b5c6d6ab4b4dcfe8fa7e66","datavalue":{"value":{"entity-type":"item","numeric-id":2751854,"id":"Q2751854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894335$7C0B893C-4BCC-445B-A93C-A15EC7E3D627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7be6e4ec4722038a3d51241b69f960ecc2043fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2894334,"id":"Q2894334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894335$0B489925-AF27-46F6-BCB1-824A807949C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894335$DD019D8E-64C5-4379-A1CF-13F645DDA702","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894335$2288E9AC-86C2-4EEB-8ABD-AB75F59EA994","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894335$8F7D3DBE-117C-40F5-BD41-B12B38631CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894335$98921AAF-98A8-4387-B71A-6274DF0DAD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894335$E1D95234-7EDC-4699-97D1-82A184614909","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ea3e674b4ecb6709961f4afa4353eb97a3f8a56","datavalue":{"value":"6051150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894335$14F156F9-6F20-4F16-8D89-D20C6B865AB0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894335$A43152C5-C635-4038-A27D-4FDF18F89AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894335$17B1EDFA-CAE0-4D56-A388-2160111A3C38","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":"Q2894335$9DBE733B-449D-4594-A3C4-E6245F9F9935","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e55d266e7d641728b57a7e072a0d205eaf533076","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28641-4_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894335$0B567DD6-E93E-4ED2-B08B-B2B3488E7338","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08af8893e69b084d54aeddee9dc10c3d9446d402","datavalue":{"value":"W1677369896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894335$1FFA8D04-7E25-48AD-8DA1-01DAA35375E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3cf171f7ccc2154b186556577239b797c2126d0","datavalue":{"value":{"entity-type":"item","numeric-id":3558215,"id":"Q3558215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec9969af4aaeae95db4e94910d9ff61d7ee0e9d","datavalue":{"value":{"amount":"+0.7965423464775085","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":"Q2894335$212A45EC-CFEA-4D3F-B134-8FC94C70D849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb76e4119df03b28d6f8850c8c1b5b390d946d3","datavalue":{"value":{"entity-type":"item","numeric-id":1623155,"id":"Q1623155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c80ccc957d9edbe6b720aa2ce9de51f5e45db00","datavalue":{"value":{"amount":"+0.7874539494514465","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":"Q2894335$F4BDE380-5FF7-4F19-AD5A-9CADB0907A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bdd3b41d13b3041180a073f5766451138ea86be","datavalue":{"value":{"entity-type":"item","numeric-id":5408414,"id":"Q5408414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0306a82a135f519e6a08ab8a19f92c348ce306","datavalue":{"value":{"amount":"+0.7281498312950134","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":"Q2894335$463138DD-C995-413D-B714-407BE34B86E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2affcd6ae87a9dfffb64de74d7e512f6c66dfb","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a49f7c886bbedfdca2b0db1acb3e37649a24e3b8","datavalue":{"value":{"amount":"+0.7277328968048096","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":"Q2894335$9503C587-51C9-4C95-9726-1CFF279C47FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e482390fac9bb3e825c392831b69d9db0697f2","datavalue":{"value":{"entity-type":"item","numeric-id":4673417,"id":"Q4673417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4b0683eff31d523834ded8bc7ef3a370b1a20f","datavalue":{"value":{"amount":"+0.7164967656135559","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":"Q2894335$B1AA3D68-CF6F-4925-BB73-2CC42D28C628","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A certificate infrastructure for machine-checked proofs of conditional information flow","badges":[]}}}}}