{"entities":{"Q2303374":{"pageid":2314117,"ns":120,"title":"Item:Q2303374","lastrevid":55370662,"modified":"2026-02-17T14:42:58Z","type":"item","id":"Q2303374","labels":{"en":{"language":"en","value":"A multiset rewriting model for specifying and verifying timing aspects of security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176729"}},"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":"Q2303374$17C8B7FB-4ABC-47EB-ADF0-A0BA4CBB66E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4893e536ded41c33d54acf461df6cfc1880df59f","datavalue":{"value":{"text":"A multiset rewriting model for specifying and verifying timing aspects of security protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303374$A099316C-986B-47AD-A3E9-D932FD230FAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2223e8c12c285c4f3b700bd2d7bc79f5df27a35","datavalue":{"value":"10.1007/978-3-030-19052-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303374$C5092635-8325-475D-AABF-94217518FAED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5c54939d9dd021053774b65646287e976d89ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2303373,"id":"Q2303373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303374$84B6DBF0-ECA3-4022-96E8-56F9D03684E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0206dced1d121eca631a5525158864f5f288ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":462498,"id":"Q462498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303374$D3B47FB9-AE35-4F04-A90A-4ED1152EDE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef528bc8876184f9d4707e8d3f50dda4f6f700b","datavalue":{"value":{"entity-type":"item","numeric-id":281158,"id":"Q281158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303374$28A9ABAA-ABA8-4CE1-A5B8-84BDE7B9DD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303374$27AAF97F-EA40-4D9E-B45E-BF920D7FA7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303374$B21079C6-FC66-407B-92DC-E2756378B698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303374$1B8100BF-DFC5-4450-99D6-447B591821B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61e2e5951dfff50ebb9b8606073c3ef7da57bd09","datavalue":{"value":{"time":"+2020-03-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":"Q2303374$468E2C99-3205-4552-B510-9F6D58F270EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"674dda2d79ece8297a02b1b42128e73e11eeafb1","datavalue":{"value":"https://discovery.ucl.ac.uk/id/eprint/10081698/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303374$32D43708-DAAD-4697-A485-BA8C52FCFE1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303374$599FBC2F-3E9C-4080-8277-A85AD3B0C651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303374$E9C66E23-BDB4-4F85-A544-4A0D78B4E6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303374$4558A224-BF93-4333-8811-80315F1AB424","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b19e4dd1c3ee7d551d4f9fa43481526e6c3b978","datavalue":{"value":"7176729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303374$E59B8505-7587-4F43-9A20-DF02097BE128","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":"Q2303374$7DF973FE-6E10-4163-953B-F42975C9B6D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86660061a521b0a59437c67b39ccd267e214ae0a","datavalue":{"value":"W2945367423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303374$D322B9A5-A438-4EC9-BBA6-419318FD3912","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0ec567c443e85a8f52d5db4311b0af44a74f2d","datavalue":{"value":{"entity-type":"item","numeric-id":4808734,"id":"Q4808734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496a81d3682fab838d49bed0557ed905ab5e2082","datavalue":{"value":{"amount":"+0.7810847163200378","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":"Q2303374$BB3B55A8-9F10-470D-8809-0F179C097876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757d0e8fe8457a7fab7174ef123819d10a7c6f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5308417,"id":"Q5308417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd345a0a85f9ad3dac0d92a364a910a84f50d9cc","datavalue":{"value":{"amount":"+0.7575303912162781","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":"Q2303374$7F00B632-AE7D-4AA6-BD4E-15DDBD4DDE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfeeb4e6539c27e9dae5d059b6cb33d4f2d33b13","datavalue":{"value":{"entity-type":"item","numeric-id":5418256,"id":"Q5418256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412baa24c83467b70b25cb4b1fb8907c2c691c1d","datavalue":{"value":{"amount":"+0.7481269240379333","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":"Q2303374$1D10502A-E566-4396-9433-E5A70CE77B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5549dc8080b9d24517b6c5e99008b305ba2035a","datavalue":{"value":{"entity-type":"item","numeric-id":5192937,"id":"Q5192937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca736d3f8145608cac442dc0454c03b7c5eba77","datavalue":{"value":{"amount":"+0.7466059923171997","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":"Q2303374$586ED318-EC7D-4133-BFEB-F71BB99AE5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5642cd758972f62bdfecc52283095b9dd61ef10b","datavalue":{"value":{"entity-type":"item","numeric-id":3508516,"id":"Q3508516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b387195c57b0161c9cb2810da54a9e86c300641","datavalue":{"value":{"amount":"+0.7400965690612793","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":"Q2303374$4C27B788-28FF-46DB-A5A9-84B976D96B6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2303374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2303374"}}}}}