{"entities":{"Q5506380":{"pageid":7535940,"ns":120,"title":"Item:Q5506380","lastrevid":50553431,"modified":"2026-01-14T09:20:26Z","type":"item","id":"Q5506380","labels":{"en":{"language":"en","value":"LDYIS: a framework for model checking security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5499362"}},"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":"Q5506380$9EE0ACA4-F27A-477C-AB54-C8D49436B915","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b84972997e3d342a009173e78b0e93606c7694b","datavalue":{"value":"1160.68443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506380$2354746E-DE5B-4E07-866A-72C74A148B27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506380$DBCA18E1-7C44-4553-A0E6-844ED4DC11F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506380$B7CB7422-88FD-4AA4-A528-76173AAD1897","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"770c4d910c97da4ff20bd341646b3183fc682988","datavalue":{"value":{"time":"+2009-01-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":"Q5506380$FB093471-F87E-4572-B340-172600F011F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506380$B53C41F3-E2A5-4288-B63B-873C3D1A6FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506380$2F11895B-719E-4216-97C0-8960241D8849","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"770947405e72654b20f857efa92b145f5a86b364","datavalue":{"value":"5499362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506380$B6B33E37-5248-46A2-BB5D-6B3F4DCA2958","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9849b6b65e4f99ca4ea5405edda4c21e767aab14","datavalue":{"value":"automatic verification of security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5506380$B54417A0-6658-4C6E-88D0-0AC35095882F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c93332f73910d7429fbf6233d680ed32c4525adf","datavalue":{"value":"multi-agent systems semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5506380$E7807DBD-52B7-4A04-870E-993F28293C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"064d13e342438af91ff9147b36deefd83474210e","datavalue":{"value":"temporal-epistemic security-specialised logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5506380$DB39C2C5-C128-44E9-A0DC-41CD05E39AE8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f267ee05e9051693112160ecee23c72ab6ef753","datavalue":{"value":{"entity-type":"item","numeric-id":15402,"id":"Q15402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506380$C58C43FE-2D0D-4715-9B86-CBFDBAC34992","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":"Q5506380$3C2C8317-E8DF-43C9-86CD-B6F63E04A52E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e8215663a0e9fc1bc632141e66276fda095bd1","datavalue":{"value":{"entity-type":"item","numeric-id":5394563,"id":"Q5394563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294daeef8943654ae367f0763d87f54f90e58ff4","datavalue":{"value":{"amount":"+0.7973400950431824","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":"Q5506380$898BA364-0B21-4C9D-91AF-50617E65195B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f67717d1ff5ca60a3a7267d3106d3b5356e1b60","datavalue":{"value":{"entity-type":"item","numeric-id":5422290,"id":"Q5422290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0643d1998143d393cfc50ecea78436e19dece124","datavalue":{"value":{"amount":"+0.7970687747001648","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":"Q5506380$8FC1CB03-DAAD-43A1-8132-27AB58BC862B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6206fb2333e843b84a862f154bfb633db182fcda","datavalue":{"value":{"entity-type":"item","numeric-id":1853583,"id":"Q1853583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c6d3fe520dce310f8cfd054ba38c0707e7cc50","datavalue":{"value":{"amount":"+0.7899852991104126","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":"Q5506380$ACD9A894-E669-4711-BD31-6F13A70FE3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d7c4c10cd6e660c280c5b961ec5da97080dc18","datavalue":{"value":{"entity-type":"item","numeric-id":4484506,"id":"Q4484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"819d6d7c83d7aeca22a1dc52e4d125282b39cde6","datavalue":{"value":{"amount":"+0.7886369824409485","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":"Q5506380$B18EF9D5-2D7A-4FFA-B2E3-1D9536B152BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e851cb4ec4cd59224610a6733ec5fe9e51e7a387","datavalue":{"value":{"entity-type":"item","numeric-id":4707750,"id":"Q4707750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189d8a8e62389aa28192863c442673e4c77e694d","datavalue":{"value":{"amount":"+0.7849334478378296","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":"Q5506380$22FE3495-E830-471C-B4CE-58123ADBF58C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5506380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5506380"}}}}}