{"entities":{"Q1701681":{"pageid":1712422,"ns":120,"title":"Item:Q1701681","lastrevid":68170971,"modified":"2026-04-12T21:54:42Z","type":"item","id":"Q1701681","labels":{"en":{"language":"en","value":"Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6843910"}},"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":"Q1701681$2A203B86-87EA-479B-B2B8-66A2ABD69CAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60d5e99cec6352f6bfc8a5a9fbe3383e0a866420","datavalue":{"value":{"text":"Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1701681$1D575186-CE6B-40B0-A55C-A6DBAE9263C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67249138cbe7263b5fa89cbf92dd91f3fd886452","datavalue":{"value":"1387.81146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701681$B5768500-A7BA-4D77-B880-2961620FD33B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbb7ff4420b0ca83d8267abbfca4ee06cdf94c43","datavalue":{"value":{"entity-type":"item","numeric-id":1701680,"id":"Q1701680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$CC374EDC-4803-465A-B792-3FBA158D7F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c966e7dbbd59a484367bbf8cf75fa2113f8ffd32","datavalue":{"value":{"entity-type":"item","numeric-id":426788,"id":"Q426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$13DDA7FD-BB7B-4307-A83D-0023D4B13575","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$608BA853-03AD-4696-B4E8-87B2AFE1E55C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c144e320c99ba8ab535867a269aafb85a4e4b204","datavalue":{"value":{"time":"+2018-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1701681$D7602159-DEE2-4CD4-860C-E58F69282C90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701681$3F3D7E93-B9E5-44E5-A301-29D021B43FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701681$3231518D-0053-4D35-80EF-8B2C448E63BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701681$3C697EC5-5BD8-4A07-A552-998697281F16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"feb3025ffa20105a7baee75cf5ff0e03ab891a24","datavalue":{"value":"6843910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701681$F993B5EA-276F-42A5-8AEB-6AEC46AF4792","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701681$507D5CC8-90C9-42EC-B2AD-C5E6A658532C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701681$AAAB3201-8A17-485B-AE69-A165F8294898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701681$65947F87-1BAE-4B2D-97EB-3911CB696A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0a85fc687d5a2030ca309942325a5872eec67b","datavalue":{"value":"quantum computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701681$4B7FC91D-A40C-4DD7-9502-60779A74FE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5676b88c5bbc05f1e4a6f3540823bc460f6c6f07","datavalue":{"value":"quantum protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701681$CAFBB251-9B22-4D3D-B11B-60CE0EF82BCE","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":"Q1701681$84F2C484-3FC0-47B0-B060-BF32C8B05375","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99cbf287c8310825c0e48cf5b0923f49579d08a7","datavalue":{"value":"https://doi.org/10.1007/s00500-015-1802-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1701681$F618B1F4-172D-427A-A1BE-F9D7F6775872","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba7f60812abac72165ad58dd9f6609ff6e672002","datavalue":{"value":"W1853605859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701681$AD68F2AC-BFED-4698-95EE-75577B4F94BB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cbd9da3bb6106260200f0cf00472720c1597b44a","datavalue":{"value":"Q59612997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701681$5F3CF6CA-13BD-4FBE-823A-1475AE9999C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6855200d8c169a00087e15609010d9a6efdd4725","datavalue":{"value":{"entity-type":"item","numeric-id":2851800,"id":"Q2851800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$89CBB57D-4C33-4B8A-80BA-EA3716B5B4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe7e80c19237a27ed95f0f34a3bd6662bd3a897","datavalue":{"value":{"entity-type":"item","numeric-id":861649,"id":"Q861649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$52444DDD-C83B-499F-B0C5-EF28D885AA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"806883e214d43ddef8864767086842c06d49398c","datavalue":{"value":{"entity-type":"item","numeric-id":5482272,"id":"Q5482272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$BC86E77E-841D-4EDB-88DA-62322876230C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4414a7d88cb47802b90128ed9770a31b2848ae47","datavalue":{"value":{"entity-type":"item","numeric-id":2849423,"id":"Q2849423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$864019D5-81D6-410B-831E-3B3D230FBE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795a0cbff2a91c0b9c8af665ae177194522eaa08","datavalue":{"value":{"entity-type":"item","numeric-id":472733,"id":"Q472733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$27D9465C-601A-47B1-B783-CE3EF230E0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9132eb582bb0cb94a8e9effdadcd521c87a3a155","datavalue":{"value":{"entity-type":"item","numeric-id":477162,"id":"Q477162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$AB35671D-29A8-4A46-AA1D-2753B1A0D80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9524028fec94a230f82dd6b0680a6fdc305948c9","datavalue":{"value":{"entity-type":"item","numeric-id":2904623,"id":"Q2904623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$5ABA5A60-C4AF-473E-82FD-16148DBBD66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe870bd793f8b31d74331e51da9988a0ca772212","datavalue":{"value":{"entity-type":"item","numeric-id":495836,"id":"Q495836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$F2C6AF8C-255E-430C-93A3-C92B11CC67A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1195a27bff72a62438cfcf0a55297e0334f1e97","datavalue":{"value":{"entity-type":"item","numeric-id":2645405,"id":"Q2645405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$75B742E6-C8C9-4842-A499-A520BF1910F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b9fec05453e32bfd19fc6f5623255486875a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1887210,"id":"Q1887210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$9F7F9364-1990-4525-A0BB-735B5459208A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3292a8fd74c3800c368f7ec938a332b6cc758bd3","datavalue":{"value":{"entity-type":"item","numeric-id":3522570,"id":"Q3522570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$5FFC45E4-7546-4857-B282-D29E46411D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8712f1bc207788f59922bec79e7d5594f8f5eb3d","datavalue":{"value":{"entity-type":"item","numeric-id":5482269,"id":"Q5482269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$B87DE351-ECB0-4C44-9909-B710119885A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c292d91372e5e69520c294debfef2b92c4fc1641","datavalue":{"value":{"entity-type":"item","numeric-id":358690,"id":"Q358690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$108008FB-A044-4D6C-B08A-FB481948CAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4940a5c8bacffcc4a0546f4ddcaab1553ab5cce","datavalue":{"value":{"entity-type":"item","numeric-id":4299011,"id":"Q4299011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$265CBCF0-C8DA-407B-BD14-D346BB785500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$F7275A82-BE61-4D0F-9765-B6C18DB313A9","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":"Q1701681$2D684A5F-BFA2-4AFA-BA45-CB108EA95F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$4B31A248-BD19-45EF-8E02-73051E125F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2184bd98233504b982c4d0862fc1a2622c315ca","datavalue":{"value":{"entity-type":"item","numeric-id":1394336,"id":"Q1394336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$DCD2B5E5-D189-474D-A881-E11B2AF9DAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$4B0390A5-2CCA-45E5-B278-A74785C1F82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$30B27051-77E8-47D0-970C-0A629DB35815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914f7110d6763b79f2d837055a1fde3267b5efba","datavalue":{"value":{"entity-type":"item","numeric-id":2495653,"id":"Q2495653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$62B3F529-6BCF-4473-8573-B43829E5B5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fb5fc211871b1396bbdbfaae178fe05cfa1a13","datavalue":{"value":{"entity-type":"item","numeric-id":2851799,"id":"Q2851799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$5BEF991E-A8A9-4F07-944C-3A9D1DECA23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"718146f5c0034d868485cd8397798587df00b9e8","datavalue":{"value":{"entity-type":"item","numeric-id":2864173,"id":"Q2864173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$51EB5659-5B96-455F-9E81-CF224B4BD5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5939580cee14995b63b6611f6bfdf6f502a4b4e","datavalue":{"value":{"entity-type":"item","numeric-id":2825347,"id":"Q2825347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$C9473573-CF53-4205-841C-7E9E173C2CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e3a7c19199c4a96513c31b549a957b05f384cd","datavalue":{"value":{"entity-type":"item","numeric-id":2947561,"id":"Q2947561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701681$F5DAD50F-FCA8-4614-850E-A1FB83C2FB9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7159218a4dc5926c45917f820e2f6588bb114e93","datavalue":{"value":"10.1007/S00500-015-1802-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701681$9B1E0DC2-F513-43D4-B617-1F0C4ADF8E44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f082ec02e2bfa23af5add14cd378c56e1997a9","datavalue":{"value":{"entity-type":"item","numeric-id":5482272,"id":"Q5482272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a36b4f137c7433f74856819cf3954d6cae79cd","datavalue":{"value":{"amount":"+0.8216943740844727","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":"Q1701681$9284F6B6-BD0C-41DE-BF51-C5DFF6A1E273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d2f033e8d8dd03ba5af13ddb06fe14e8181f07","datavalue":{"value":{"entity-type":"item","numeric-id":3656843,"id":"Q3656843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251621e7827f702c2013b46dcb8f00f3c3ac174a","datavalue":{"value":{"amount":"+0.8101556897163391","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":"Q1701681$4F18A80D-A109-47A1-A7F9-54DD31404609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90b6d2d4e4d7a5225f608b3a92582bb6e9ad14b","datavalue":{"value":{"entity-type":"item","numeric-id":2455601,"id":"Q2455601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea08e14f36db6d23e64dece249c6b5a949e2308","datavalue":{"value":{"amount":"+0.7880027294158936","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":"Q1701681$E45E8B3A-C470-4CB3-80B0-96E77FE69432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3cc8d611b822ce5ae7d51eccee17186ed140a16","datavalue":{"value":{"entity-type":"item","numeric-id":5395117,"id":"Q5395117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4476232f19447e55158a79a1f4f1ca3f2ccebb","datavalue":{"value":{"amount":"+0.7860133051872253","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":"Q1701681$B6C5416A-057B-44DE-AAA7-4EC767E86756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01173cc8d3c17f7a1d5f04d06691be918d828b30","datavalue":{"value":{"entity-type":"item","numeric-id":2851315,"id":"Q2851315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d9d242a4b159e7629e7fc386f4c5959fc33f54","datavalue":{"value":{"amount":"+0.7806478142738342","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":"Q1701681$ED0BA1B1-D31D-41F2-959F-0022C96D8BFA","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":"Q1701681$5F9ADABA-E369-4A8E-99A8-FE2812F60DC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deriving_the_correctness_of_quantum_protocols_in_the_probabilistic_logic_for_quantum_programs"}}}}}