{"entities":{"Q877813":{"pageid":879661,"ns":120,"title":"Item:Q877813","lastrevid":65062527,"modified":"2026-04-12T00:03:55Z","type":"item","id":"Q877813","labels":{"en":{"language":"en","value":"Formal proofs for the security of signcryption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149161"}},"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":"Q877813$5BAC3B91-6898-4B43-B873-870D954DBEF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e802536e9b030b26adf9a07b533ee1eec8ed0d02","datavalue":{"value":{"text":"Formal proofs for the security of signcryption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877813$7D97AC8D-406D-4FCC-AE89-557742B95135","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8845b63b4aa77b60b4bd7e88ddf2aa2d752b9ea1","datavalue":{"value":"1113.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877813$0D3CBF1D-BA9B-4483-A0DF-9836AD8CA010","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5489f7efdc8cd64c6473db80d90a3e5f502110df","datavalue":{"value":{"entity-type":"item","numeric-id":877812,"id":"Q877812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877813$7DC637A5-DC24-46EA-ABCE-65C0CDBB0D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d95035ad212e9b248a8a1181dd3f6e0ea90a0c4","datavalue":{"value":{"entity-type":"item","numeric-id":412196,"id":"Q412196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877813$30717511-B374-467E-9C60-F90992E1C6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01ce8ed92830f7450714e22aadf9c850b8e7cad1","datavalue":{"value":{"entity-type":"item","numeric-id":293453,"id":"Q293453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877813$1D4316DB-FCC5-42E4-BACE-E0270DEF47A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5eab3bbb3b6673353b9ed770934b15d004ef795","datavalue":{"value":{"entity-type":"item","numeric-id":166358,"id":"Q166358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877813$1FBA49B0-1E97-4897-B02F-466D0BD1AF0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"705732f6c443403985df27568b16305b8e45450f","datavalue":{"value":{"time":"+2007-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877813$0BF256FC-90E2-463B-A3EF-FFAE83EC25B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877813$71E60A16-8550-4986-BEBF-D4F375BA5298","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d37760ef453887904c6725a22867a668c50dcfd","datavalue":{"value":"5149161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877813$F01C917E-543B-4199-B8E8-6763EAB402F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a89031234aa6fa0d9f28cf33a8a558b678cf5fd","datavalue":{"value":"random oracle model","type":"string"},"datatype":"string"},"type":"statement","id":"Q877813$10BBE7CD-FE1A-4851-BE6A-56B84BE3191F","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":"Q877813$33EE4523-586B-4F97-AFD2-201FEEC3EC77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dd869f984af3dc03478487b168365385b2cc752","datavalue":{"value":"https://doi.org/10.1007/s00145-007-0211-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q877813$30415904-3D96-458F-BE8A-9DE2B7C9782C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83605a516b3aa755c92af59ba0e7043cf3d15160","datavalue":{"value":"W1991914881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877813$9150E47F-CFBC-499C-863C-63BF155D0D95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3c440d6c95c1352ba25267d5cdf88ab29352916","datavalue":{"value":"10.1007/S00145-007-0211-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877813$B0A15CC9-8407-4529-ABA4-6F379B0A5281","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f87c01784b4ee8c59159441c7cab257e1d1aa21","datavalue":{"value":{"entity-type":"item","numeric-id":3043928,"id":"Q3043928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85922f107bed01342b27fca79ec6bc666218489e","datavalue":{"value":{"amount":"+0.9676716327667236","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":"Q877813$E054E572-CE7A-4384-9B69-6E9A59E008AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6620eeb096099b91473aee68fe028dbdb5f45a82","datavalue":{"value":{"entity-type":"item","numeric-id":4364550,"id":"Q4364550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c84fcfc9a59102f942a3bc6cf37866972b5c236","datavalue":{"value":{"amount":"+0.8322080373764038","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":"Q877813$0032A476-7AA7-4103-812C-7D2B1102A7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11b84d061b8ae7c808e26a5f65b990de96c337cc","datavalue":{"value":{"entity-type":"item","numeric-id":4472429,"id":"Q4472429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b098c4cb50e9a30da9074572e963949d41bc68","datavalue":{"value":{"amount":"+0.8165275454521179","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":"Q877813$F5208AC2-E3CE-4665-B3B4-032A5AAD0478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f4e439efeb93ebfd11263a21826669db206e85","datavalue":{"value":{"entity-type":"item","numeric-id":4737237,"id":"Q4737237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1456c123e926d63cec9c7f769f4865162ba9bec6","datavalue":{"value":{"amount":"+0.8084268569946289","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":"Q877813$5FCD732E-4B5D-4FD6-A399-9BC93F55BB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da051092a7ae2eea32726a052e6e74e4b892020","datavalue":{"value":{"entity-type":"item","numeric-id":3100174,"id":"Q3100174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48da4ee5dc7e47d0aad9869f4c6fd83f01f7232b","datavalue":{"value":{"amount":"+0.8074976205825806","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":"Q877813$7230F77B-5215-4E76-8070-26BF195EF291","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal proofs for the security of signcryption","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_proofs_for_the_security_of_signcryption"}}}}}