{"entities":{"Q5416745":{"pageid":7446319,"ns":120,"title":"Item:Q5416745","lastrevid":41544640,"modified":"2025-05-05T16:39:27Z","type":"item","id":"Q5416745","labels":{"en":{"language":"en","value":"On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6295303"}},"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":"Q5416745$55946C1A-807E-4EA7-B562-3EC17ADC3C91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a5ff022f4c2bde60ff3c01aac2cdbdc49df3342","datavalue":{"value":{"text":"On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5416745$A8A05860-C0F4-4FE6-B7CA-726D57FCA6B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07deb62d50fe08d0549ef7b6336eb71c895f7eb6","datavalue":{"value":"1286.94083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416745$235E09AA-79A8-4FC0-B10D-7BF09CC1AC7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a800beaf98dfd8c25c8085061c840636856eafd","datavalue":{"value":"10.3233/FI-2014-999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416745$92C530D8-287C-4A0E-B03C-1DACC8C3CCAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25f1c7dddeef532c52505202e329f1146ea5a851","datavalue":{"value":{"entity-type":"item","numeric-id":4473613,"id":"Q4473613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416745$C9412998-8009-456F-9E0E-348C584BB3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42a29f5145573f09b2c5b1006bd3fc9569551af6","datavalue":{"value":{"entity-type":"item","numeric-id":5416744,"id":"Q5416744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416745$6FE46004-0D4B-4DB4-9D84-2D65085D27E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416745$802CD112-EB5D-4C1E-9DBB-9A987848A7E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c152340ac0b0636b94de35321a7f88ea26a273d9","datavalue":{"value":{"time":"+2014-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5416745$C44C89A3-8A09-4A04-AEEE-7D2F8E8481ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416745$B2FE0E56-75AA-4C6F-9D0D-F361896AFBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416745$294CCEEF-8D70-4F88-87C3-DCA07A4EDB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416745$60AFC79A-C1B2-4C90-83C8-3AA26F4CEFAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0a0e73218818e29fb85a93642f428e32b85885f","datavalue":{"value":"6295303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416745$FB647424-3C9E-4C30-9CB2-1223F7893A91","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":"Q5416745$9694F6E7-3EA9-489D-B4E7-E177226FF93A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b5c56f7969072261270b40ae3fae3aad78d43c7","datavalue":{"value":"https://doi.org/10.3233/fi-2014-999","type":"string"},"datatype":"url"},"type":"statement","id":"Q5416745$179BD7B3-22FD-4C87-9427-F2383CFB0630","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0989a77bbc48f11fe9d7b914421e0a9eead4dcd8","datavalue":{"value":"W1863799053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416745$D1A1F215-B2E9-468E-A2B0-CF05E37B3037","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261238cc610d3dbb55a68be635677340acdbc8c4","datavalue":{"value":{"entity-type":"item","numeric-id":3369931,"id":"Q3369931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05a371a28200a6b380d95c0a5c4787e346e76b5","datavalue":{"value":{"amount":"+0.8936337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5416745$324884BD-582C-4941-9E86-4B1AEC7F118E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f241cff2b82dfec547d197f5c51a7f7ebad6c2","datavalue":{"value":{"entity-type":"item","numeric-id":4341695,"id":"Q4341695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a12c832c7bbd8419480dbdfcf525bb0f47e2ea","datavalue":{"value":{"amount":"+0.8711561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5416745$7B5524A4-E790-41B8-9522-49A5A6CF431E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3519e6b4ff00b2039a560c273dfe47f9a511510","datavalue":{"value":{"entity-type":"item","numeric-id":5712297,"id":"Q5712297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d866662d5dc35b45a43556ef46a79c88dc27d187","datavalue":{"value":{"amount":"+0.8542831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5416745$4EE2B73B-B3A6-423B-8F09-87AB465A5EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c92aa75104dd808d4709736bcd5f6502690c7c3","datavalue":{"value":{"entity-type":"item","numeric-id":3184744,"id":"Q3184744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d1c8eb3808757354e997e43ecd606e9a9a54d1","datavalue":{"value":{"amount":"+0.8484398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5416745$10499192-4ACB-4319-9A3B-438414291981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d740974bda05bd0358f728f2078d1c2def921e","datavalue":{"value":{"entity-type":"item","numeric-id":4535055,"id":"Q4535055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10eb9bd423dada034db80369514833354878a88","datavalue":{"value":{"amount":"+0.84785783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5416745$2F02AFDC-1E07-4CF1-984D-5851365D442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb812be89603a73403cdc949d32035f8ffa3905c","datavalue":{"value":{"entity-type":"item","numeric-id":4427081,"id":"Q4427081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15bfd00fdf4f9d184ba158b81276f4ead169a936","datavalue":{"value":{"amount":"+0.84183013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5416745$F5278F83-FA63-42F3-B13B-FE674DD008AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5416745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5416745"}}}}}