{"entities":{"Q3631369":{"pageid":5661275,"ns":120,"title":"Item:Q3631369","lastrevid":50674418,"modified":"2026-01-14T18:37:41Z","type":"item","id":"Q3631369","labels":{"en":{"language":"en","value":"Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5562952"}},"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":"Q3631369$54EEF876-FB93-48F9-8D35-30FD9F38FA17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ecc1079b6bd22b4174eb249bae041892b55709e","datavalue":{"value":{"text":"Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3631369$549BCF90-35D3-458F-B90E-890C510CBEF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0308cdd937251b8b4e5dfe66f38b4991e98da854","datavalue":{"value":"1242.94017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631369$A53E392C-5C3D-42A4-A55C-F081A730F4A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1129765a2818f95785cbb1f2dd624637a6c1192","datavalue":{"value":"10.1007/978-3-642-02002-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631369$3106AD70-C0CA-4F3B-BD14-651D8C5C544D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f916bfae67bf8d34ce0abc9251c6ce6f4ebda5","datavalue":{"value":{"entity-type":"item","numeric-id":2371317,"id":"Q2371317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631369$C6F7D2DF-F200-43E7-907A-77EA13D312FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad2997a218ecfd974b0161ea5dc6311f8e056a8","datavalue":{"value":{"entity-type":"item","numeric-id":408336,"id":"Q408336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631369$98AF6CF0-BC82-42D7-94DD-0BF17A193359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631369$DE1F913F-63E2-4240-911B-87E3D57EA5E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"550246d3d5c4ed58297c4c866d03e2c9d3d577c5","datavalue":{"value":{"entity-type":"item","numeric-id":3631367,"id":"Q3631367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631369$60D1DAB6-9F39-42A6-B0D5-CCEA02A49AB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3afd749067cfa1ab6b987c39309b37c6321cf562","datavalue":{"value":{"time":"+2009-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3631369$495A0FFD-231E-48FE-B088-5D9188E77E31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631369$9148B7C1-6F46-48C9-9A4B-D6BEC534101B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631369$D9F1CF62-5022-4435-81CB-529B650F74E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae2891b6147be3b5ba1eb378cd71cc7f48b9f825","datavalue":{"value":"5562952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631369$D9E0420B-B56B-4740-9C25-E998E610AB4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3631369$CCFFEF44-B6D0-4108-946F-29DDC144B062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3631369$A2DECC31-C15F-43F2-87D2-ED7C0B6A179E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3631369$AC68EC30-660C-4847-8659-41BE64ABC778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b3e5fd6bdccac9129c365c537c5fc88a870c2f1","datavalue":{"value":"computational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3631369$CC77D3AC-C748-4E0B-BB12-713C242D644D","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":"Q3631369$8BCD4E05-B333-49AE-ABEB-70F1AE0E5B39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c192da31b275ecaf84adfc039dde0ffe9c37b2a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02002-5_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3631369$C7F9D80E-0BCA-47AF-B6B2-0EF41847614E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"201418821a4b5be2936b3f08a16cb18cfb2ebff4","datavalue":{"value":"W1580671553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631369$753C994C-93EE-47A7-B823-6EC55FA4C0FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5248e1d096ce87474d9bd18b0fd8f9c460c7b6a3","datavalue":{"value":{"entity-type":"item","numeric-id":5899102,"id":"Q5899102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631369$4A0B1FB9-8CA3-4AFE-B908-368B8F893613","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":"Q3631369$D1E0EC38-8310-4900-9A8F-2E38DABE296C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff40562f6ba4de9c0bd73f0c4895d734ceeea24","datavalue":{"value":{"entity-type":"item","numeric-id":5716816,"id":"Q5716816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631369$D5271A69-0880-4FF5-B2A3-07ED034F4961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bea8e9846e13a8715ab50748c9877999c599ec7","datavalue":{"value":{"entity-type":"item","numeric-id":3374913,"id":"Q3374913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631369$CA604CBD-E857-4FB1-B54E-0FA0E3963763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff131d5a7bfa17fc7bdfe323ab1816673f9ee24","datavalue":{"value":{"entity-type":"item","numeric-id":5898365,"id":"Q5898365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631369$145C5ACA-5F2A-4A26-86F6-9819C1A3E8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aa1936344e75960723041aa0f8eee694263b40","datavalue":{"value":{"entity-type":"item","numeric-id":5716777,"id":"Q5716777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631369$E72B34E4-9739-4503-B1E6-F6D28F446AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91d60dc6b58607d5b8f17ee9286ccd5c15c620f","datavalue":{"value":{"entity-type":"item","numeric-id":2864155,"id":"Q2864155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631369$C6007329-BCE3-4C48-99D2-97AC35B72062","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":"Q3631369$6065FC54-8BC2-43FE-A074-BAE39B3B5511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b548fb76f8ef8a56f9223030f407f1a96f0c7ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1057832,"id":"Q1057832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631369$5E02170D-E335-4826-833D-8DB646408CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472a03921c67ee1a318138c5730f730ba83eeb95","datavalue":{"value":{"entity-type":"item","numeric-id":2863872,"id":"Q2863872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631369$CC780617-33B6-469D-B8B4-9F5ACD247A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631369$7ADD9196-045D-4473-A6E2-4B9CE3C495C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778fcb9122fa30783cd4add8f9520e541011c900","datavalue":{"value":{"entity-type":"item","numeric-id":5716777,"id":"Q5716777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea09ca0a0484fe10aba5cd42a91db4fc42af0dd8","datavalue":{"value":{"amount":"+0.8166523575782776","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":"Q3631369$DEB428C5-F8F2-4ACB-B214-CBD563F71FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfc6997b9d42c827ffb1a68af191b054386d600","datavalue":{"value":{"entity-type":"item","numeric-id":5901769,"id":"Q5901769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7c8d42b0bbe894c097ddc4b902dec826c1458b","datavalue":{"value":{"amount":"+0.783089816570282","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":"Q3631369$91EBDD7A-B927-414F-9354-B7495CC9CB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abfd57cc4e29a182831ff0de43f0abe5555ea2eb","datavalue":{"value":{"entity-type":"item","numeric-id":5505468,"id":"Q5505468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b954d8ea33c5152719c3fa28fc76847e83f0f7aa","datavalue":{"value":{"amount":"+0.7748430371284485","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":"Q3631369$C306672F-08EC-44E4-9FE5-D17CEA0BC478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cafac35a0ff5f7ce928a318700670ec9e0a116d","datavalue":{"value":{"entity-type":"item","numeric-id":2368990,"id":"Q2368990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcbaa5c9a085f90b68832f65fe6cb08a63b7048c","datavalue":{"value":{"amount":"+0.7714737057685852","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":"Q3631369$AF857A9E-614C-496B-A739-1FA9B74177B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69afaaab5936b0c22ce0aaeba51095f5984ad918","datavalue":{"value":{"entity-type":"item","numeric-id":4917062,"id":"Q4917062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5e55aae4b5da6e0690a5c3490a14e7b9765d0b","datavalue":{"value":{"amount":"+0.7707422375679016","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":"Q3631369$9C06F2D7-6877-453D-9732-2ECD1F6B09AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3631369","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3631369"}}}}}