{"entities":{"Q2908865":{"pageid":2919590,"ns":120,"title":"Item:Q2908865","lastrevid":51537854,"modified":"2026-01-18T17:00:47Z","type":"item","id":"Q2908865","labels":{"en":{"language":"en","value":"Computationally sound abstraction and verification of secure multi-party computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073545"}},"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":"Q2908865$1956C4FE-C799-467F-819C-0DB2CC50353B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a7e93871975c6fb991e72088390395d69137ae2","datavalue":{"value":"1245.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908865$33E3DEF5-8703-4775-ADEC-B6A14E19688E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94da2d388842df4fa004fbbcc16b763ee85cf5cc","datavalue":{"value":{"entity-type":"item","numeric-id":860895,"id":"Q860895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908865$A360F17E-BF4B-41EA-833D-36886262939D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6264dd23125063a4d9bc0225253a351f0e000ad","datavalue":{"value":{"entity-type":"item","numeric-id":2145384,"id":"Q2145384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908865$D0186FE9-DFBA-4F63-90D1-861979AA4FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9fe5f9ed1feefc343f99b765b29015a27d1512d","datavalue":{"value":{"entity-type":"item","numeric-id":2908864,"id":"Q2908864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908865$929EF6A9-924A-406B-AE40-C59DB0051C30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-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":"Q2908865$8C06F80F-718C-4E9F-A865-63AA32F645AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"196e888aa62ecdf9675db6ced14ae066a825d860","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_c61f.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908865$DC81F14B-779F-4A9F-8FFD-B5C7480E4FA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908865$9592B2E4-5D27-40D6-AEA0-C9533CA12441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908865$B68E862C-2A6F-4059-9570-076C68A6D35D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0eea075a74857a6d95453c1493fb61eccf59c67","datavalue":{"value":"6073545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908865$C8D4D0A3-63BB-4027-A9C9-941A300272C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"390ab928e325dd474e9c0ec2502488771dab4883","datavalue":{"value":"computational soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908865$86C9DF8A-9046-417D-9259-A2B5F2F2C8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0dc1ce28391b36c8a233e5d9435127776ff9432","datavalue":{"value":"secure multi-party computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908865$11BB489B-27FC-4320-AEE5-3A2434D46FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908865$CA81956B-13A9-49AE-9967-E365103B6B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908865$0E0DDD96-5AB8-4C2E-B6EE-4F9B0337611C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"370b1d887d679924155714b84355ed741cc355be","datavalue":{"value":{"entity-type":"item","numeric-id":21449,"id":"Q21449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908865$FAE916D3-E9E3-416D-899E-595E0E2FF907","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":"Q2908865$9EF9E04C-ECF5-40DD-A322-460E5B9DB8B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83a4ddb19865ce951db9e360b1b40aff4d004917","datavalue":{"value":"W1584741922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908865$B14189A3-F5F0-4065-9298-082A35340FEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae1ab4bc9219b0711589ce71fd48ab76cbb92db4","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908865$21EF4D0C-7E79-4F2D-B1A9-A01E0CDCD480","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3798d41615c5a8794a95048ec7c209723367dcb9","datavalue":{"value":{"text":"Computationally sound abstraction and verification of secure multi-party computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908865$2574AF2A-48A7-4F38-8E66-72A6D838B618","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31d80c27432a981fdcdc6c76b55782e646d50fc","datavalue":{"value":{"entity-type":"item","numeric-id":2986886,"id":"Q2986886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b1f76ed84a04b934ebdc0b1f5c1824df9d5e59","datavalue":{"value":{"amount":"+0.798983633518219","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":"Q2908865$6A12AE28-36AF-48DD-8F94-099DB56614B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c014a42553277dc8c8b9653ae292a4268ec347dc","datavalue":{"value":{"entity-type":"item","numeric-id":5857790,"id":"Q5857790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f129fde7242a323062e196174629bf5f32ea80b5","datavalue":{"value":{"amount":"+0.7971347570419312","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":"Q2908865$19E34412-53A3-40B0-95BE-BC74B4A35DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfdba58509eec530f64593f815c8792c6ce48a3","datavalue":{"value":{"entity-type":"item","numeric-id":1687724,"id":"Q1687724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7babbbbdea9673f306b44422a5eadec2f1aa54b","datavalue":{"value":{"amount":"+0.7716505527496338","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":"Q2908865$6D8C3F98-BB3C-49B0-B16E-5273AB6CE870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a0bcb3b5ddd7be49233b6ebb64a23b84bc09c4","datavalue":{"value":{"entity-type":"item","numeric-id":4414265,"id":"Q4414265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2c5e9d022383e458b8f4471cc62a1febce2064","datavalue":{"value":{"amount":"+0.7687365412712097","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":"Q2908865$5040605C-7A51-484B-B6D3-20AA0F710875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc36856963e51a6a6812ff03e9ad2c450abb4e87","datavalue":{"value":{"entity-type":"item","numeric-id":2489932,"id":"Q2489932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a26b50f895748093841e5140cd9ab752fc300f","datavalue":{"value":{"amount":"+0.759096622467041","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":"Q2908865$244C6ADE-9457-4E49-9607-C4532F3190F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908865"}}}}}