{"entities":{"Q6154880":{"pageid":13289276,"ns":120,"title":"Item:Q6154880","lastrevid":56674347,"modified":"2026-03-18T16:33:22Z","type":"item","id":"Q6154880","labels":{"en":{"language":"en","value":"Formal verification of quantum algorithms using quantum Hoare logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805824"}},"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":"Q6154880$83A2280E-A8D0-4C42-AB97-07FE45FB926E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f23e9d3143569ba27ccfcd58a453da131918a270","datavalue":{"value":{"text":"Formal verification of quantum algorithms using quantum Hoare logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154880$21F0B42C-A81B-4FA2-8FA5-AEFDA78DD3AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c2782c9aad7a20589160ebbfe26040b68af9fab","datavalue":{"value":"10.1007/978-3-030-25543-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154880$282E6426-AAD5-4953-8E92-2A89326F9846","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f46485302acf326aee298047403a846cbfc1595","datavalue":{"value":{"entity-type":"item","numeric-id":2109934,"id":"Q2109934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154880$0FA7319C-014F-40A4-A162-8ED6EE0E64DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d47a0b532fadc119a2da0b4f59e3906ea7d12d94","datavalue":{"value":{"entity-type":"item","numeric-id":258840,"id":"Q258840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154880$9269D983-D7AA-41DD-81A3-7DC3C0CF1514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6dde18f260590a0af478668dc06a118a846e54","datavalue":{"value":{"entity-type":"item","numeric-id":591944,"id":"Q591944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154880$2609C922-EAE5-44AD-9E37-F42FAE7555C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51ef920fd33eb08e8725259b4528f2371044d507","datavalue":{"value":{"entity-type":"item","numeric-id":320193,"id":"Q320193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154880$26ABA400-0F5F-453B-BE1B-490E50246689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f986ec85f1dc0887ff947fd947a8403040c83d82","datavalue":{"value":{"entity-type":"item","numeric-id":6060460,"id":"Q6060460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154880$1F6BC960-03EF-4AAF-AAB9-5B4DB7902677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc394aa834529c2e3aaa2c4e5f425ef2d8affe2a","datavalue":{"value":{"entity-type":"item","numeric-id":1683457,"id":"Q1683457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154880$62B66CB8-5529-4679-AD30-47AE151964B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48e3f86aff53251e8d360c8097a6d94f9c5044b1","datavalue":{"value":{"entity-type":"item","numeric-id":188299,"id":"Q188299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154880$74D6A956-7A2C-4AD7-BA2D-EEDB14A988C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154880$A14D4F96-6E4B-44A3-B0B3-D3B1085FAA0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154880$A7EA60B7-9A9B-4CF4-9F25-131C66FE9919","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154880$6060EC3D-C5D5-4D43-881C-311EDC137245","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154880$F5940639-290F-482E-ABB6-F851E27B5AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154880$00A66D3E-0C26-4932-95B5-0C69D26FE7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154880$BCA2014C-C477-46C6-BF2A-61E06C3CBD17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40bed315b6ee25c3976959ebf6f48ec49fcfb9ec","datavalue":{"value":"7805824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154880$D68DF9E6-1D52-4176-A7F4-E2FF22E77F79","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":"Q6154880$1E5907EA-3ECC-4469-9736-3DDF45155297","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"970310dc91914e9166fe5a07669c5a547566303a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-25543-5_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154880$6526A893-3D7D-40F1-8BDF-4AA95D5FDB15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca22a8b42ef9f0d6c35aed09b32f10f7cdc2bee3","datavalue":{"value":"W2957722170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154880$BE8C0FF9-E1E1-4282-91D3-14F034EABBA6","rank":"normal"}],"P1643":[{"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":"9350ce0aa80f6a4f99f94887bfd7c52aa0216676","datavalue":{"value":{"amount":"+0.8786514401435852","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":"Q6154880$1E13288A-02A6-49A0-9311-54A2ADDF2E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3807479a434725e5c8c7e9a91ebdbdea35f4f0ea","datavalue":{"value":{"entity-type":"item","numeric-id":667515,"id":"Q667515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d7b3a33223ad624c229634c9ca3be16fb2151c","datavalue":{"value":{"amount":"+0.8376572132110596","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":"Q6154880$78DD64F2-D996-4B19-8509-97C8567C761D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec6685a14f254641eb2f7b3b12ae1379890a74e","datavalue":{"value":{"entity-type":"item","numeric-id":2666954,"id":"Q2666954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89c3d4c29735b93fb049e8f44d1a6059b6bbb4b","datavalue":{"value":{"amount":"+0.814755916595459","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":"Q6154880$6A02D7C0-89BE-406F-A3D1-E7BF470002BE","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":"b092eff76a7a08ee005b2af53b482310702938e9","datavalue":{"value":{"amount":"+0.8006330132484436","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":"Q6154880$8937EF05-27EF-40C1-BCE9-ADAE2D4D138D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604857cf924a0ac17c6f0fbe8c10a04bb96bb7cc","datavalue":{"value":{"entity-type":"item","numeric-id":3186602,"id":"Q3186602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629a98a31d0b1e9ebd6d3c781f9a35b7ba8e3a3f","datavalue":{"value":{"amount":"+0.7939951419830322","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":"Q6154880$3A5DEFB9-2BE5-4092-9F20-D6A52018DF0D","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":"Q6154880$9192AF2B-E38C-48E0-903C-DD42534176CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154880"}}}}}