{"entities":{"Q5747645":{"pageid":7777196,"ns":120,"title":"Item:Q5747645","lastrevid":101722340,"modified":"2026-06-06T02:38:27Z","type":"item","id":"Q5747645","labels":{"en":{"language":"en","value":"Programming language techniques for cryptographic proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785338"}},"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":"Q5747645$FAFB5488-ACB4-4D1B-9B50-F2EA06CA1FFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4ad7b0f2bb5e4713a93b9b3fd9fc506756e2545","datavalue":{"value":{"text":"Programming Language Techniques for Cryptographic Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747645$88F014D0-B73F-440D-8AAF-72370E0DFB35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ff6dd288c10a2b4c6ebfb5b875a97245825cb20","datavalue":{"value":"1291.68323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747645$2102FA8D-0B04-4DF7-BAE0-6F47666365E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70d27dab027f8ece06ca3492411e4bfd17f4a58b","datavalue":{"value":"10.1007/978-3-642-14052-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747645$C329C66A-77BA-49FF-A5D8-69294045150B","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":"Q5747645$E0BC387B-05BE-426F-BABE-CDAEB0AD4AD2","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":"Q5747645$CBC80F77-3B6E-4333-83ED-BFE3DCCBBA8A","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":"Q5747645$A6E0D020-90B7-43CC-BCD1-F16AD0745273","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":"Q5747645$4E4D758F-C96C-4891-9CC5-9E58F615EB9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747645$4D3121D6-AC7E-41E1-84DD-6BE9D978821B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747645$0B633C5B-8A9F-4F21-B081-FFC4C0C8B571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747645$29213373-D29E-4438-8FA0-1216C5F5FD14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"493664a15b7502d1dc9fb87b444767b8993fe3b2","datavalue":{"value":"5785338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747645$5770DD83-5BB8-4388-B182-1E7770418EB5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebb4f22be4a6a44afb11c4a21e336e3f27acdad2","datavalue":{"value":{"entity-type":"item","numeric-id":21426,"id":"Q21426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747645$C2EB327E-3A6B-4D97-8173-D9C6BB58D683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747645$199EF1AE-D477-4266-92E7-49124069591D","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":"Q5747645$F662515D-15F4-475A-9980-22314903A471","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72fcde5762435c4f09aac69dadba7e64ff312cf1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747645$F3573D2A-C4B0-4DEC-8240-54D96B5A6282","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbbf0d5c85794af5c39c4d8bd327b94d655cae6f","datavalue":{"value":"W1589908756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747645$9585B412-41D0-4E22-8873-B9C2846A5261","rank":"normal"}],"P1643":[{"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":"8d4f935be45e858604f6cb308075610d5a6b9747","datavalue":{"value":{"amount":"+0.8849192261695862","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":"Q5747645$C38E2C9B-F72B-4815-B29D-15D9FFAC3E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04cf96077811b379e76e1811128c9ec8c0f90a82","datavalue":{"value":{"entity-type":"item","numeric-id":3619468,"id":"Q3619468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44b42d229eb5051c764acc34f9ce20c49fcc039","datavalue":{"value":{"amount":"+0.7901886701583862","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":"Q5747645$241726D8-159C-4216-A050-22C180BF3DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa4625440697f2ee72d406a46d1e48df0580662","datavalue":{"value":{"entity-type":"item","numeric-id":2914729,"id":"Q2914729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c759a90fde6d61472b791f7130cdb79aeb07fa2","datavalue":{"value":{"amount":"+0.7731988430023193","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":"Q5747645$91D43C80-2F96-4216-B44F-D737BCC8401A","rank":"normal"},{"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":"f0723a9215b64c13c2241e4f338f7a7fbfe379db","datavalue":{"value":{"amount":"+0.7642425894737244","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":"Q5747645$C48AD2AE-98CD-4681-987F-3A3361C6AC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3fd574059b1fbf5aa99d2abc68db3d7d3fd4817","datavalue":{"value":{"entity-type":"item","numeric-id":5756645,"id":"Q5756645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59bd2216282c5e32cae7e77461e529245dc1a657","datavalue":{"value":{"amount":"+0.7608420848846436","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":"Q5747645$0BA84F81-4B89-4EDD-A84C-86F02FACFA66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programming language techniques for cryptographic proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programming_language_techniques_for_cryptographic_proofs"}}}}}