{"entities":{"Q2914729":{"pageid":2925449,"ns":120,"title":"Item:Q2914729","lastrevid":51558086,"modified":"2026-01-18T18:56:29Z","type":"item","id":"Q2914729","labels":{"en":{"language":"en","value":"Computer-aided cryptographic proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084478"}},"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":"Q2914729$B06798FC-336A-48B2-B140-2B611420D737","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"066cdd8b46b69d84d2783e34cd9f22776b1beb84","datavalue":{"value":{"text":"Computer-Aided Cryptographic Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914729$612E18FF-49D8-4531-9C87-71520B69CBE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14f12fd7bb6f5375d9b8e62b018d52719f122b4a","datavalue":{"value":"1360.94294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914729$41802387-4BBE-4FB3-B058-43E1A51777A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52389225ef8d79d31c4e54ba0743b25b706afa6c","datavalue":{"value":"10.1007/978-3-642-32347-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914729$853E506B-93CB-4043-9231-C155989BF5D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914729$365A3B51-0285-45A9-BB5D-B3465ACEF163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd3e7effe093cda355e6b89f5d1d077014819669","datavalue":{"value":{"entity-type":"item","numeric-id":2374300,"id":"Q2374300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914729$44F5761C-8614-46D2-A2EE-565F37118A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914729$2FC02019-4662-4673-8703-E41FF9FC2956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a1eb956d7abd22e275f97fbac2b0f89c31c8a45","datavalue":{"value":{"entity-type":"item","numeric-id":2374301,"id":"Q2374301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914729$AE7E2988-1FBF-44E7-ADF8-121B555C4F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b350b305ba5692b2409809a226253975c56090c2","datavalue":{"value":{"entity-type":"item","numeric-id":2828264,"id":"Q2828264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914729$F1470845-39BE-4C55-9DA8-174FDB2B115C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914729$CC142ECF-0BD2-4518-8C29-45C1BB2A5698","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914729$E8531200-6AA4-4F04-8361-04B5C6CC8A3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b067fbe97eb676ca8e2625959350fe491f14807","datavalue":{"value":"https://hal.inria.fr/hal-00765842/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914729$49DEF5E3-47BF-4978-A3F4-48855D2DB5D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914729$9AB8A7CA-6865-45B4-9BB7-4FC85C3D6643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914729$B7E6FA96-FFE4-42B3-8F5D-C77A34D906C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb2652b0f48d1967cb6d356208987caf4ca02bc0","datavalue":{"value":"6084478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914729$97551BFE-D3C7-4147-9545-2BB96FB46385","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b8bfcbbb8584ed9cd8fa8ae699d0634f4084a68","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914729$1883DD69-0974-4DB6-B672-BCB33C4504E7","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":"Q2914729$C300155C-6926-4E68-83D7-D6F9DA31B3B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dd629b1dbdc85748ffdecb15478344b4002256b","datavalue":{"value":"W4211150876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914729$4BCF6752-F26B-482C-9EA2-6ABEA17C8422","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d9e71426cf434c375ccc2ccd842157c240e198","datavalue":{"value":{"entity-type":"item","numeric-id":5199185,"id":"Q5199185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c285b89cf45dcdd8f220ea3bcec836aa0cd69a6d","datavalue":{"value":{"amount":"+0.930524468421936","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":"Q2914729$E92B0D90-4C4E-470E-ACC2-4FC1A220E2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5443e913c167aaa21e3639226f30cf4e637a38ca","datavalue":{"value":{"entity-type":"item","numeric-id":1662190,"id":"Q1662190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db20f525fa35da37bbba791e78450453ced2bc0c","datavalue":{"value":{"amount":"+0.829132080078125","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":"Q2914729$36C5DC27-0CD5-47D5-844E-B490DE54B40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b85ac5e4ddb92ce230f645e416f1fded1e4dee0","datavalue":{"value":{"entity-type":"item","numeric-id":5253588,"id":"Q5253588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b872b4549885055aaf4d11ca175e83d616ce9457","datavalue":{"value":{"amount":"+0.8235762715339661","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":"Q2914729$F22DBE8A-89F3-4F02-8341-095C9040EAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7bdb8bd55bdeddb7b2aca0d1ffe3ace97771ed","datavalue":{"value":{"entity-type":"item","numeric-id":5443571,"id":"Q5443571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd1bdcd43a29b801cde3bce58789d88e5e92c959","datavalue":{"value":{"amount":"+0.8127555251121521","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":"Q2914729$6F26DB6C-37F4-40A0-AD19-F06770DC9E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cadaf031c9fd85e583aad9ed7daf3b5d8afe4a5","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289d577aace9649ee4c2bf0e78358a9a79c50e24","datavalue":{"value":{"amount":"+0.8115625381469727","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":"Q2914729$F1ACCAE1-E98A-46D0-A078-00B253677369","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914729"}}}}}