{"entities":{"Q437033":{"pageid":438800,"ns":120,"title":"Item:Q437033","lastrevid":61857342,"modified":"2026-04-11T02:07:59Z","type":"item","id":"Q437033","labels":{"en":{"language":"en","value":"Computing knowledge in security protocols under convergent equational theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6057740"}},"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":"Q437033$49AA954A-4A4E-49FB-B402-3B0BE7551800","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8fab922147a78575136d2ece5a08094157dd0eb","datavalue":{"value":{"text":"Computing knowledge in security protocols under convergent equational theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q437033$D20B9454-1F85-4B48-A98D-68FECFE99E3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b48496b962243bfefdd52b745be6b0c019c43a63","datavalue":{"value":"1242.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437033$395D42FF-3FA5-4D9C-AD6D-85D4726C4E31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81586982d17a5065a8b3d9d0e0dbbd008e2a773f","datavalue":{"value":{"entity-type":"item","numeric-id":437032,"id":"Q437032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437033$53AA78F3-BF9F-4931-802A-6853572003CD","rank":"normal"},{"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":"Q437033$522ADFBA-7E36-42DC-B61E-105E857B4584","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":"Q437033$E2E7C761-9DDB-4E03-A81B-12ED7E39C7E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437033$4E6E516D-E34C-4055-BC65-A81E20176DD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84ece3a61d19e8a79724038a31d8c2f410ad0a43","datavalue":{"value":{"time":"+2012-07-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":"Q437033$13ACEEA7-8B2E-4E97-9D9F-DCE422EC025B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437033$607225DB-D714-4D00-B85F-6DDB9A41FA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437033$F1D670D0-1B41-4977-8ACF-6E5FF997304D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437033$8F229355-9772-4F79-9D21-E390F8EFB39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437033$444EA64F-0DDB-4952-A0B9-71BD4219BB4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5672954b45e08d63441505b6b3c7fe2a5afc56f5","datavalue":{"value":"6057740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437033$D3CD8E72-F642-4274-84CF-47BA2CA68479","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q437033$4F3B7340-E9E2-4819-A677-D900E568E38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q437033$46805170-4774-420C-BF7D-10502616933C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9afb9f37755748b127a63f4dbdb174f5fd783a7","datavalue":{"value":"static equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q437033$1605EB41-5E83-4884-A583-9D0DB99C1C03","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":"Q437033$237ADF77-6485-474F-9574-65BB12C45488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437033$80EF58A7-CEB4-45E0-8892-6CAC7EF08BB7","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":"Q437033$C1391176-1C25-42C2-A141-EFD00FCC8456","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e0529942b0ecbd0ae4451d9d6be3b46a8f1402a","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9197-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q437033$B46B7DF6-AF62-47C6-A8A5-736DD7C4FFFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f7e6a741ed05a4f37e84ef23ac09d2b71951837","datavalue":{"value":"W2057936571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437033$B096684B-FCF4-4C25-9B90-DE208736A795","rank":"normal"}],"P223":[{"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":"Q437033$CA574EE1-4DBE-4EDF-8847-3B8C9BEC783C","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":"Q437033$95F09E01-75A8-4860-A24D-2887B6C63FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932aba30092f9fb9508892942d04273578315bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5432331,"id":"Q5432331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437033$350F925B-8278-486F-BFF8-23EA5A577FAE","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":"Q437033$77A67CF2-4AFE-4631-86B2-376BE0BF5B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a34c8aa545e7f9fb8eb6bef8482adc1308a8ed","datavalue":{"value":{"entity-type":"item","numeric-id":3525004,"id":"Q3525004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437033$A9689AE6-2ED8-4B35-BD22-69962EA7D53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c2adeed657e5d066494848492da920d3c0f772","datavalue":{"value":{"entity-type":"item","numeric-id":3636824,"id":"Q3636824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437033$685FE761-601E-480B-85BE-CEC4531EF72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d6f3a875816252e7ef2f5f23b7d317060c8d1a","datavalue":{"value":{"entity-type":"item","numeric-id":3095038,"id":"Q3095038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437033$E2824ED0-3142-46D9-A98A-F241F8B19F79","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":"Q437033$32D4AA25-83C5-4E19-8305-94EC4BA40908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9710fedc4d65ee4c931c685725b06e4e61c6a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5458828,"id":"Q5458828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437033$BE1814BD-77F4-4C74-8397-84EC5220EF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15bf8dc0860cd608277d5dad93fad76cecbb7d14","datavalue":{"value":{"entity-type":"item","numeric-id":5191113,"id":"Q5191113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437033$A5303373-2C77-48CE-8ED3-603F528BE81F","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":"Q437033$DAECEEA0-5467-4BD5-A49B-57D49A8A9CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b6a15ea7bd47f8d587d7880f317f8dc8a225e8","datavalue":{"value":{"entity-type":"item","numeric-id":3498466,"id":"Q3498466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437033$405AC791-ABC8-4CBD-8323-3EB9A59E128F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1f5eae3bb683afc8101fa8eddb89e73906fb54","datavalue":{"value":{"entity-type":"item","numeric-id":3569110,"id":"Q3569110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437033$74A98855-5561-4AE2-812F-BC97D2654209","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":"Q437033$201EA2AD-4ECF-4412-9B3B-C36771D460BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0d0fd1ed6a0d6d1cbf76c02409bd15ce7ae548","datavalue":{"value":{"entity-type":"item","numeric-id":876047,"id":"Q876047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437033$BBFAC5F3-0355-4E1F-BBC1-EB556DEBA9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff290a68e80e1682162b02ac94c491ec5588f7a5","datavalue":{"value":{"entity-type":"item","numeric-id":4387311,"id":"Q4387311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437033$3C2046DF-97BA-4D5B-A4F2-3A04B7BE2835","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":"Q437033$70213C13-315F-4593-A692-189319EF5433","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cfece08f201dda6ed11e9cce67c81cb88e17511","datavalue":{"value":"10.1007/S10817-010-9197-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437033$AF6C4889-EE01-4FBE-8E4A-61A997CAAAC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e21e7af7804b7fb462f9ecd0c0c55ddd08c303","datavalue":{"value":{"entity-type":"item","numeric-id":5191113,"id":"Q5191113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3daadc97de03c3db51ad8f7115cefb01c27e5b80","datavalue":{"value":{"amount":"+0.9648627638816832","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":"Q437033$4CEFAD02-F8F6-4496-B427-A241BA756085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa782b0f5958fb11c8487e88a81ca0fcc268f2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5466517,"id":"Q5466517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07393e501f57fb17c386d480199c6d166c73ee2d","datavalue":{"value":{"amount":"+0.8843410015106201","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":"Q437033$B672E08C-51E5-4E8B-B17B-7B34811BC138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe93db08f64d70904f18a6d3c252b4f2aec1ee47","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00008d5eca327dbdb1e63b4cf0188e29e81aab7a","datavalue":{"value":{"amount":"+0.8757416009902954","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":"Q437033$2365BA24-81C8-4D37-BB22-0539687B56D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ea685219c6a275572422972071ffe53e0175ce","datavalue":{"value":{"entity-type":"item","numeric-id":437043,"id":"Q437043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e70c061acb22092174550596fdb6e9ad6c9b65","datavalue":{"value":{"amount":"+0.8554800152778625","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":"Q437033$E2487127-5981-42E8-814B-D5D2EB35C094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e199b210f80dc7c0e04241d642f448c1479d43dc","datavalue":{"value":{"entity-type":"item","numeric-id":3525004,"id":"Q3525004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785532c09e4f7a25db66177b2b37d9210a262ba7","datavalue":{"value":{"amount":"+0.852981686592102","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":"Q437033$3C46415D-5D2C-4A8E-AC22-B8849B3FB912","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing knowledge in security protocols under convergent equational theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_knowledge_in_security_protocols_under_convergent_equational_theories"}}}}}