{"entities":{"Q3378195":{"pageid":3388899,"ns":120,"title":"Item:Q3378195","lastrevid":80428142,"modified":"2026-05-06T16:10:25Z","type":"item","id":"Q3378195","labels":{"en":{"language":"en","value":"Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5016599"}},"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":"Q3378195$8848B3D1-8A5C-453A-858F-1B591AB25FB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"416ac73b9265c18a011e8403e3a45a4c62027b7c","datavalue":{"value":{"text":"Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3378195$7C088B55-5E81-40CA-AADD-AF0E69B23D57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1a206c2b721e5292277ce9415aab912a0f4f94a","datavalue":{"value":"1098.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378195$0D49B24B-27E6-4AFC-95EA-4830E378F8DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3378195$9E2BC56D-90D0-4CEF-A464-31B78F9D6A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6394a9b799318dddd4fd045f70a89704e53a076","datavalue":{"value":{"entity-type":"item","numeric-id":549721,"id":"Q549721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3378195$CCA7EAA8-07AD-4EAC-BFCB-2F469DD7C0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3378195$409194D9-867C-43D2-98C7-DDA644F66D3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3378195$05A848F5-3B0A-4140-B96B-036767A9F915","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04578d86bd40a1d3e4bf1177aaf4c60cb647046e","datavalue":{"value":{"time":"+2006-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3378195$288F70CC-2B6A-4182-BCE2-21642763B350","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"290bc0789e91ae3b45d37588bce8f94efa4ec564","datavalue":{"value":"http://doc.rero.ch/record/292751/files/jzi048.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3378195$064BBF2D-8B5D-48C3-90B6-95118D697110","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378195$B8DD886A-9169-4060-8C76-A0A47A298148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378195$85127107-1861-4338-B447-2EED6AE7B044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378195$5F77E055-E2E5-4DAF-B33D-213518E612DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378195$ED8479F1-A329-473A-BB99-D303CAD970EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48ff210515c70bd6cf0d2cc3dce0466dc49a3d53","datavalue":{"value":"5016599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378195$C00E49E9-7FDB-45BB-AD4A-4DBCAB43855F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3378195$565717D3-08B6-4641-B4F3-84A381AE1284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"758110557f16e08b200f13d7f1ff28b809fc0196","datavalue":{"value":"protocol models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3378195$6D64EE11-E17C-4AE5-BCDA-35CDBD505170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"895bf8201231b6fce83a0a8f0d82857ba32a5f82","datavalue":{"value":"strand spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3378195$A86D9989-354C-4BAD-98E0-F406856A8F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d71db1910a6c9a0193322109cb76c34560ea1b1","datavalue":{"value":"distributed temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3378195$1C81ED29-84CD-48DB-A962-9ECDEB4CE597","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3378195$856A7580-1835-4312-AFA6-66A5D07740F2","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":"Q3378195$333364E4-E634-4F11-BDBB-EF633D564711","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f5c78ac8fa885513dfb08e529375e985c15cab5","datavalue":{"value":"W1987035270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378195$4BBE8C32-33EF-47E9-BE82-D2CB7498C964","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78129eaa0fdcb776dd05a6507e4b49179378fece","datavalue":{"value":"10.1093/JIGPAL/JZI048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378195$C47A93A7-10DB-48E4-B71E-9F9ED8748854","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388b99730af7013eec7fafc809f59822d9a14e2f","datavalue":{"value":{"entity-type":"item","numeric-id":549724,"id":"Q549724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860949f9002945fa15052c83a01d385e0336938b","datavalue":{"value":{"amount":"+0.8103554248809814","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":"Q3378195$97E0E7BF-F78C-4E29-AC28-7E4B7F471610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738354fc253573bba4270122979e4c6d2a2c1f93","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a959693382843f6e5323de61bbd9eebff81eaf","datavalue":{"value":{"amount":"+0.7964032888412476","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":"Q3378195$93B2472F-E74C-4DCE-9AD6-5EF9F81476BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408e8931ce06e43caa4fa1ec7b852db40a52dd13","datavalue":{"value":{"entity-type":"item","numeric-id":4415247,"id":"Q4415247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372fc0100899304ddf80deebe26b1b0554c1bfc7","datavalue":{"value":{"amount":"+0.7905727624893188","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":"Q3378195$29BC2C00-87DB-4E02-BD34-12250A9AAD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc61c17c889245bb3a871ff9b46db119801203e","datavalue":{"value":{"entity-type":"item","numeric-id":3499787,"id":"Q3499787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8666c3e17da0319e033ae680fca7fdffb8f8ea0","datavalue":{"value":{"amount":"+0.7805485129356384","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":"Q3378195$83E4C311-3FCA-4DC8-8874-C3AC608CBB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"571f7a32988447d980da6a301095774da4e8a693","datavalue":{"value":{"entity-type":"item","numeric-id":2848036,"id":"Q2848036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e966e6a6eccbb747c14701de5e2e9ec8be3350","datavalue":{"value":{"amount":"+0.7772141695022583","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":"Q3378195$30F75B0F-2EC7-417F-BE88-14828A5613AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis","badges":[]}}}}}