{"entities":{"Q2841265":{"pageid":2851985,"ns":120,"title":"Item:Q2841265","lastrevid":51780014,"modified":"2026-01-20T00:07:17Z","type":"item","id":"Q2841265","labels":{"en":{"language":"en","value":"Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190959"}},"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":"Q2841265$3FE183B0-6804-4C1D-A6D3-9566BA3B6865","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85476b3c06d9d0b2e0af3f0cee116c6ed8786e68","datavalue":{"value":"1268.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841265$BDE738D2-4A06-423B-8F6D-FA7039ABEBA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f3a2942831d81ed332ecc9089ff51a4aabef6b5","datavalue":{"value":"10.1016/S1571-0661(04)00311-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841265$5EFE9399-1C09-4DD2-93C8-10267297E5E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f9a3a3ece59ce0ae038b07406123ffd075b731d","datavalue":{"value":{"entity-type":"item","numeric-id":2493669,"id":"Q2493669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841265$A5F4E158-31BE-4730-946E-E0AA1ED9BCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39b091dc6674e0b947c35795e09051c8bb42a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1269917,"id":"Q1269917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841265$9ABCBCD0-C3D9-49F9-B0D3-F0936C3BEFF8","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":"Q2841265$8BFBC057-17C7-41D2-8C89-A779AAA79D41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841265$BE2EB91C-C77F-4EA2-99BC-C60EF2F4D001","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841265$98054C4B-A9A0-41C0-8390-E4349B36A7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841265$C12626E1-6B99-4B9B-B1E3-73E3ACED1445","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f5bf693d47208513947f0a57680e6f2889c6a58","datavalue":{"value":"6190959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841265$CDE0C2C7-586B-417A-BB2D-612CB7C58A56","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":"Q2841265$DEC5D42C-C374-4893-9E29-CC2FB2B2DCD0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ffe6072cc3030b80a29127aa24cebf45f16c5d4","datavalue":{"value":{"entity-type":"item","numeric-id":6044108,"id":"Q6044108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841265$B71CEE42-5273-45AC-97BD-4B804F1694F4","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":"Q2841265$14351279-39A3-404B-8D50-CD857994F328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9814637ea33e980161db9a39e44cb6cdbb329e40","datavalue":{"value":{"entity-type":"item","numeric-id":4779098,"id":"Q4779098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841265$9B8660C6-5FA8-4A75-B7DF-963E14BE0360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2beb8168ca6a29281ccb972aeeb93082e0c97730","datavalue":{"value":{"entity-type":"item","numeric-id":3700824,"id":"Q3700824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841265$FB08BE6C-F4CA-4279-8214-9B7B7D62D41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b5a2d7a47d7504ad6c2b046fcc34c8b5b37787","datavalue":{"value":{"entity-type":"item","numeric-id":4330563,"id":"Q4330563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841265$CED4B189-5F23-4DB9-8CD2-754746DC78FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3db6125d19a896b9d930772c03025e6006ade8e","datavalue":{"value":{"entity-type":"item","numeric-id":4499293,"id":"Q4499293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841265$2730BBD1-E3EA-439C-BBED-43323770C5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a847e4fd3b3c31a7ea561ba6c58dcee3f9188cae","datavalue":{"value":{"entity-type":"item","numeric-id":4493894,"id":"Q4493894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841265$3B6E5F7C-0669-4792-9D09-0CA8E7584606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d53453c27fc53efce30571cd026e65834a3161d","datavalue":{"value":{"entity-type":"item","numeric-id":4295369,"id":"Q4295369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841265$48F6482A-3A41-48B0-ADB1-1A96A3F5CB55","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":"Q2841265$E769C124-1B0C-459D-BA70-A942933945C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852173822d859a9a46ae3fed91012fdd88c5eaf7","datavalue":{"value":{"entity-type":"item","numeric-id":2709234,"id":"Q2709234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841265$D06EFC4C-1B9D-4062-9B14-1A6C2192B8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aa03382e6ad7454b01b97ce6d4242efdf5ba6c","datavalue":{"value":{"entity-type":"item","numeric-id":1276237,"id":"Q1276237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841265$B38D272E-9A6D-4620-9DFF-7E539F09F303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841265$42B0985F-FFA1-4BE4-B20D-C36EBBB6FBDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53ed7f83e5d46793ad182a5fdf083f2a422f3507","datavalue":{"value":{"text":"Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841265$CD99F58C-F34B-459A-802A-CB532DD8114F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae428fa816a2e2292e10079859317990ee1aa01f","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609a590a097a4574d8a726d1886edb2d9ede37e2","datavalue":{"value":{"amount":"+0.8071221113204956","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":"Q2841265$EDB129FB-FD32-41F9-B610-5A41B2FAD2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"479bd6ffaa9437797bd503d029dd560f3fcdf819","datavalue":{"value":{"entity-type":"item","numeric-id":2754157,"id":"Q2754157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04fd0648a8b19519b27e3cbe68d5cc4137879d6","datavalue":{"value":{"amount":"+0.7764880657196045","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":"Q2841265$979A8B7E-6356-44C6-AF90-64AAC9416678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f7226b561e2b91b972102dc1f8886e4280cad03","datavalue":{"value":{"entity-type":"item","numeric-id":4499293,"id":"Q4499293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838cdbd3f8f02be9a338c6b470b43783508a1563","datavalue":{"value":{"amount":"+0.7598073482513428","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":"Q2841265$4B1E8903-2A7B-42F2-B465-EC7A2D584827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac36bfb420b95d3c4f5d6760b1c3a3725f2eae01","datavalue":{"value":{"entity-type":"item","numeric-id":5900812,"id":"Q5900812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b6f13ed641dacc8868a23254499f7e9807ee88","datavalue":{"value":{"amount":"+0.7587501406669617","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":"Q2841265$DAF62A41-DCBE-400C-977E-5EC42F9EA7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ae06b323bd1325bcc67eb9e875ccb626151357","datavalue":{"value":{"entity-type":"item","numeric-id":5393997,"id":"Q5393997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cee4a1c02859af477552fc9a9ae8776bf63d62","datavalue":{"value":{"amount":"+0.7530475854873657","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":"Q2841265$6F21A141-AC49-4DE8-A971-5CE11A6F0598","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2841265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2841265"}}}}}