{"entities":{"Q3563845":{"pageid":5593749,"ns":120,"title":"Item:Q3563845","lastrevid":80726537,"modified":"2026-05-06T16:51:46Z","type":"item","id":"Q3563845","labels":{"en":{"language":"en","value":"Computational soundness, co-induction, and encryption cycles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5714935"}},"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":"Q3563845$9FE15E5D-4EA9-4553-8570-0602845A38AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff223c413cc70c1ceb969407358782295f1e085c","datavalue":{"value":{"text":"Computational Soundness, Co-induction, and Encryption Cycles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3563845$6DEBEAEB-6864-4BB8-9EF5-3991BA306E56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0486ff2e4cff730e0309aa0e74390274d3af77e9","datavalue":{"value":"1280.94084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563845$C3CBF316-E443-405A-9853-A29609DC44C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c218fdfa576b61a37e2dd31af5f0245e057dfcbe","datavalue":{"value":"10.1007/978-3-642-13190-5_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563845$AD82E184-9C4C-40D9-A66A-CCD0BA7BAFC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e09504f5af03937ba3bdae7ee664e73c54fb3be","datavalue":{"value":{"entity-type":"item","numeric-id":814417,"id":"Q814417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3563845$6E0BE1F4-1DD5-4CB6-ACBA-995F9C964082","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0fab0327aaf7e80277173a1893320a9d171aa182","datavalue":{"value":{"entity-type":"item","numeric-id":3563826,"id":"Q3563826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3563845$6E6CC7AB-570E-49A6-9FB1-525AF1C4B7E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc83c50b0eb62855cf03bd099de8d5d50e88e432","datavalue":{"value":{"time":"+2010-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3563845$274BD73A-BA3A-4423-ACAD-FA5E9AE04321","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563845$56CBB3BF-CC0A-422B-BE2B-5E389CC7CF0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2ee7295fef17e71933bda6fde1438b11331e5d3","datavalue":{"value":"5714935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563845$0987CCD9-954E-4EB8-916D-1AD960B80216","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"390ab928e325dd474e9c0ec2502488771dab4883","datavalue":{"value":"computational soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3563845$303585D3-74D1-4B8A-BFB8-78D4BFEC8842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e28abc9ed4103b97c3b983522b8597ab9f30596","datavalue":{"value":"co-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3563845$38B603BB-2C06-4762-9A84-9F52AACA2D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd77b3d7bdabf1601f6213ad9c230a5580f1bb9b","datavalue":{"value":"greatest fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3563845$1152AA7E-0EAB-478B-83FA-8ECF9C1340C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c52ea7e3ffdf0b241996b550ae133fc6f5f8a75","datavalue":{"value":"formal methods for security","type":"string"},"datatype":"string"},"type":"statement","id":"Q3563845$FA4E678A-8F23-49AD-AFA4-497F9A1FDF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7a033816f15772f489ad45e3b0ceeb0de90a38","datavalue":{"value":"symbolic encryption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3563845$F390CB9A-925E-449E-A3DC-4899155F645D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a9295420605bd2e2c5db73bf29dea0b0cc953","datavalue":{"value":"encryption cycles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3563845$CB9DE8E4-FEA0-4D46-9967-5E891442BB5D","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":"Q3563845$829F270D-CF62-4DBF-B057-4EC11A06F5BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4efec4d83e3501adbbf3fd4b4404a70345a2b60","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13190-5_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3563845$7E426C4C-6D23-40D5-B682-90112ADC6B20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba1bdb8de2fe9c5ba2b5914590215fa993bfe52f","datavalue":{"value":"W1586108203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563845$2A431619-6F1D-4157-8E38-F1F44948A8E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35cc83b1cfdca817436db25d58e89b3a5d014c70","datavalue":{"value":{"entity-type":"item","numeric-id":4910297,"id":"Q4910297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5df0676783b647a72fa17b45bd95c643dc68874","datavalue":{"value":{"amount":"+0.8564134836196899","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":"Q3563845$B9BB05D4-E9FA-452B-BFF0-F2B032F69468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c2572e2599ea4fa6eb81b4414b6a5be482b99f0","datavalue":{"value":{"entity-type":"item","numeric-id":5862672,"id":"Q5862672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce87f5ea7f22c92de8d95d95912b924e7f243a0","datavalue":{"value":{"amount":"+0.8110999464988708","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":"Q3563845$F9611108-267A-4A4B-B2DA-3D70FD3E2BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f01ff3a2e812400104ccbe76679ee6cfac164ff","datavalue":{"value":{"entity-type":"item","numeric-id":2894343,"id":"Q2894343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab4283ed7cc638b9ee5f721987f89d0c95ddd54","datavalue":{"value":{"amount":"+0.7354310750961304","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":"Q3563845$35F09C1F-C259-4B87-AE79-B980DCFD8A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67fefd61baa28fdfbc8658efc95f7ed1a8393ccc","datavalue":{"value":{"entity-type":"item","numeric-id":2148759,"id":"Q2148759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512c39e45422e7d651f73a434671171d92392025","datavalue":{"value":{"amount":"+0.7270379066467285","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":"Q3563845$52A74D22-A5E5-4217-AF6A-219E4B5A4E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a07ca6575453c9913fbca18d2af843825bb29a","datavalue":{"value":{"entity-type":"item","numeric-id":2894320,"id":"Q2894320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b89fca6c4c042633b8ce8fa3283dde0a4740f4f","datavalue":{"value":{"amount":"+0.7242677807807922","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":"Q3563845$086A2444-7D08-4722-BA46-7B190DD19CE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational soundness, co-induction, and encryption cycles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computational_soundness,_co-induction,_and_encryption_cycles"}}}}}