{"entities":{"Q6091329":{"pageid":13225636,"ns":120,"title":"Item:Q6091329","lastrevid":93907688,"modified":"2026-06-05T05:24:54Z","type":"item","id":"Q6091329","labels":{"en":{"language":"en","value":"On the formalisation of \\(\\varSigma \\)-protocols and commitment schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770550"}},"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":"Q6091329$1387BC64-A84A-4C9B-83C4-62AF742E2CA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f310494e144be793204b8c1c252aa861149fcf61","datavalue":{"value":{"text":"On the formalisation of \\(\\varSigma \\)-protocols and commitment schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091329$44F3434D-DEE8-4DC4-8DCC-86C5FE779B69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3c29f5190ece4b72db2b7d9e247a9a283401ea4","datavalue":{"value":"1524.94062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091329$F97E27D9-D7D7-47CC-BF93-6FC70FDE5A27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cad75ba219305c3a9fb896d9c31fbfd4e62332a","datavalue":{"value":"10.1007/978-3-030-17138-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091329$349AB589-5E81-4506-B2AE-32507038D7AE","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":"Q6091329$7C572F83-2F9E-4BAD-AF8A-10CB4E34BE45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091329$BD4775A8-6722-4763-AADE-0394C6DA44FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091329$FEAB4ADD-81F1-4A5F-927F-A20C00428729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091329$FD4A1783-D82C-4BA7-84A0-E438E94F42E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69125d6fa19c3c7b80cc82fd97486e411bf06027","datavalue":{"value":"7770550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091329$814E0DF1-B5AB-4299-9AD1-D22E133EE761","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b4e1579fcd4501367e022396b8914e89624092f","datavalue":{"value":"commitment schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091329$1E9264A9-72C1-4268-A99C-AB2861549E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d8ab59c3e0c2380a25f1a321fbce3a96898ff73","datavalue":{"value":"\\(\\varSigma \\)-protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091329$B6646E7B-4EFE-4BD1-ACCD-89367DC23DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091329$B21742F2-AFC9-4DE7-80D0-58B8BEB7201C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091329$9B2F896F-118A-43D3-AFE5-BD5AE5ADF797","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":"Q6091329$9137529A-18D5-4F75-8E0B-ABE75DFABF83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fb33fa6bb202e1624e741d052954e4e320da375","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17138-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091329$F37FE3B9-C422-46A8-A16E-9080823AE010","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"516c08d935447cf7a1f9946461c2ca56c95615ac","datavalue":{"value":"W2933941244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091329$206BAC5E-8B57-48DC-B58B-55FBB1EBC12B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8d7b55366741454ae04222f812a019c9d957b3","datavalue":{"value":{"entity-type":"item","numeric-id":2031427,"id":"Q2031427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf040f263e3a07af89fcb0e05ab4aff1ff2e22c","datavalue":{"value":{"amount":"+0.910004734992981","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":"Q6091329$72F12E42-693A-4323-A114-C4D42B45F9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587811e1db67d636c004c9671b0515199684e2f3","datavalue":{"value":{"entity-type":"item","numeric-id":5445522,"id":"Q5445522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718d0409a44c09af13e74d182e078e25f99f7090","datavalue":{"value":{"amount":"+0.7307991981506348","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":"Q6091329$8FB39699-3D2D-43E4-9E57-331705CCEFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ce53d16bcdabd66e488df98775b3b663b51472","datavalue":{"value":{"entity-type":"item","numeric-id":4783717,"id":"Q4783717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8376118b7c5d45fa0af668fd0a35b6f551b3b85","datavalue":{"value":{"amount":"+0.7292325496673584","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":"Q6091329$1FF437FE-67DD-4AD8-8E26-59CFA639F8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b07ed7e0f586181dd27c251fad15a9e5c9daa667","datavalue":{"value":{"entity-type":"item","numeric-id":2799092,"id":"Q2799092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e97f928d63f475e541b54f62eeb4f9f3ebfd904","datavalue":{"value":{"amount":"+0.7278954386711121","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":"Q6091329$0D055FB2-C522-444C-A7DF-02FD16F27980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"572c1e17a0b9e40b4cd8e657dc134450065a81e0","datavalue":{"value":{"entity-type":"item","numeric-id":6562568,"id":"Q6562568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5f0fd74d904ee671cd6393186be2311477e283","datavalue":{"value":{"amount":"+0.7267904877662659","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":"Q6091329$DAD51314-1810-4078-AE72-CB2A826097F8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091329$B6C0768F-97F9-4F35-8C03-3798A04FF93C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the formalisation of \\(\\varSigma \\)-protocols and commitment schemes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_formalisation_of_%5C(%5CvarSigma_%5C)-protocols_and_commitment_schemes"}}}}}