{"entities":{"Q2842609":{"pageid":2853329,"ns":120,"title":"Item:Q2842609","lastrevid":42256736,"modified":"2025-06-03T17:20:25Z","type":"item","id":"Q2842609","labels":{"en":{"language":"en","value":"Modal logics for cryptographic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198651"}},"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":"Q2842609$9DFB8B61-606E-44C8-8C1B-DE4B0CADD69D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d21eb7dfcdd84b6292ba3f0787a337bbeb8e4b5","datavalue":{"value":"1270.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842609$90912480-C151-47F4-BF75-A9755CC56224","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3d44a01ec87a595284abd51d5ed51942ffba53b","datavalue":{"value":"10.1016/S1571-0661(05)80368-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842609$3429DAC3-0F2B-4BA1-A731-7C6D56E21E1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff8f0f2197a7a224dea38e82907250fecd98bc15","datavalue":{"value":{"entity-type":"item","numeric-id":2842607,"id":"Q2842607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842609$660004D5-4EEC-46C5-A85D-C1A309D28341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f357d017754e572ccc44c17ada188ba5cbe27432","datavalue":{"value":{"entity-type":"item","numeric-id":861693,"id":"Q861693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842609$B7CDF5B3-95F2-4C1C-B1B6-B281B30BA122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"524716d3c7497e5ccdbe636fb78740e8332fb718","datavalue":{"value":{"entity-type":"item","numeric-id":2842608,"id":"Q2842608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842609$0352E61B-022C-4BE8-B46F-2DCF2366A872","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842609$082C31F0-B3E6-400A-844A-9A28DB2B20DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842609$4DDDBC5D-B07C-46E9-A822-84AFDF89C8C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842609$60EEE226-C223-4B14-9540-77D5172303C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842609$28448884-23E5-4394-855E-2FDAF5242552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842609$A121C99C-7EA0-4EE2-87FF-E55F65738E9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb9fc2c74f8dcf789ccb2f280a49ea94127cad79","datavalue":{"value":"6198651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842609$147D5FFF-7687-4C3A-A455-58552B0491D9","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":"Q2842609$2141443A-D390-4F53-9266-8C1B6B1BC914","rank":"normal"}],"P223":[{"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":"Q2842609$F31874E9-A089-4E49-9D29-AACCC570EED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842609$5EB55F68-AABD-48D6-8571-4445106DBB39","rank":"normal"},{"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":"Q2842609$EE890D56-331B-4421-8491-8D219F05629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24efce6992803e4942eeccc04599e8963e887c","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842609$FA2FF10C-31AC-4603-93E9-1CC2921763D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842609$FEC42301-6318-4E56-83DF-BABE69DDD09C","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":"Q2842609$E6431C5F-7460-498C-915A-79711B3D7DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842609$7EF7BE39-72D7-468D-9CA5-2B58A0CEB439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842609$D2AF6536-E680-4A31-A02F-186531C6E5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842609$A92B1F89-7CE1-4474-B4C0-CECD5D7BDA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842609$E877AF57-45B3-400A-8510-EE5B103A4A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842609$FA817168-DBC1-45D5-A3A2-FFC815E1C921","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb4b86063fe4ea29fc5e426f577b70733ff90637","datavalue":{"value":{"entity-type":"item","numeric-id":2490263,"id":"Q2490263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d065193a22dcb60b1489477cc8bbc615d47eb9","datavalue":{"value":{"amount":"+0.910147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842609$A4E66C5B-ED1D-4BAF-BED0-06519F197434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bfce2bd16a86af783d90e27947458b64b5d463","datavalue":{"value":{"entity-type":"item","numeric-id":1894680,"id":"Q1894680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9374f8de384d56efb240947782586078b0f00ce2","datavalue":{"value":{"amount":"+0.8767635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842609$F28D37D0-0A8F-4F48-BC86-A67913F9300D","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":"c0ba4c5b4868cdb20f18f3abab12ee330353cbd1","datavalue":{"value":{"amount":"+0.86704063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842609$5250E7A6-90BC-4F03-B1A7-74DAAE91567F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0e58252d4e00102060939458a9b89a5c4633f7","datavalue":{"value":{"entity-type":"item","numeric-id":5431294,"id":"Q5431294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0eb4f3532eb620bfe817273b0102f93627661c0","datavalue":{"value":{"amount":"+0.8653927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842609$C0CB4D2A-D377-4E1F-BD92-46E4EB9E51C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75938c139f8aee0deac46de73099b74a36e65918","datavalue":{"value":{"entity-type":"item","numeric-id":3125910,"id":"Q3125910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1d69929f844f8f581f19e4ac3ac4212a4242af","datavalue":{"value":{"amount":"+0.8641561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842609$A1D60003-5AE6-4B00-BF9C-6F1ACC0B98D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0800ca8225f5e2f1c4ce81f2a76d643d123599a0","datavalue":{"value":{"entity-type":"item","numeric-id":5875443,"id":"Q5875443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6fa85a81b755264d97d3698a89c463fe49e364","datavalue":{"value":{"amount":"+0.86332005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842609$DF86F64E-382D-4550-9AC7-99C9A55DAF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d0765d327aec136ffc106b0f84d9a48b578fda","datavalue":{"value":{"entity-type":"item","numeric-id":4870069,"id":"Q4870069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c0670c18d382945443099890797bc853f476be","datavalue":{"value":{"amount":"+0.86298263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842609$980A2CEE-C44D-4EE5-A35A-629AF71C5B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebfafcb5674d81d3baeb5ea760c8fe02586f4182","datavalue":{"value":{"entity-type":"item","numeric-id":5392500,"id":"Q5392500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac4cb9117dd80d7ffb6008618eba198481d851e","datavalue":{"value":{"amount":"+0.86230683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842609$68A2150D-F37A-4405-A7A8-A697DDA6F949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2afa8a8b8ab30110e5749895017a16fbc7603f","datavalue":{"value":{"entity-type":"item","numeric-id":3746877,"id":"Q3746877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245ebb3ed600ad7f620514bef3162aff9691943b","datavalue":{"value":{"amount":"+0.86148024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842609$EAB06220-3BFF-47CB-B996-83C8863AAC1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5638a5df7d11af65d6969cfbaa789601b4e1d275","datavalue":{"value":{"text":"Modal logics for cryptographic processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842609$EF9DB805-536B-43D5-A8F4-52894303EBB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842609"}}}}}