{"entities":{"Q5015189":{"pageid":7044766,"ns":120,"title":"Item:Q5015189","lastrevid":58391604,"modified":"2026-04-05T00:36:43Z","type":"item","id":"Q5015189","labels":{"en":{"language":"en","value":"Formalization \\textit{of} quantum protocols using Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7439407"}},"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":"Q5015189$1E2ED95E-A080-4C1C-A33B-AF528A2A4993","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99de63c120297b96f31e848fb74a4f87395cb52e","datavalue":{"value":"1477.68528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015189$22E13082-3525-4467-BF26-CCB9D3B64433","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"325ff6a7953697f8fbe5e4c5650ed6cf60ec806a","datavalue":{"value":{"entity-type":"item","numeric-id":3095250,"id":"Q3095250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$8D63D04E-A86D-49C6-A1A3-FB97E4D12A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be5440cea38e13b33c53cbe578c9b791d6ae808","datavalue":{"value":{"entity-type":"item","numeric-id":433338,"id":"Q433338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$CAB02E5D-F8EC-4F07-AE64-B2810D54D3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a076f0d6e955f7f099b5e572a601c0898ecdac2","datavalue":{"value":{"entity-type":"item","numeric-id":706489,"id":"Q706489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$8471008E-685E-48F5-85E3-0E6B26B3141A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3832ba244e67bab8dfbbd048c8e8f7c415dfc7d","datavalue":{"value":{"time":"+2021-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015189$55D8DA11-B04E-4D34-87A8-054F812AF6D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c3ece5c9f5bdd42a87f8d8c97f1498f9354cbdb","datavalue":{"value":"https://arxiv.org/abs/1511.01568","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015189$0B9D5C81-64DF-43E3-801E-0F4AB402E157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fc9606e61e074fc7f3c2fc21bfe718a4ebe7a35","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2015.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015189$57EA6E5A-3423-4420-BAE7-37D8519F532A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015189$279AC1E3-6E40-458E-9530-B4C8C4D6DF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015189$75C9CDE2-AD91-4F13-A4E4-114B47E37DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015189$BB6A98EE-0872-4CFB-8E85-3181F0F8E21A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f36841d5888e89c256dbc8ee119eca90b9f3a84","datavalue":{"value":"7439407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015189$8763CBEA-3F07-4D62-B267-D02FA5C5F150","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$7B755DA0-6BFA-4B8A-95E4-D2589C9C9993","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":"Q5015189$7B387598-A2C9-44A3-9AB1-167CBB02620E","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":"Q5015189$942333A0-7328-493B-87F7-0DF0738CE229","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d1c6023074c5779677c9d359c48f63fdd68054","datavalue":{"value":{"entity-type":"item","numeric-id":5326347,"id":"Q5326347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$2C20DD8F-EE6C-4FEB-8CEA-8460E7A69B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe9d1d109696519069e249b71c52e6b5ea5973a3","datavalue":{"value":{"entity-type":"item","numeric-id":4492159,"id":"Q4492159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$BD43E6A4-E5BC-49C0-A588-10607FA066CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c9c8084f63c23abaeff2af543bc8728cf3e01c","datavalue":{"value":{"entity-type":"item","numeric-id":2974500,"id":"Q2974500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$662F767C-0961-4B05-9680-A52ABC2B1CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$71FE1927-45B6-415E-B21A-4EA370DCD243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$A3FD703E-B8E4-40BD-A9A8-B3227007FC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$DA2B1D45-1CE6-41B4-9832-707512A2C22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7df3906eae3c2b887cc910e28b2339b9830fc52","datavalue":{"value":{"entity-type":"item","numeric-id":5313080,"id":"Q5313080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$7270DCB9-2FC9-48F1-AD46-CB045A6CB298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad7a3baf555da33445ac4311730bfea7d3cf878","datavalue":{"value":{"entity-type":"item","numeric-id":5408571,"id":"Q5408571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$DBC702FD-AFE2-426C-88EA-2C5CC932E4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8000bf33d2a7b07859c02c191450efa31a03ee7","datavalue":{"value":{"entity-type":"item","numeric-id":394340,"id":"Q394340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$749DADAB-5BE8-4D36-B837-48F327AADDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2165011b7c5eb0683e8726f8b356b8c8128b0bb6","datavalue":{"value":{"entity-type":"item","numeric-id":5276142,"id":"Q5276142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$8E5BACE2-32E7-4BC3-91DC-24B78DA4838C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d559045d65706b300b6bc3f6afe3d798af7a5007","datavalue":{"value":{"entity-type":"item","numeric-id":5482266,"id":"Q5482266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$BEBE8079-C198-4825-B81B-68A7AAD5761D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568943d5b96d1f467e4d8a532a3c4ebafe045410","datavalue":{"value":{"entity-type":"item","numeric-id":3560846,"id":"Q3560846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$48A18D89-10AB-4814-97D3-0210C51CC71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545b70a52fbd739fcbdc5fb79649e5d3315f9433","datavalue":{"value":{"entity-type":"item","numeric-id":3598006,"id":"Q3598006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$EAFBF039-0FC8-4F28-8D2B-06AA80BAD666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf446b5419b8e3a70a44aff75bbc12fa8bd693c8","datavalue":{"value":{"entity-type":"item","numeric-id":2391534,"id":"Q2391534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$8978B43C-27E4-450C-9E61-696BC0D7845C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697d8c5609ca0a0f461107a64b8abe5c6a8543a6","datavalue":{"value":{"entity-type":"item","numeric-id":5482268,"id":"Q5482268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$0A6A598B-FEA4-4AB4-8E0F-4B5163C89F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f876b843060f7bd2407c7bae6d97e6264d0713e1","datavalue":{"value":{"entity-type":"item","numeric-id":3196618,"id":"Q3196618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$639C8C91-DEEE-4A7E-9D10-901C1B4D958E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$AD83E1A8-B634-411C-B95A-9E4C16E482D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a445fad0dc0985d7853860e848fa4592ae7f51","datavalue":{"value":{"entity-type":"item","numeric-id":2706552,"id":"Q2706552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$9E59E55A-7CEF-4D4F-AA22-C64C1D3931B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a710873007b9b350b3a452b6f578263fe724570c","datavalue":{"value":{"entity-type":"item","numeric-id":3160421,"id":"Q3160421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$CBE768A5-8473-4365-A087-7CF9CAF1E3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21cf81e81a62b20e2ff6cf11a1d90b9d3b79b21","datavalue":{"value":{"entity-type":"item","numeric-id":2946577,"id":"Q2946577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015189$B58ECD34-4FD6-44CA-BD1F-7196D3362CF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d0208789d2151cd55f1e622ca9a8db94ececcb","datavalue":{"value":{"entity-type":"item","numeric-id":5326347,"id":"Q5326347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec005f1f11779de575fb074041247c24ab84374","datavalue":{"value":{"amount":"+0.840072512626648","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":"Q5015189$C5FAC867-7C60-4460-9F39-693FD797D3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24f257ed4ff1e6a031a80ff3fd605c1f2eb93fd","datavalue":{"value":{"entity-type":"item","numeric-id":4617973,"id":"Q4617973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a35d8494f7780087fbfe6d483ef7c0397424bc","datavalue":{"value":{"amount":"+0.7896074652671814","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":"Q5015189$E9FB6CF6-1193-49FE-965F-3D1CD18E08DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d387e5c8602875b1da160532dfb22673e2ea201c","datavalue":{"value":{"entity-type":"item","numeric-id":2233434,"id":"Q2233434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad0d2900a52fcad5e99a2dc66158a249f5cb90b","datavalue":{"value":{"amount":"+0.7767114043235779","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":"Q5015189$F0D50817-BA78-4BFE-B2DA-BD820FD725F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179fddce23ed37a4adea82dd31869623b8c26e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3560846,"id":"Q3560846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a7ecdc8da951b2ae1118e781016475f977bce4","datavalue":{"value":{"amount":"+0.7755545377731323","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":"Q5015189$02A6BE8C-CA8E-4686-89C0-34FA075CF547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc06d033a6f8e3dddc5afb73d70354044f2f23bc","datavalue":{"value":{"entity-type":"item","numeric-id":2825357,"id":"Q2825357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a46932d86a7fb6750ce401266e6abc20581308a","datavalue":{"value":{"amount":"+0.7699600458145142","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":"Q5015189$D8599007-7EEA-4989-AEFF-CC68238EB483","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015189","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5015189"}}}}}