{"entities":{"Q2894321":{"pageid":2905046,"ns":120,"title":"Item:Q2894321","lastrevid":79533155,"modified":"2026-05-06T14:08:12Z","type":"item","id":"Q2894321","labels":{"en":{"language":"en","value":"Reduction of equational theories for verification of trace equivalence: re-encryption, associativity and commutativity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051140"}},"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":"Q2894321$D93F653A-42F6-4867-B19C-A857ED3A0F9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5199d68b5dd23c65dcf98affffd5af6bcaa30d37","datavalue":{"value":{"text":"Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894321$3BEF412F-6BFE-4650-9DA8-5598AB6263F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2aa7e011cd2c5fd4151ce31d5bf9b0be66d1ebb","datavalue":{"value":"1353.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894321$B83386CA-2FAE-44A2-A7FF-2513327590B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0dae03a9429f0b1d3aa5c63bcc1443c34407c86","datavalue":{"value":"10.1007/978-3-642-28641-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894321$DF6FDC3B-4BD9-4349-A595-7C161A5F7EA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0908465e088489078abf42a9c44ef04f781ef57b","datavalue":{"value":{"entity-type":"item","numeric-id":476177,"id":"Q476177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894321$58B33F65-8F7D-4395-805F-6B10313B4A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d66d683fccebf88da51902c8777fb9c2c83c31f","datavalue":{"value":{"entity-type":"item","numeric-id":462486,"id":"Q462486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894321$611638F9-01B7-47C6-80B9-81CEAE5E17F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e29184a057a37add3b7d61af5e7b02504ef3d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1602966,"id":"Q1602966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894321$88DEE7D6-3EAF-4DA2-9864-3C5795F96F30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894321$61D061DB-AEB3-4042-B27D-E27AC2F02612","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894321$DC8DC4AC-B44A-425E-A002-445595A3C61E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894321$20B3F2E2-42F7-47B1-9146-AC6C0E565AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894321$4DFE91EB-852A-453A-8DF0-181F8AE06311","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"164db6cd98d187b47051c2fa4e373ee3303f36d4","datavalue":{"value":"6051140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894321$73A3C01F-8011-4D6E-8402-10FEA5BCD398","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894321$EABC86B1-038C-4539-8EB6-D7AFBBD5980F","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":"Q2894321$7C896DF1-7183-469D-97A8-BF57ADC9A239","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b196b157a8ec3f46f886fcf6ae13ac40eacfd246","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28641-4_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894321$4DA6DD07-AFB5-4270-9B20-0CA9D1E80609","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e815fae6d15a4245470f7611a0117e26fe32bf70","datavalue":{"value":"W1882506943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894321$F2C4B10F-F3B1-4394-9293-CEFE0A2173B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abadcd552491b54fcffb3d1142d50660c488233","datavalue":{"value":{"entity-type":"item","numeric-id":5270090,"id":"Q5270090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f42ede2af0161080d0f91eebd96e114d0e17f37e","datavalue":{"value":{"amount":"+0.7538363933563232","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":"Q2894321$D754ECBE-5A0F-49D5-BF93-8119DFA5DA97","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":"c3078e0af6a308c9c620c292afa7f50210a936bd","datavalue":{"value":{"amount":"+0.7242796421051025","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":"Q2894321$D1774AA7-6D5E-4F10-AEF4-6601524DAC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616d541cc7a4076647aa6b3c837adf1d55359237","datavalue":{"value":{"entity-type":"item","numeric-id":5357726,"id":"Q5357726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b835843cf8951a8779c278bb30f7cf8b1e36db","datavalue":{"value":{"amount":"+0.7218726873397827","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":"Q2894321$CC6D074D-F664-4190-8784-ACE2AE8F4E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247693272a0eb1fd0e97fcc47d8fbc1040ac4521","datavalue":{"value":{"entity-type":"item","numeric-id":2013557,"id":"Q2013557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26a946ee00f1288c35730923a705321b48fe07b","datavalue":{"value":{"amount":"+0.7123066782951355","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":"Q2894321$57F43640-6037-4155-848C-2C336C71E610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa905b017c22d00c6283fd22ebae86a7781bd0b","datavalue":{"value":{"entity-type":"item","numeric-id":2167736,"id":"Q2167736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c72f50f0c4ac475f01bb36f577c81671c351eab","datavalue":{"value":{"amount":"+0.7100016474723816","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":"Q2894321$41B741B5-9F4D-4F7F-8F07-20EF10649E0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduction of equational theories for verification of trace equivalence: re-encryption, associativity and commutativity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reduction_of_equational_theories_for_verification_of_trace_equivalence:_re-encryption,_associativity_and_commutativity"}}}}}