{"entities":{"Q5261302":{"pageid":7290870,"ns":120,"title":"Item:Q5261302","lastrevid":52300085,"modified":"2026-01-21T09:33:16Z","type":"item","id":"Q5261302","labels":{"en":{"language":"en","value":"Challenges for decidable epistemic logics from security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455151"}},"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":"Q5261302$C9EAD337-8E43-446D-A3F0-F1D9F9764739","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03c35cce5f8675be28be34df50eed88bb234e57b","datavalue":{"value":{"text":"Challenges for Decidable Epistemic Logics from Security Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261302$78EEDB0E-621E-423D-848D-E055C33E7C23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c408f50db3d6d29a8cfa2429c193d0bbb6d10a3","datavalue":{"value":"1317.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261302$28EFE9C6-F9C0-48F0-8849-334EBD5B7286","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6da8647c8c3aa0b9cf717a0f67cc34c85772de78","datavalue":{"value":"10.1007/978-94-007-0714-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261302$03C75A5F-C441-405F-902C-57437C04A95D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41befaeaba1d4b5eea68c69519cc655e57a52c6a","datavalue":{"value":{"entity-type":"item","numeric-id":5261289,"id":"Q5261289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261302$BC86C1A1-8B1F-4454-8D39-4DC5DBDE4A17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36939684543aa00214e950d282e803789dfc1071","datavalue":{"value":{"time":"+2015-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261302$DBA4B144-41D3-499D-A53F-E906DB5A6F36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261302$974C9947-0340-4828-9A4E-6B643E8ACAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261302$0F171C5C-9294-47B2-9A92-A4D3C996E4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261302$23595DDA-E0AC-43F4-AE51-9095121C745B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"670428455ad38547c275e8757ea7f3ec33f70b6a","datavalue":{"value":"6455151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261302$38CB29CE-7A90-4E59-9B24-6682BE8F1FB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261302$08E533A6-523C-4923-B4CB-18A79C4918BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261302$F022C397-2980-4450-B968-241816316872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261302$3E495136-FB5E-411A-B830-5A078AAB2389","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":"Q5261302$3F5C445A-BC4C-4E65-92D7-C1E3DC194C96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1938b3ae9dd00b13e6a890cf3fc1c6188bac40f","datavalue":{"value":"https://doi.org/10.1007/978-94-007-0714-6_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261302$F75F4297-AEE8-401F-9556-9738B6A1B62F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c5b13381ce8fe8ba7a6f2d4bdeba4497e431169","datavalue":{"value":"W29355381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261302$D58B6657-0C43-4368-A359-4F5D72F2E7BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3622f32b04cbb8feb46ca3a97b5b0b7547ea01b","datavalue":{"value":{"entity-type":"item","numeric-id":625717,"id":"Q625717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc3eb859dd6c23bbb0da05657b899618dbed4b5","datavalue":{"value":{"amount":"+0.7434650659561157","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":"Q5261302$D8EA7975-EB5B-4CF3-B345-5A4212478FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cb663df5e0b9ed916f4d6b419bc2c1ee676c01f","datavalue":{"value":{"entity-type":"item","numeric-id":2386105,"id":"Q2386105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c341951bf05da9751c51265a8b64789183d707","datavalue":{"value":{"amount":"+0.7377991080284119","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":"Q5261302$52FD4A5F-078A-4D52-A112-7C908909874B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"048f60a46a1b781ae03a38b5fafd747ddefb2264","datavalue":{"value":{"entity-type":"item","numeric-id":3063980,"id":"Q3063980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30fef8d802f38f778591d9d89a60faa2d4cb223","datavalue":{"value":{"amount":"+0.721852719783783","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":"Q5261302$5244892B-E413-4E96-86F5-7473927F01C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72125238b22d039fb144c48694d773e216d084c9","datavalue":{"value":{"entity-type":"item","numeric-id":4536312,"id":"Q4536312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfbfaf3c0b0508c267212a7bd20a050b1772d2a2","datavalue":{"value":{"amount":"+0.7216036915779114","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":"Q5261302$2B359E5D-F27E-415F-BFC5-93BC40FF900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af178cdb83a898c46edd4df722df2aa3166ec60","datavalue":{"value":{"entity-type":"item","numeric-id":3133163,"id":"Q3133163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ba7a2099819d3d57a6631bf135f141d778369d","datavalue":{"value":{"amount":"+0.7187687158584595","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":"Q5261302$7C681ECC-1897-438B-B5B8-FCC9A3F5CF54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261302"}}}}}