{"entities":{"Q511946":{"pageid":513713,"ns":120,"title":"Item:Q511946","lastrevid":62446716,"modified":"2026-04-11T06:08:42Z","type":"item","id":"Q511946","labels":{"en":{"language":"en","value":"A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688106"}},"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":"Q511946$64ACFA51-3A47-470C-9760-0C626099AC40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ddcda36d8c52986013dfde720d7d0fd195f9075","datavalue":{"value":{"text":"A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q511946$60510EF9-9799-4223-9ABF-1ED299A7A9A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efd200c2d45c1c599a0d18bd23ea9cd855062bd9","datavalue":{"value":"1359.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511946$55B4C023-0467-4A6C-955A-E04D53DBDE92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$4C4F8B61-C9EB-48C2-A67D-FB5203A5F2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42522c9c355a128b14f99118c793b320a622a36e","datavalue":{"value":{"entity-type":"item","numeric-id":511945,"id":"Q511945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$EA32DCB9-3D40-4006-8A23-22EED3E8CDCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$E74F7D72-A38A-4D40-B10B-84AB1A3589CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ccf44329f0b8ca1e42fd376b5ef1ba5e3da06d7","datavalue":{"value":{"time":"+2017-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q511946$0CCFB7A5-1C40-4FD8-A7ED-F2385976EB07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"412a1231b8c9c397a8aedefa9e017c0b1a608fd2","datavalue":{"value":"https://arxiv.org/abs/1610.08279","type":"string"},"datatype":"url"},"type":"statement","id":"Q511946$8DFE6029-CDCC-4680-9746-451B08B1842D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511946$4949473D-FB5E-4B1B-ABE9-104311389DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511946$E80709BB-B9D3-4453-A87F-93E2926EB4B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"847f3f9eab91ae83336d7fc01b3fcce7b547234a","datavalue":{"value":"6688106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511946$0EAF37E8-2394-4CF7-A70F-CAD1F953F00F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q511946$D6D9E3E0-3FA4-424B-9282-203C5FECC919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5758ebfc045dbc93641321bc316b17ba20d2ea77","datavalue":{"value":"symbolic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q511946$F812C3E7-F2A7-4EF9-8BF0-7E66DC4821EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07ce78a12b83e7122b78887a7d0366631702cc6","datavalue":{"value":"privacy-related properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q511946$7918E2B4-E71B-4F67-94B6-1179EA89327D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q511946$52A09112-5EC9-4B06-8DC1-3BF53A38CFFC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea93917e6a5dd3b24dcb498614b8cdda44d5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":15278,"id":"Q15278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$0B2BC049-F08E-425F-B78F-D085755D5BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e372abbbc9bc0159c7c0676ebe9e1a66939a34e","datavalue":{"value":{"entity-type":"item","numeric-id":32422,"id":"Q32422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$19D2BFD5-8BBB-487C-9606-E1A73927BC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb98786abf31f77bc4a017db36bf2b58585d1ed3","datavalue":{"value":{"entity-type":"item","numeric-id":32423,"id":"Q32423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$A6866A27-2734-4C34-B768-99085EF02FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a66b70c271083dc88e68676277b7226f9caa9dd5","datavalue":{"value":{"entity-type":"item","numeric-id":18326,"id":"Q18326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$9DD52430-8515-4309-AD7C-8D08BB9CF451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"932b7ea0f16494c1162b45c7ac1f574a5ac7047d","datavalue":{"value":{"entity-type":"item","numeric-id":21880,"id":"Q21880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$27AF8C36-B056-4AE0-9E67-75C035FFF305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9ffa40fc67c7e91bee6175e789c3c3247a988d0","datavalue":{"value":{"entity-type":"item","numeric-id":35211,"id":"Q35211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$77C96B24-89F3-4BFA-9A8F-8DA316F276FE","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":"Q511946$51AEFCBB-2362-492D-AA73-E1B88C93FCC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9e5b84fff6373a09573760e42e453cf6b83d233","datavalue":{"value":"W2951996797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511946$6C7F013D-96BE-47CF-9BE5-9C15E33A3C92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e262605de3748950c95c0e00a42a0dd21930251","datavalue":{"value":{"entity-type":"item","numeric-id":4536407,"id":"Q4536407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$77A532C4-E3E0-4634-AE80-B29C13A2C56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766f3e64390acc4c220dfb9b10c7d0bad57454c8","datavalue":{"value":{"entity-type":"item","numeric-id":540683,"id":"Q540683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$44AE7E6D-D9C5-4FC1-8024-4E3809D0AF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c53a1b058346fd64de238c05a6ceb4c0bd4a0cf","datavalue":{"value":{"entity-type":"item","numeric-id":2894322,"id":"Q2894322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$9BBF27C5-2C41-4053-AD38-0FC8FA47FD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a83681413983b5c1cd346b7aeccc929ffc09104","datavalue":{"value":{"entity-type":"item","numeric-id":5408416,"id":"Q5408416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$4065CBC7-2B5C-401A-870B-9EB5750C8E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40651885e589ae16736b2ed26430168a8207418","datavalue":{"value":{"entity-type":"item","numeric-id":3875826,"id":"Q3875826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$489CBD5D-435E-48B0-9A69-320029113E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80187e65c3d02218a1c1b84468898391dd828b52","datavalue":{"value":{"entity-type":"item","numeric-id":4145254,"id":"Q4145254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$6D53C99D-01CD-4F37-8FED-D3DA128ABA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f63182c74021864a2db19d30bec4bd6c3551a0c","datavalue":{"value":{"entity-type":"item","numeric-id":5096415,"id":"Q5096415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$DDB07EFD-FA70-4CFE-BEC9-96884F4601FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a86f730e900294e455651df154cb209a0bf6deb","datavalue":{"value":{"entity-type":"item","numeric-id":3613062,"id":"Q3613062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$3CE9A4FE-E9DC-4590-8BED-B63F8D690B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f619adea6db0ab75b9bc69654a89af3583c163f","datavalue":{"value":{"entity-type":"item","numeric-id":5316564,"id":"Q5316564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$E312280D-25CD-43CD-97B6-EB24FD570EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed18d35e8a74a111883a6ceaebb90ea14256035","datavalue":{"value":{"entity-type":"item","numeric-id":2817648,"id":"Q2817648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$641A46B1-D71A-4295-8145-6F387CE5A7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8213ca81b1d18d5df55c03e06d1cb8c71e5534e","datavalue":{"value":{"entity-type":"item","numeric-id":5326751,"id":"Q5326751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$49C4F820-14DF-424D-A0FF-7DF4484E0C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b54fe21d69f73e3035ec05f9a01283bd218e405","datavalue":{"value":{"entity-type":"item","numeric-id":5326763,"id":"Q5326763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$4B901806-4D13-4EBA-9430-5B4D56589821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea6d6d2e5d6faa3d4a0690d72bd44a5cbfa5d80","datavalue":{"value":{"entity-type":"item","numeric-id":2920124,"id":"Q2920124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$12550FE2-93A1-4697-9389-FC9723102BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$A0C85E90-FB35-4709-9E08-1D45488A8827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d86573fcd63512252090cdc77433782143369e","datavalue":{"value":{"entity-type":"item","numeric-id":5466517,"id":"Q5466517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$DFC26896-CE07-4B2A-8847-1750791988F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d159e3acefd749670cb664b6b037c92400f8747c","datavalue":{"value":{"entity-type":"item","numeric-id":437043,"id":"Q437043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$07123D1B-4469-4345-B73E-1395376E90F6","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":"Q511946$01D3DA6E-747A-4C6D-BCAE-D31E6FB7B920","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":"Q511946$017F0178-A2EE-4B15-98D7-4010B29621D7","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":"Q511946$B3F38C6A-AB6B-4434-B6E6-810D082CF2B7","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":"Q511946$51DAE2A9-1724-4CAF-A5A7-42AE7B661A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$7345B554-6E5B-4958-921D-2688E604D2A1","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":"Q511946$F3E33769-D651-44D0-86E4-F9C8536FC4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24efce6992803e4942eeccc04599e8963e887c","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$B2C0DD86-DBF2-4BD0-8183-2EA76268F5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$F8113C0C-2607-4721-AA01-1C8B73250811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5f78d062cb5b9397057492f87283ce3bfc9df7","datavalue":{"value":{"entity-type":"item","numeric-id":391121,"id":"Q391121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$21E1C821-3B83-4F90-A5F1-8F94480DBBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbbdadc4881bd90965df4d1edbb3df8d8de0473","datavalue":{"value":{"entity-type":"item","numeric-id":2842870,"id":"Q2842870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$8CE5E457-DBA8-46DE-9E1C-444FC5BBE94C","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":"Q511946$F89AF0FB-57DB-477B-AFA9-F86CAC25607A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71c2c795607e4acd6fb8d4d0544ab3820b187a9","datavalue":{"value":{"entity-type":"item","numeric-id":5170184,"id":"Q5170184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$3D081673-BDBE-46ED-8B80-B84B1D93F3A5","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":"Q511946$08096EE8-A29A-451D-B5E6-51C163FF53A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c48845d1510f5f2ff8effd0c1e717b436521df","datavalue":{"value":{"entity-type":"item","numeric-id":3498447,"id":"Q3498447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$00A1E8B2-1370-4A8C-A9F8-A91F90713C61","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":"Q511946$EA61249C-C17F-48EA-BE1C-51D936C591B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92093ba17f34df8f4fe5be21dbc0561047e5788d","datavalue":{"value":{"entity-type":"item","numeric-id":2892723,"id":"Q2892723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$C1C5791A-0DE7-475B-95D8-0AF95E8D82AA","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":"Q511946$42C7E440-FADA-4152-BF2B-91ED623001AF","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":"Q511946$9D85E4A3-30B7-42F3-A17A-13229473BE42","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":"Q511946$E4EBF696-79E5-418D-846D-84AEEFF64573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19cd7db6820046f9c52183864d662f5b1b623a99","datavalue":{"value":{"entity-type":"item","numeric-id":5327429,"id":"Q5327429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$1B7D2208-5ACD-4944-B2AA-505C2C27D87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff8a97b4b9412cf94d02fb85f3195ed2195f2be","datavalue":{"value":{"entity-type":"item","numeric-id":4447230,"id":"Q4447230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$2E8559EB-A8A6-4650-A83B-5D10064EA312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d7c0b21b38c9a108a26f3cc47de45e394d40f9","datavalue":{"value":{"entity-type":"item","numeric-id":5327493,"id":"Q5327493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$4733F23F-D07A-4F8D-8065-7F27A253F950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"becf49ff9d846fe54735b0d31b5680a94cc268f5","datavalue":{"value":{"entity-type":"item","numeric-id":3190130,"id":"Q3190130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$58C1FBD2-7422-49A6-8548-6CCFA6EC5B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6f3ddd888aefd98d9d79fb361a71cfdf283d39","datavalue":{"value":{"entity-type":"item","numeric-id":4417856,"id":"Q4417856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$4978FA1B-2415-49D7-BBCB-519AD31E43E1","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":"Q511946$778E5AF4-FA0E-4B1F-870E-E10F419A2895","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":"Q511946$57AEBC72-95AB-437C-9094-1CB67DDDC09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4398da11cb4e2ad6d912c31ee4092c7d6e86f9bf","datavalue":{"value":{"entity-type":"item","numeric-id":2894321,"id":"Q2894321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$007B7BC2-02ED-40D3-B58E-C3C735FC6D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a514e1e3d2f6f326a7ea29fdc7ef3950d12edc","datavalue":{"value":{"entity-type":"item","numeric-id":4933278,"id":"Q4933278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$5BEDCE4E-EBE2-4B4F-BD2D-C5B486B39E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8755157d8c91e7a04d6fba6f83fb49b706baa964","datavalue":{"value":{"entity-type":"item","numeric-id":2908488,"id":"Q2908488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511946$4C0B5562-B470-44DA-B281-5B9AF4CECA6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"305121a6ef86615d9cc2495d9e2bfd84d3f246b2","datavalue":{"value":"10.1016/J.JLAMP.2016.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511946$78941D36-EF78-4D17-98DE-01B2D4FCB20F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b172c2d25b0df58c17ec5aa5adec12f9e08d7214","datavalue":{"value":{"entity-type":"item","numeric-id":540683,"id":"Q540683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4582e2b5d62e423b9436e7079c0dbb96e0302f62","datavalue":{"value":{"amount":"+0.9063563","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":"Q511946$03E6A6BA-A452-487E-BFA6-3CC9EE8C6C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14bed56fce598d9e2fe50562a8a00dc0417f672","datavalue":{"value":{"entity-type":"item","numeric-id":2849863,"id":"Q2849863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fb3c639d1e1510e16effa03543593563318b87","datavalue":{"value":{"amount":"+0.89272594","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":"Q511946$8A6E5862-1920-4B4D-8AD3-8280D3E89FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9153dc947fe448f781510dde0c48ae2bd944238","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe942cf39f86d77e58c916b6c19de4329ea731d6","datavalue":{"value":{"amount":"+0.89272577","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":"Q511946$EE251AEE-28F3-43C0-AEEC-A36B8995AA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b938c704fe410be264e1f2232654427d2215d804","datavalue":{"value":{"entity-type":"item","numeric-id":5278194,"id":"Q5278194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b8c3be15e288e04a5313b5be9702959edbb22d","datavalue":{"value":{"amount":"+0.88537157","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":"Q511946$0631A5E7-3144-4543-851C-AE1FC345641E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932fab5c9b3c1371a41cb61382ee7db54a1d5500","datavalue":{"value":{"entity-type":"item","numeric-id":2892723,"id":"Q2892723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b8c3be15e288e04a5313b5be9702959edbb22d","datavalue":{"value":{"amount":"+0.88537157","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":"Q511946$3A13AAF4-FC6A-406B-834B-903419D7A8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37d79fc0f0fc2994d010670430db87d6fde6802","datavalue":{"value":{"entity-type":"item","numeric-id":5898365,"id":"Q5898365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41c7efb8dd78b07f5019e0a1bac2bcea705e63b","datavalue":{"value":{"amount":"+0.8837646","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":"Q511946$49F42E48-0114-4A16-9B2A-FDB23E8EECF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd7d768517aba8c6a05c86c696426edb350db49","datavalue":{"value":{"entity-type":"item","numeric-id":5431313,"id":"Q5431313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7996be971591fab8ee670638bff281050579fb","datavalue":{"value":{"amount":"+0.8752321","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":"Q511946$E7AAD878-4DB3-4130-A2D0-F2D3238F5444","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_survey_of_symbolic_methods_for_establishing_equivalence-based_properties_in_cryptographic_protocols"}}}}}