{"entities":{"Q1013091":{"pageid":1014939,"ns":120,"title":"Item:Q1013091","lastrevid":69418470,"modified":"2026-04-13T06:52:13Z","type":"item","id":"Q1013091","labels":{"en":{"language":"en","value":"Computationally sound implementations of equational theories against passive adversaries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5544372"}},"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":"Q1013091$155C24C2-A6CC-42D7-A186-68E16E447723","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0120817286db61f6b7601fd1398642179e2c2097","datavalue":{"value":{"text":"Computationally sound implementations of equational theories against passive adversaries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1013091$75C26A29-C262-4154-9F7F-97BBEAE330EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb444b91a67f271888b67a9479f6ff8ac5f53103","datavalue":{"value":"1170.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013091$5FCF80FF-7228-4415-A4A9-9073EE01D992","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50829d13cd47134564c0f8ccb114dbb3a0da9af5","datavalue":{"value":{"entity-type":"item","numeric-id":656527,"id":"Q656527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$45507924-02D2-47B3-B77D-F7AA50EFB6DB","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":"Q1013091$80CE7717-CA85-4FCE-AC89-9D13215911E1","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":"Q1013091$3049A459-A30B-464C-9100-7A52A44CEBBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$833C6708-95C2-4174-88B9-9B1C1008479A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f73738825ede14eb63692fa539d93eae768744cb","datavalue":{"value":{"time":"+2009-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1013091$E3865450-0B4E-4EFA-998A-A72EC4AD6D75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013091$00CC9504-6F59-4D60-8F53-0C5A9299A80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013091$9DA13517-1E81-4DAA-A052-8C9E47E850F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c87a08fb9d8a5a151bd4c7e59b0fec6e7e8dca6b","datavalue":{"value":"5544372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013091$CE171A9B-CFE2-4B83-A142-CFE2E25ACCF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daf14d4fcdab1c89eef10e72a362fe7f0be325bd","datavalue":{"value":"cryptographic models for security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013091$3710C2D5-74EC-4CCD-BDC5-6BFFF6F006AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$DE12F662-1C56-4DC0-9C65-353E5FAAEDB1","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":"Q1013091$26B5E855-0C48-4859-840B-12AC6A962459","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a282fd476b4c5346dccaace3814a736afa5b91b","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.12.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1013091$4600B425-0810-43DC-BA06-5139164409B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9cb6f5c3879e3df84e21ca8a91adb5fafd70a3f","datavalue":{"value":"W2141219978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013091$A2FF0E05-EF68-41C8-BC13-0A25D16D363D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff40562f6ba4de9c0bd73f0c4895d734ceeea24","datavalue":{"value":{"entity-type":"item","numeric-id":5716816,"id":"Q5716816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$8F30ACC1-85DB-489D-BA79-BE19945C9FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$E076E117-6EBA-484B-8821-79399A9A44AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b548fb76f8ef8a56f9223030f407f1a96f0c7ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1057832,"id":"Q1057832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$1105EB3F-8B73-4580-B0D3-292C07E53751","rank":"normal"},{"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":"Q1013091$E4DE9BED-0F24-41E8-979B-FA57DE258518","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":"Q1013091$B3EC4588-4A94-43D5-A64A-0E9CC9DEC89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2a66adde1572dd62844706f77b656f9ab64e2d","datavalue":{"value":{"entity-type":"item","numeric-id":2849571,"id":"Q2849571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$0F511D23-BF0B-408E-AEE8-C3C53718E211","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":"Q1013091$145D76F5-76BD-46B2-BA42-5646A2BE8B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56658c0f1c23c8e6d167b1a6ff1c123b84e63f98","datavalue":{"value":{"entity-type":"item","numeric-id":2763667,"id":"Q2763667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$39AAD803-BC81-4EDB-910A-955EE28301BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f225b54d564eb256c3b151594db57edbae74727f","datavalue":{"value":{"entity-type":"item","numeric-id":5714151,"id":"Q5714151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$D9D19135-3871-4410-BBA4-6FC495E37562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30603b4a85478a9c7a31341fa2eae28fcbb4409a","datavalue":{"value":{"entity-type":"item","numeric-id":5862672,"id":"Q5862672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$D92BC75E-52FB-462B-B4EB-A66D877E00C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc453d9916b26f0198b780a4b2091b5933194b2","datavalue":{"value":{"entity-type":"item","numeric-id":5030211,"id":"Q5030211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$4EA20552-C85F-4F41-B941-06378786F1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaae6ba22c24049128969838ca5884ba61d6da2f","datavalue":{"value":{"entity-type":"item","numeric-id":5316562,"id":"Q5316562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$0C062228-F95F-465F-B8E2-DDEA3AF1184D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2486d9c61cbb1cfcb3c1df66255852d74762bbe","datavalue":{"value":{"entity-type":"item","numeric-id":5316563,"id":"Q5316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$D7C221AE-9ACB-4C0D-8E24-C34E8492BD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff131d5a7bfa17fc7bdfe323ab1816673f9ee24","datavalue":{"value":{"entity-type":"item","numeric-id":5898365,"id":"Q5898365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$2AAC2AD7-C079-43A8-82D1-FEC7B2038284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aa1936344e75960723041aa0f8eee694263b40","datavalue":{"value":{"entity-type":"item","numeric-id":5716777,"id":"Q5716777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$AEFCA809-5280-4B2B-BF89-5D5AB64C0E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4f48c0dba72933b0daf119183d43d7221a484a","datavalue":{"value":{"entity-type":"item","numeric-id":5862670,"id":"Q5862670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$E9CF4DDC-6BB9-4AB8-9DF7-DFC38355C6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8fa3b3da26a766648a6e30c348300cc66f729c9","datavalue":{"value":{"entity-type":"item","numeric-id":5716817,"id":"Q5716817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$9C7CDD6B-83D4-4EDA-A19E-CD5615C12194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5248e1d096ce87474d9bd18b0fd8f9c460c7b6a3","datavalue":{"value":{"entity-type":"item","numeric-id":5899102,"id":"Q5899102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$E031351E-DBA7-437D-811C-F6B0B07535EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270e1e1281debe3e88773dcdf26e188c237beb86","datavalue":{"value":{"entity-type":"item","numeric-id":5901789,"id":"Q5901789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$61ECB247-D3E7-4297-B135-1A439B36FA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8d61683ae998b57b435ae89909a8a007ba3a2e","datavalue":{"value":{"entity-type":"item","numeric-id":5385741,"id":"Q5385741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$84A1734B-EF01-4A38-BFF0-CD44AFC8A9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb88984a0d0bf96969d4c5712d864445d5c6d05","datavalue":{"value":{"entity-type":"item","numeric-id":3612562,"id":"Q3612562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$E4A011E1-295A-435F-9ECC-7BF3FF6FF851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb97f5a3b4e7a05eaf28726698ec7535ab2bef86","datavalue":{"value":{"entity-type":"item","numeric-id":4941815,"id":"Q4941815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013091$BD377D27-8E48-46FC-A920-03F1FBCA05B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df6a9f38d6ca6ccedb794ba99da4e8252d7cd157","datavalue":{"value":"10.1016/J.IC.2008.12.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013091$C15C6530-A46C-483F-A0FE-305A7C3B623C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748335f3be80b2bc2335b8ebb809cde117f58be1","datavalue":{"value":{"entity-type":"item","numeric-id":5716816,"id":"Q5716816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c49050f156b64dcaec246ba989407b9cccc3fc","datavalue":{"value":{"amount":"+0.9959737658500672","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":"Q1013091$1FA1F59E-BBAE-4B48-9FD0-B3EB70AFCC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ae890250a17e52964c345d6c6c67a41cdef0e5","datavalue":{"value":{"entity-type":"item","numeric-id":5316563,"id":"Q5316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b76033ba6822669d309670e901d0f3b4393f096","datavalue":{"value":{"amount":"+0.7658330798149109","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":"Q1013091$6150DC43-CCFA-491D-8C52-ADD0019F6841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010742de94d613e6cbb40233e1319c62703aef1d","datavalue":{"value":{"entity-type":"item","numeric-id":5899102,"id":"Q5899102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9a37b8cd4295b7848ed22e58aa08ae35b921a2","datavalue":{"value":{"amount":"+0.7645092606544495","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":"Q1013091$F690EEFC-4F5F-402E-963C-54FBD0599C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfc6997b9d42c827ffb1a68af191b054386d600","datavalue":{"value":{"entity-type":"item","numeric-id":5901769,"id":"Q5901769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7296bff9995dd8bb612643843a0733ce3165fe2b","datavalue":{"value":{"amount":"+0.7476730942726135","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":"Q1013091$D11E7FC2-D95A-481C-8128-504F5DB28556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd0cd0bdce7d1f40aaa0d31d9814548c9c48d166","datavalue":{"value":{"entity-type":"item","numeric-id":5714435,"id":"Q5714435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82aab2783063b49e7014385a0db85cc46d5d28fa","datavalue":{"value":{"amount":"+0.7475515007972717","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":"Q1013091$1E828402-7359-4BDE-B9DF-D3E41F593577","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computationally sound implementations of equational theories against passive adversaries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computationally_sound_implementations_of_equational_theories_against_passive_adversaries"}}}}}