{"entities":{"Q2946596":{"pageid":2957316,"ns":120,"title":"Item:Q2946596","lastrevid":58062621,"modified":"2026-04-03T16:01:54Z","type":"item","id":"Q2946596","labels":{"en":{"language":"en","value":"Deciding security properties for cryptographic protocols. application to key cycles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483105"}},"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":"Q2946596$98BD5BB6-852E-4E83-BE1B-FBA308B69393","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c89b042605927dc1ac92b3eb8eaae7f907e16a64","datavalue":{"value":{"text":"Deciding security properties for cryptographic protocols. application to key cycles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946596$C5E5A291-5817-49E0-8444-86EA4903AC37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84dfde68d631674172f7e6bfd88e17bc984dfe1b","datavalue":{"value":"1351.94035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946596$1BFF6F08-71C5-4711-B38D-195FEB89DEC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3db8a3464ee30e31f6216153ae6ec2c257d3dfce","datavalue":{"value":"10.1145/1656242.1656244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946596$84AB7696-7E4D-452A-89C9-360923456146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f520d915db58b1deff0a192b1bdf4c695119eda3","datavalue":{"value":{"entity-type":"item","numeric-id":462487,"id":"Q462487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946596$E6BED8F2-6C11-40B1-91F1-7D04395B8B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946596$7E811A6D-D1A4-487F-8BC0-E8DC514A4AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e188186e9b3b555a42fd3b32619716393d0ab39","datavalue":{"value":{"entity-type":"item","numeric-id":402359,"id":"Q402359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946596$FF7CD799-782B-457B-9A56-A55266042B64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946596$2D423587-E196-4E1E-B788-AE1FEF16F61F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946596$DD26D930-C22A-4E64-A24D-6D6BEB737196","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dbe982edc5a2d710b9ddffc9d5805d7b67f30e5","datavalue":{"value":"https://arxiv.org/abs/0708.3564","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946596$AA834CCE-419A-48A3-8F47-B1003AE55CF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946596$12E65BD8-BD89-4B03-9518-1475256D7F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946596$70F32725-A25E-47D6-BB8D-70CD9F60A410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946596$2C40F297-78ED-45D0-9FED-BE777FA6976B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946596$2711D6BD-B943-4E38-98D8-3B08D4F82766","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"108101a1f94328a756d4056dc5bf89d1ccf3a60f","datavalue":{"value":"6483105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946596$B6890D15-6849-4C5C-B9B7-67B158ED7F31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946596$68DF6791-3F09-4431-BE6B-8B3893661932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946596$3A7A0210-97AB-41B1-B241-C1DBE4E8E913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e17e497a03dedb0bcd7e478dffa1adeb94467e","datavalue":{"value":"symbolic constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946596$833BD3E0-C01A-4D5D-BA8D-4F5892A60FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946596$0557DD6E-0D25-4F4C-8C1B-C4891D698245","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":"Q2946596$C9CD1922-311F-457C-BBEF-5CE38A3D6BB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57504dcb343c4a006acda0d74733ee1d4258c30e","datavalue":{"value":"W2155993098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946596$581223B7-08E7-4955-AA84-31A63AAEA271","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"522844f2389c20387293e25d3b24eb6dec07f9d4","datavalue":{"value":"Q130960630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946596$5340E319-2274-45C5-987A-366D8930C885","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c200b5cbed547e8af3b513e04fbc2901b8ebc62","datavalue":{"value":{"entity-type":"item","numeric-id":5387901,"id":"Q5387901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a2916a69ea65ff24470993a33435498717775a","datavalue":{"value":{"amount":"+0.91826730966568","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":"Q2946596$7230DC16-D54C-406A-BD78-83AFA408C651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee9fa22fef036a9ec5d24ed2fd065ec736af9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3636823,"id":"Q3636823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccaf4cc500b87abf6ba7cbe53bfa6d255919e256","datavalue":{"value":{"amount":"+0.790962278842926","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":"Q2946596$A2C1AA83-1C6F-4725-87D2-C463FDC1EDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0246ea49d22b9e6ff5cf9ad9296865a56bb0014b","datavalue":{"value":{"entity-type":"item","numeric-id":5311473,"id":"Q5311473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4af99d342927bd0f9defaf14b25f733b5cf485","datavalue":{"value":{"amount":"+0.7781655192375183","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":"Q2946596$B446F038-DD6A-4BFF-B76F-17655F87105D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63524b67ceaef76c4968f1a64aeadec6e8818160","datavalue":{"value":{"entity-type":"item","numeric-id":5200014,"id":"Q5200014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b874e73687fbd3325576ef69685d82362c003f1","datavalue":{"value":{"amount":"+0.7761086821556091","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":"Q2946596$67FD8500-F82C-4654-9C45-08BCDDB6683A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09792f917c7baa0f20de10c36f5b1e49a143589","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2e608c06c058fb7d0d72789e0da8916cd1584d","datavalue":{"value":{"amount":"+0.7687340974807739","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":"Q2946596$EE4B9A4B-3103-4C2F-80E2-DC43B27E979B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946596"}}}}}