{"entities":{"Q5326754":{"pageid":7356328,"ns":120,"title":"Item:Q5326754","lastrevid":51792527,"modified":"2026-01-20T01:45:23Z","type":"item","id":"Q5326754","labels":{"en":{"language":"en","value":"Proved generation of implementations from computationally secure protocol specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195648"}},"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":"Q5326754$03EA9F39-C793-4FEB-9173-F6535B0ABCC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bacecab4f568c506d8771e4a8c3527f0ad44a98","datavalue":{"value":{"text":"Proved Generation of Implementations from Computationally Secure Protocol Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326754$4846BC8C-9854-414C-BE23-F41C50460B1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ef2c8589357cda1b63c30dc0764baf122d3c9d3","datavalue":{"value":"1390.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326754$1D0CF68D-4FD1-4093-A008-6D7F264DE152","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"906ba007226a8b020e1033149b192ca721bd2c58","datavalue":{"value":"10.1007/978-3-642-36830-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326754$01F497F3-1B0B-48EC-A8A7-B5D1FA90F0EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"751afe3581270243205f31118f893ad0dc6f265d","datavalue":{"value":{"entity-type":"item","numeric-id":5326753,"id":"Q5326753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326754$196E8A65-5DFE-48DF-9582-F598B5082C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a5fa1ce06089524f81c4bc61a5f677242e6f668","datavalue":{"value":{"entity-type":"item","numeric-id":1041814,"id":"Q1041814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326754$B83DFCCA-892C-4711-B390-F0C93FD1879C","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":"Q5326754$5626AF42-EECE-44A3-8AA5-11CD5CD02227","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b9371a1396b5660d5734cb5e0075d011d357893","datavalue":{"value":{"time":"+2013-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326754$620A3B9B-7D2F-4B2B-9763-E8A2D8AE5306","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326754$B4BFDBD4-5625-413B-9F4F-A2C5F827CC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326754$12C7EAB9-22E7-48CE-B3FD-F87291FC7128","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed05fec2be19a46139c4c726c00d400135385c9a","datavalue":{"value":"6195648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326754$F1A8FE25-5BB4-4DEB-BD51-50CD3D696962","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ed2781574ca6e9fec8a00bbb1127fe385a3d72e","datavalue":{"value":{"entity-type":"item","numeric-id":21831,"id":"Q21831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326754$5C7831D4-5B75-45BA-ACCC-286C3FC9AD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326754$82D05C11-FAD1-4286-81AB-239A59D4ED61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcc330069641eda97e87ffe609f95048fc69def3","datavalue":{"value":{"entity-type":"item","numeric-id":21886,"id":"Q21886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326754$851C78B9-5493-4ABB-A481-B4F6FD808135","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":"Q5326754$53EEBC12-6104-4C1B-A734-9CD7B7829AF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e96aabbcae380a3be16cd329c45f2360b554454a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36830-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326754$0D7CC033-5C19-40C9-9934-7654BEF2A645","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb03d8bc01e67cb2103baac69de7ba4694d16278","datavalue":{"value":"W2145835327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326754$5F9B2CD1-3FA9-4BEA-AC73-0701793BA5EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8b23a0b2fd124c38331ebc84a0ba81b7c95758","datavalue":{"value":{"entity-type":"item","numeric-id":5447364,"id":"Q5447364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dfcf05649abac25b988bbb9a04bd1b27fd0c374","datavalue":{"value":{"amount":"+0.7685368657112122","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":"Q5326754$3CC1D783-090B-425B-AB1B-2743073914E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b6a782de78bf3237146a88591e709b94690591","datavalue":{"value":{"entity-type":"item","numeric-id":4808837,"id":"Q4808837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d13a4f6ceeefa4ad35a5f48a205cd9c46e9f36","datavalue":{"value":{"amount":"+0.7440717816352844","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":"Q5326754$7F9A2906-CD05-4177-9041-1174B7A62AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8682a7c98da00ee4f173f3c7cf56e501e7355f","datavalue":{"value":{"entity-type":"item","numeric-id":990127,"id":"Q990127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c86a0ab4fbb953d9b52c58996227e63cc6b19a","datavalue":{"value":{"amount":"+0.7308428287506104","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":"Q5326754$A2D37E41-D3C7-4C44-BDFD-3B4F1ACAA66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b34d51deb754fb17ec5ea594990377954b66fc54","datavalue":{"value":{"entity-type":"item","numeric-id":3591442,"id":"Q3591442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47a3881cecd2dd184ecb36f208a11a3387b04f8","datavalue":{"value":{"amount":"+0.7286424040794373","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":"Q5326754$9118B9C5-F116-4C1B-9090-F31098FB2AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9037aa4c8816383b2e2e586b4c39287b173c2de4","datavalue":{"value":{"entity-type":"item","numeric-id":2902917,"id":"Q2902917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d345ae8989014e981f2a5965006933290d6a9be9","datavalue":{"value":{"amount":"+0.7221477627754211","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":"Q5326754$A4050021-0E27-4306-8326-D9BBA969CF95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326754"}}}}}