{"entities":{"Q6566464":{"pageid":14177619,"ns":120,"title":"Item:Q6566464","lastrevid":57576657,"modified":"2026-03-31T11:29:39Z","type":"item","id":"Q6566464","labels":{"en":{"language":"en","value":"DeepSec: deciding equivalence properties for security protocols -- improved theory and practice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7875508"}},"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":"Q6566464$029CBD47-0C28-49D9-B8E7-49935750F202","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a4ddf20c2ed8cf8b556ce008298210265779383","datavalue":{"value":{"text":"DeepSec: deciding equivalence properties for security protocols -- improved theory and practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6566464$D53C4B8C-9613-46DF-A6A7-24A103B34436","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ce5379312fabb85a719672eceef973054125c8","datavalue":{"value":{"entity-type":"item","numeric-id":391118,"id":"Q391118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$D5252777-50D7-49EF-B6AF-F509FFB7B9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b9545c86dcecbba882f43703ca686b323cf501e","datavalue":{"value":{"entity-type":"item","numeric-id":437023,"id":"Q437023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$96836A01-0804-4492-91BA-2F536C80D18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2033e0c4568b2de4343dfbf28616284341333fe","datavalue":{"value":{"entity-type":"item","numeric-id":2037995,"id":"Q2037995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$4852DCE0-ACB1-473A-B048-32A9DAABE309","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc0341a9a7b057bf6128840e0445bb46b5156da5","datavalue":{"value":{"entity-type":"item","numeric-id":6562698,"id":"Q6562698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$09363E2D-CB2F-4351-923A-3AB29B4075ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4e5fd9088d0a28713c4508e54b99005eee6af7a","datavalue":{"value":{"time":"+2024-07-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":"Q6566464$60E7B971-4E60-4739-967E-8F6D38212FC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6566464$50981784-B359-4882-BA3B-6E4F7FFE0026","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5dbe9b61e5cd1b44e5bfbe19c6db205f3e8ffb2","datavalue":{"value":"7875508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6566464$94CC158A-36EC-4D4A-B501-DE58BCCF2939","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6566464$DAC6B834-529B-446F-80DF-D6559B07EFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q6566464$8DD38BCE-C79F-42D4-A2CB-8E62A6BEFF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e363205191e8c933c09f3f29ea98be6fc0e8c68a","datavalue":{"value":"process equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6566464$E06F071F-7A6F-430E-874F-8FE8CDBDCF54","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":"Q6566464$0348609E-CD0C-494A-A7C6-7D99B8D8EE4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6cb53d0f68d414b0f9ac6746602d1f729a2aae","datavalue":{"value":{"entity-type":"item","numeric-id":3177888,"id":"Q3177888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$85C80C50-C225-4C86-9AB0-943DCA125684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$6ACBD3F0-3D33-4B8E-8C68-8B79034BCF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f93452b91edda8da8109ddb6ad4a31477422917","datavalue":{"value":{"entity-type":"item","numeric-id":1881255,"id":"Q1881255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$66E3BDDC-5C90-487B-ADB4-9CE0C76AD66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$DA763A15-A0D4-4743-8811-6345C557BBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfbdab2f45be76d90b094b4b41be056379b2a4e4","datavalue":{"value":{"entity-type":"item","numeric-id":2165487,"id":"Q2165487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$CC092CBD-4D60-4667-891F-3E59F8C99489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$89D96925-FE00-4B7D-B199-70DA9BE1B228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ae7014c4666a3c2b0099b3df6d3c0a9c0d5b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5357726,"id":"Q5357726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$3DA75E6A-6604-4100-A084-4594A1096C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a29de92665895cbd2edf51facd584261a10193b","datavalue":{"value":{"entity-type":"item","numeric-id":2946688,"id":"Q2946688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$18B94FD9-257B-49A0-934F-2CD89BF24836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$54E8E093-8D67-4D8F-8EF9-AE17E2459246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4616a1155e570e973f28b1d9054e23375550313","datavalue":{"value":{"entity-type":"item","numeric-id":1575255,"id":"Q1575255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$E0C52F16-F8B0-49BE-9C5A-3506D97F1EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8d4b01899bf050d26bf94999ee7c3edfe020b2","datavalue":{"value":{"entity-type":"item","numeric-id":5278194,"id":"Q5278194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$DAEE1E76-59C5-4AC1-9587-8689E6B12871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b120062f57339fca997efc29520af66709e19b5","datavalue":{"value":{"entity-type":"item","numeric-id":2441804,"id":"Q2441804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$BAFE274E-B91F-42DE-BB2B-64681A045317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef20d14da29fdd3f0fb31d7aa85ef7dd6d882b34","datavalue":{"value":{"entity-type":"item","numeric-id":5326762,"id":"Q5326762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$C8DF64DD-413C-4782-8E13-FFA5C35D9F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0de528048102a53c4a18deb26d5245930dec75c","datavalue":{"value":{"entity-type":"item","numeric-id":5747780,"id":"Q5747780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$E84C4E80-B30E-4931-BB35-60A865E07F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15e983e049dd42212b01084d90652f224303d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2037996,"id":"Q2037996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$DFD9A49F-AF2D-4B9C-91EF-8231BF036D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b625e09cc861ea2dc29ac6d985a655aa3ce13538","datavalue":{"value":{"entity-type":"item","numeric-id":437031,"id":"Q437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$9CEF1CAC-C89E-4F79-B1E1-E30DBF74F4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16b54e82751885118d3f4bb70a51ec4446f2059","datavalue":{"value":{"entity-type":"item","numeric-id":5277904,"id":"Q5277904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$E3A317EB-F378-4A7A-9DB9-453A7329A6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5c3063e91e866916b79f392a20b10dc9a6aa45","datavalue":{"value":{"entity-type":"item","numeric-id":437033,"id":"Q437033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$01D733A5-DB68-4D5F-A395-6F57988948AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$6CCE99DD-CCAD-49F5-8361-4867067F759B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f510db3d2c1f5d8be6dd972e4fbc08edd0a9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5389067,"id":"Q5389067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$8371AFD0-F981-44B1-94F9-99048CBD25D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$D3604D1C-F8D3-4E37-B157-53AEB35DE717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$3289E742-AA59-4FEF-A482-8CDD49DA400C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7e2d1ce7fec977024187a8c0f349535bc26e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3179281,"id":"Q3179281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$32A1F073-F3CF-4BF7-A529-4B2898A68EFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"777ae0bdf832dd5ec3931648129248da07ebd078","datavalue":{"value":"10.46298/THEORETICS.24.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6566464$2E34D305-C74C-411B-BA4F-D66AA2CD3C2F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"48c1cd557ca9b15928f965e8d4cf95a3f6944930","datavalue":{"value":{"entity-type":"item","numeric-id":6830561,"id":"Q6830561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566464$5355696B-EA2A-4462-92B2-E2679EE2BA00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6566464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6566464"}}}}}