{"entities":{"Q6053407":{"pageid":13187562,"ns":120,"title":"Item:Q6053407","lastrevid":58654809,"modified":"2026-04-06T05:00:08Z","type":"item","id":"Q6053407","labels":{"en":{"language":"en","value":"Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7742408"}},"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":"Q6053407$DAC840F1-8101-47DA-B153-47165CC25006","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0429c2d958f9c45b647405a4ccabf2c75365727","datavalue":{"value":{"text":"Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6053407$92BED751-53B3-41EA-9B84-1AEFF6491472","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff0ca495cf139845d01d02d871d3828dc4028019","datavalue":{"value":{"entity-type":"item","numeric-id":389707,"id":"Q389707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$18CB62B5-E4F7-4BD0-9173-87211B52F756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8dbc6fc95eef09b1b6fd3ee11b670cca3336d9e","datavalue":{"value":{"entity-type":"item","numeric-id":420804,"id":"Q420804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$031434CE-1F69-45B0-BD69-3D81950F2200","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$37477158-DF5A-4225-B9FA-2BDBFC14CDAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9418e61d518d54d5ce54693edbb949cbf20535ee","datavalue":{"value":{"time":"+2023-09-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":"Q6053407$EFEC3B97-4689-4BA6-A3B3-6F7C95957347","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94706fc16a083e29add22a412108666779baf931","datavalue":{"value":"https://arxiv.org/abs/2206.13772","type":"string"},"datatype":"url"},"type":"statement","id":"Q6053407$6982A653-FA7F-44F2-9103-7F121C4FCBFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053407$62A09B6F-153B-4EE4-8A9D-E1B1AC09C085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053407$8B0E94F9-2E95-48D6-818B-325C7A27144E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2a682653e1d175dc429712e864fd7f2ab9cce3e","datavalue":{"value":"7742408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053407$034759E9-0ADA-4300-9403-5D4D0402961E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fdee470dbbb1cf7986bbcb0c71a5b313b719c1","datavalue":{"value":"quantum programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053407$AC1A5F85-0D7C-4131-82AB-EB3A7E2F2B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053407$254F188C-AA88-4FA2-BBEA-35B05D0624A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aef85a4b3eeecf23132b9fdad90c5edce5bf77f0","datavalue":{"value":"incorrectness logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053407$7489401D-BE40-49D0-89F0-ADA6BBC417F0","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":"Q6053407$6880730C-B5C5-4D64-B5BB-23499F79B4FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e33430428f8b1f198a6d61f2cef2706a0cd660c8","datavalue":{"value":"W4385494739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053407$63F970D4-DD73-4C10-83EB-38410F8FA50F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$06335B7C-0FE1-4DE8-91D8-1685DF3F9FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f5c3549df6ad966d6ccb596b2708361911a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$4EF8A074-F452-41D2-BED8-E89AB6886AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0881139da1f030b3260447b130d667375c705126","datavalue":{"value":{"entity-type":"item","numeric-id":3522067,"id":"Q3522067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$652DF668-8146-42D2-8E03-0617135A154B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd37a31c5ce9eb3310a3d2861b39c852af91e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":1149799,"id":"Q1149799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$31F8ED64-2A96-4709-B0D5-A53869F02A6D","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":"Q6053407$9B63CDE0-D06A-432E-A43F-038E624C2BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ed61285885c01c39e7ff502c750c78dd133602","datavalue":{"value":{"entity-type":"item","numeric-id":2280214,"id":"Q2280214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$AE5E612F-863D-4230-A7D3-BC01E8512595","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":"Q6053407$1EBE86EF-A176-4A70-AFF9-EED7D9AB9589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab1beaf703ffb5c3e33875ac69baf1c0ae13217","datavalue":{"value":{"entity-type":"item","numeric-id":2055965,"id":"Q2055965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$431AEC65-3204-43C8-9E90-04CA83C8F84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776bd428626ee680e461f490d86ed376df4e714e","datavalue":{"value":{"entity-type":"item","numeric-id":5072611,"id":"Q5072611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$D27B654E-2E0F-4B4D-BC8C-AAE2DF77871E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4079be32b0d120cadac73eddeda20cd9afa6c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3095238,"id":"Q3095238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$1E332FFB-C85D-4A09-866D-4D58B99EBC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24d8411e3f09750c0ec28abedfcc6f357413b85","datavalue":{"value":{"entity-type":"item","numeric-id":5847989,"id":"Q5847989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$40D4C339-AD7A-4444-9448-4475B72CA93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e3166c702946f2401b3476066fee9ebe1fba7b","datavalue":{"value":{"entity-type":"item","numeric-id":4818937,"id":"Q4818937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$88D9392D-C15D-4F81-8C10-DF0C91D52E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add5ee622e5960bc726dc8851f8fc5b556ee05b1","datavalue":{"value":{"entity-type":"item","numeric-id":2455601,"id":"Q2455601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$FD1F442A-AD91-4015-A097-BBCC2270503B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28add2802053ff3728c855997fbe44424601ae6","datavalue":{"value":{"entity-type":"item","numeric-id":797108,"id":"Q797108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053407$9FCE7170-09EB-499D-AB4F-98306E5955B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45c1f8b00fcc8496ed65da2830be2e99c1b56e86","datavalue":{"value":"10.1016/J.IC.2023.105077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053407$8D01E0ED-604A-47DE-A733-E8E33DD3A66A","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":"8ff9080c1dd05b2d07ac8e0ced18793083ce7a06","datavalue":{"value":{"amount":"+0.7962813377380371","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":"Q6053407$EFFEBA80-D572-436D-97AB-E05DC85C1DF0","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":"583a9f2c90396f172ad63cfca5ceebfb883db2f3","datavalue":{"value":{"amount":"+0.7799860835075378","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":"Q6053407$F44D2580-B7B4-46BD-BD4F-3462BAE23110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ac05264d1c9a498d593fda71a17034d2a2f99d","datavalue":{"value":{"entity-type":"item","numeric-id":3560841,"id":"Q3560841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac72e06e12f846f3aa06d30a2f8da7a8b7d0aa0","datavalue":{"value":{"amount":"+0.7412445545196533","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":"Q6053407$25A7B1B3-D564-4BD3-A3D7-8708383C92CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc55ef2613b371848912866130d0919ff51b30f","datavalue":{"value":{"entity-type":"item","numeric-id":4688901,"id":"Q4688901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d5af902cbdb8b7bec72835f6802911145ddedf","datavalue":{"value":{"amount":"+0.7291476726531982","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":"Q6053407$C678FF95-0A0D-4263-9EBD-19E1205DC28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28d11c36dd15a1a276bed4db32bb14b1920bd52e","datavalue":{"value":{"entity-type":"item","numeric-id":6154880,"id":"Q6154880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d0a6e7b8aaa9c8679c8853eaa28e4f53bfe73f","datavalue":{"value":{"amount":"+0.7242095470428467","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":"Q6053407$B65E4B6E-B93D-4143-92D7-FFE728D029FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6053407","badges":[]}}}}}