{"entities":{"Q2490263":{"pageid":2501006,"ns":120,"title":"Item:Q2490263","lastrevid":73482951,"modified":"2026-04-14T16:10:11Z","type":"item","id":"Q2490263","labels":{"en":{"language":"en","value":"Logics for reasoning about cryptographic constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5021335"}},"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":"Q2490263$2491CF5A-AB5E-4B82-ABDF-B6F513BA1D4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed08ac17899581db0ed69875776e48af50be6fee","datavalue":{"value":{"text":"Logics for reasoning about cryptographic constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2490263$917F4AA6-E08F-47C7-AEF6-58CE9B664D3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce98480ec438d4f43979d689b54ae7bc4ec2f656","datavalue":{"value":"1090.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490263$1C3B9EA9-F565-41B3-B2A6-F1CFCAC1A7C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf0b4b75e6a0dfd1ecc76c9480c04f5fced5d","datavalue":{"value":{"entity-type":"item","numeric-id":202088,"id":"Q202088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$91115ECD-FA8B-494B-9025-3D2605ED5E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3fa9a751487606fa7aa60b1c6c01a7e88dd50eb","datavalue":{"value":{"entity-type":"item","numeric-id":269731,"id":"Q269731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$13891881-E3A3-47A2-8D7B-E84C397CD201","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$A3D36E0D-26D9-4E58-92FA-AC7ACAD86F14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2490263$BFE14562-8690-42BD-83D5-A75A34A3A048","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490263$26E1F330-A74B-456F-9689-DCA30A192BB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a26e4dc5f20a64c8f7949bfe8a8f4a2fa6f45d10","datavalue":{"value":"5021335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490263$992C338F-881E-4D70-82BA-BFD2582BFBE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba53224bb39802a0d76d484115b3269a209aa67","datavalue":{"value":"Security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2490263$0D114801-5DDF-4E23-B328-55BBBF9A8977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bbcef111935a7c841a2bd16ed3323b53de1d7e4","datavalue":{"value":"Cryptographically sound proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2490263$7DB55169-2DAF-4279-91F4-434DDFC70EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4cdc437bbfa92c418a74e98021b7b45f8da199","datavalue":{"value":"Nonstandard arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2490263$4A1B6213-FED0-4D22-ABCF-02E7580E0304","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":"Q2490263$EB51C0F3-A108-4739-9454-E61B10E72AD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61f480cb0e19a576370f5b00255bf6a83b8b5a5a","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2005.06.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2490263$4A218A59-9234-4B7A-8DB6-9446FD90ABDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"faf769c29260562900b8d29269e39d4fc901f9ec","datavalue":{"value":"W2159543798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490263$75CFDC70-4D69-4492-B9AE-092106EAD3C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$8ACA2050-D40B-40F6-BE27-6D7CBBA4295A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb649047d8af54739f248f01cac42e5a1915d422","datavalue":{"value":{"entity-type":"item","numeric-id":1601823,"id":"Q1601823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$3E928E04-142C-4996-91F7-2C0E7ED1CE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d75e09feb6e017953d1534f2a633c8ffd4cd37","datavalue":{"value":{"entity-type":"item","numeric-id":5897457,"id":"Q5897457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$D82E8502-8988-4775-BFAC-00B0FDBF9D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed585aeff4fef9d53c110f5f652283fed5b67ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4251022,"id":"Q4251022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$50165243-F5DC-4550-8FE7-305E715B5871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a581f96e8cabd60b98280dbc93b840cb31eb7421","datavalue":{"value":{"entity-type":"item","numeric-id":3339289,"id":"Q3339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$6E152DCC-E7AD-4E17-9727-5E3EA623877B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea5c7bfcd7d33e8177170c842fe7d83d5fbf89c","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$AE6EEB7F-C89B-4B07-B75B-48108D71E88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628cb64400cb3daffe7c8b3b6a4710e9daa6946","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$105C73E2-64F3-46FD-932A-F0949D83EDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0909c5baebe8e5f5a9e964f05c720f232deade69","datavalue":{"value":{"entity-type":"item","numeric-id":5586401,"id":"Q5586401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$D6D2DF27-4550-424A-8802-B7A14BF6EC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$8128276C-3A08-4730-BBDC-EDF784B3BB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eb5e0d6bdd856710fcc42356898918428a387c","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$05E0B13B-5DF3-4E42-B012-E7F1D73D4FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$D4189C67-6530-4C60-9E10-F78C6A178EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$B6A90ACA-9DA2-4787-9385-DA2CF147B331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$F4258F7A-B624-45C0-8F92-56034374365E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cec54e8fd93ce2f10da428b833cec21d604e4a9","datavalue":{"value":{"entity-type":"item","numeric-id":3801804,"id":"Q3801804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$55211282-0E35-401F-B5A2-ED0527FE6024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c62062de7837e74980976f9ffd2b1553f5599b","datavalue":{"value":{"entity-type":"item","numeric-id":1140080,"id":"Q1140080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$0F113946-73C6-415A-BC1C-C3365CD48933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b6adc965ae70824aa5cf20f58aa492cb2ac6cf","datavalue":{"value":{"entity-type":"item","numeric-id":5711642,"id":"Q5711642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$47E6A102-B084-41A2-8050-73F28B1AD0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5632424fd240eec5b55466f40f697e80e5ad87d1","datavalue":{"value":{"entity-type":"item","numeric-id":5901769,"id":"Q5901769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$4280D26A-0DE8-412F-844E-495555ABE369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cd9ae076b03f5666fc617caadfb5663d6a977e","datavalue":{"value":{"entity-type":"item","numeric-id":4917062,"id":"Q4917062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$58FA4F53-F26B-4D6E-B25F-1EF60D40D1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d572bbcf304ce2581911e61fffee94ad55ab61d","datavalue":{"value":{"entity-type":"item","numeric-id":808241,"id":"Q808241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$740E1725-D909-4751-B082-6B4AD0C7EC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$D71FB959-D938-4FF8-87AF-A9E7B9481BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490263$7657806A-B2D0-4ADA-B1E5-D25CF29C168C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e12b573007c4acb0acd6aefeb35302c8d11c472","datavalue":{"value":"10.1016/J.JCSS.2005.06.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490263$679DC08B-28F8-4C2C-83D8-BF123E2EDC77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616cae5d800f66ec3cc0448e54246f31830ffd0d","datavalue":{"value":{"entity-type":"item","numeric-id":4938617,"id":"Q4938617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0954294ec7326f1fb0b6743e8c73cef01814265f","datavalue":{"value":{"amount":"+0.7687792181968689","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":"Q2490263$FA56D429-7615-4015-970B-194A8AA3EEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a30adc631633b6c03d9642b0a683d85bf099a5","datavalue":{"value":{"entity-type":"item","numeric-id":2908554,"id":"Q2908554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9985dc9307757a5248491b4561924a471f4d0ce2","datavalue":{"value":{"amount":"+0.760100245475769","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":"Q2490263$573653AA-5EC7-404C-9848-C89E018DF143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6366a3d408ef4e5077e6b97a7018260e5a1ecfdf","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63803dddc616624ac6ffe5cd76fe749cc5f3486","datavalue":{"value":{"amount":"+0.7502025365829468","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":"Q2490263$3ACD76AD-EF87-425D-BB67-89EAB57D7924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d0cfcb3f5da89eb7a65aaa4f7b0bbc80e7a4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4934730,"id":"Q4934730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3a47d3853c4cb8000410152db4f74ad840cc02","datavalue":{"value":{"amount":"+0.7485641837120056","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":"Q2490263$F7D78E79-19EB-47C9-ADCA-2013025199F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee9e46cd1d86713d51a6595b7f177353ff07d14","datavalue":{"value":{"entity-type":"item","numeric-id":3631369,"id":"Q3631369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b365d1bcfd272f8aa448ccb97cf4c270f3c257dc","datavalue":{"value":{"amount":"+0.7480146884918213","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":"Q2490263$CF7D93D2-D9B6-45E1-8E4E-20F2F09D7AA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics for reasoning about cryptographic constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_for_reasoning_about_cryptographic_constructions"}}}}}