{"entities":{"Q993477":{"pageid":995325,"ns":120,"title":"Item:Q993477","lastrevid":65749353,"modified":"2026-04-12T05:07:01Z","type":"item","id":"Q993477","labels":{"en":{"language":"en","value":"Generalised quantum weakest preconditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5788036"}},"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":"Q993477$CB2A4895-3FA2-4601-9DA8-36F85A2082B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5c4532f2cf40c809541b0e455c98d79f796d8d1","datavalue":{"value":{"text":"Generalised quantum weakest preconditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q993477$588640B3-0562-45A6-9987-9BF423E6507F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f887fcb07c71fbe4aaaf7e7d755985a7e4aeeab2","datavalue":{"value":"1197.81047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993477$8E4937B5-C628-4ACE-B359-B911D10DBDDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03ba4cad55b1e6671e26bd115a3c3fecdd6de79a","datavalue":{"value":{"entity-type":"item","numeric-id":751078,"id":"Q751078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$EA8DAF5D-B074-440B-A3B1-4E6F0A2BFD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86e5e78ee451a664fec83582c7b33e811d741101","datavalue":{"value":{"entity-type":"item","numeric-id":993476,"id":"Q993476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$ADD5B61E-E4D6-4D5E-A646-8B0FFDB3D1FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a35f561d0936669a320f067afb4f0e42f9e2f53","datavalue":{"value":{"entity-type":"item","numeric-id":264592,"id":"Q264592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$CB9E81E3-C6EF-4B8E-9D0F-9C370EEF5ACC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25a12ad0594443d505ca92af898ecd503f486793","datavalue":{"value":{"time":"+2010-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q993477$E6554E9D-E605-4E70-A317-C88A4F952A42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9975204a65d66abb65dd016bd1bbedec2c7a84bb","datavalue":{"value":"https://arxiv.org/abs/0710.5239","type":"string"},"datatype":"url"},"type":"statement","id":"Q993477$CF648FEC-0D03-4374-9DC7-2ED7D5BD2BC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993477$99C19CEC-B63A-4F01-8509-E0E69F5F1B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ba4f254528f0243a639e5d75d2711104b8610ab","datavalue":{"value":"81P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993477$800AD586-94B7-4965-8D30-E499531E6EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c7de4dc0d2b34b063c61971b509a1933e43f4fa2","datavalue":{"value":"28B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993477$D64E7212-3807-4700-8240-CCF022D4C78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c3fd7957e6007ddf12cec26f0afa58221137f91f","datavalue":{"value":"46G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993477$18CFF544-88C3-4A5B-A557-C272F44B173C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"980fcaf826184db92ac85505402e161e4dee16df","datavalue":{"value":"5788036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993477$A4CCB2A1-0E31-446E-94C4-C2920DFD88E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c751a4526256d05b529ad1413c83b1e6e82f0a83","datavalue":{"value":"completely positive transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q993477$8B1F3276-E140-4E57-BF4D-02E694323402","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfeb1ce870aecd0eb5c3e3b9dfed6a47ea94b991","datavalue":{"value":{"entity-type":"item","numeric-id":5973013,"id":"Q5973013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$6699F9D2-D386-4FFD-B26C-92568BCBC680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"faea7e76b6755093ba52c8802426d3b124882194","datavalue":{"value":{"entity-type":"item","numeric-id":54940,"id":"Q54940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$32670E3A-1691-4423-AC37-04B426A94C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c69567ab1e57276dbf1175b69c6b8aa4fb7a627","datavalue":{"value":{"entity-type":"item","numeric-id":54937,"id":"Q54937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$2A83C350-B851-4236-905B-5FF9EC6CCFFF","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":"Q993477$043B35EB-DA20-4ECC-8DD6-967D8061DE0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c18d832f4385f8c7f46b210c3de619642ad0cc9","datavalue":{"value":"W2036681090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993477$31CC4AEE-6862-4AEE-8595-10AF3C8B0C79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ddede8ca42b10732845724aad2f31013038802","datavalue":{"value":{"entity-type":"item","numeric-id":4709697,"id":"Q4709697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$A101D2E3-2A6B-46A5-BA77-A2E07A147C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17aade52d93f44de67c85cc8c016a8de105ffa41","datavalue":{"value":{"entity-type":"item","numeric-id":3077082,"id":"Q3077082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$8DB538F1-A657-4B5C-B50F-16CC3A95C737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5ed10f7aa3f50181e41d6b399ce4cfb98d6432","datavalue":{"value":{"entity-type":"item","numeric-id":3438549,"id":"Q3438549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$12645264-2815-447E-8A8D-F119F24AB3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f28259ad02cbb5768b3fcb2aa7db4c442c3514","datavalue":{"value":{"entity-type":"item","numeric-id":1226146,"id":"Q1226146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$53B04A41-B8CB-474D-A470-782D4DB53A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74457de1370629884cec8b289b6d5a25cbf010d1","datavalue":{"value":{"entity-type":"item","numeric-id":4342085,"id":"Q4342085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$991440C8-4685-430A-BC05-F712037A505B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ce286ae1f4ae6431371fdb48b7e46a4cc12221a","datavalue":{"value":{"entity-type":"item","numeric-id":1242901,"id":"Q1242901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$86DA6F30-F3EC-49EF-9F19-4147799B5264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b42d18e3cc0859435e91895f17f6ec094cbbbb","datavalue":{"value":{"entity-type":"item","numeric-id":5649409,"id":"Q5649409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$D640F544-E29F-4DEC-93C1-963B36F6057B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6952c964346571cc46d55c2182e9c31b3abf5e35","datavalue":{"value":{"entity-type":"item","numeric-id":1236426,"id":"Q1236426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$6820E480-6325-4D15-BF67-740FBCACD3A2","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":"Q993477$AFF1015E-6BEF-4458-8D86-E2B38E010660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$EB50CBE5-3A37-4585-A677-7ABB83844767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e063d7e1a17919867680e154b4551b3fb67994","datavalue":{"value":{"entity-type":"item","numeric-id":1848721,"id":"Q1848721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$A0819DE0-5215-4E67-8D69-42C426525CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbee4e5958f32edaa75dafd943ae3a18c85abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5482260,"id":"Q5482260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$FCCE08C4-DFEF-4D34-9683-202EC53529EE","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":"Q993477$5CDC00EE-5219-42AC-896D-D185E970B146","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":"Q993477$ED62DE10-FB2F-4103-85F8-C82B34F49723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f562becaaa114e0b508f0e8f495f78dfa579758","datavalue":{"value":{"entity-type":"item","numeric-id":5723020,"id":"Q5723020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$D086874F-A7BF-40A1-88CC-8745CD3B2BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933bccb5591865f79bee1e72a170e07fbc90de80","datavalue":{"value":{"entity-type":"item","numeric-id":5310018,"id":"Q5310018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$58242C0A-0DD1-4AAB-97DE-901AA7C2C0DC","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":"Q993477$215E7431-EC78-46E0-96C9-B33306D05339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243882fbc0d696df28cc912d35d324cb23957a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2505979,"id":"Q2505979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$809FFEEF-B9BD-4A23-A624-E545ABB501B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f99f0da2cdfa975b7c4fb87c5284e9477b25300","datavalue":{"value":{"entity-type":"item","numeric-id":4100556,"id":"Q4100556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$AD6802F9-B353-478C-BDF7-F7AB4034F704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c17d539b7c9ee92845ce47b64cb19704817b5c","datavalue":{"value":{"entity-type":"item","numeric-id":2721095,"id":"Q2721095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$0F68DD9A-BF48-4A4E-9236-4DA5330210C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae61b3c1304527cc7fcf5de8c73f19795bc5cfb","datavalue":{"value":{"entity-type":"item","numeric-id":5324519,"id":"Q5324519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$7E239A55-4021-42D8-BF49-227C595A4432","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":"Q993477$88EB4713-6833-4E41-B09D-D2C24C4512F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da78e8704770bed2171012002edf211d778f777","datavalue":{"value":{"entity-type":"item","numeric-id":2484067,"id":"Q2484067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993477$D5F4C39D-10B2-4A34-A572-7B0B150CE2B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d0a844aa6769a0840098db2f71e231d22990794","datavalue":{"value":"10.1007/S11128-009-0151-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993477$8DCB586E-DECC-4232-A228-F11A87986F42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e657634eba40d11d9e6119117081bec26fbd6765","datavalue":{"value":{"entity-type":"item","numeric-id":5482269,"id":"Q5482269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36855e26106247f891b4061896ed9804a71a9351","datavalue":{"value":{"amount":"+0.8646005988121033","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":"Q993477$EA6A94B5-B2BD-4C0D-BBAA-C8579DA73640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9111c26f2bc77f0fa445e2df1e768a99808caa52","datavalue":{"value":{"entity-type":"item","numeric-id":2380014,"id":"Q2380014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110b10077db15ea12cc457dba05104bfb0394084","datavalue":{"value":{"amount":"+0.8548010587692261","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":"Q993477$54E13D1D-773E-492A-A032-F333BFD67868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a0caa9c28e9fd00c82b8be7ad926b69050f6f9","datavalue":{"value":{"entity-type":"item","numeric-id":5324519,"id":"Q5324519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76d987f9ca733d1904664deead360139011a468","datavalue":{"value":{"amount":"+0.8341448903083801","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":"Q993477$E355AE0F-5043-49A7-BE60-CF40CC1B0189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d9e8ce913ba2d52281eac3895bcece0319ab2d","datavalue":{"value":{"entity-type":"item","numeric-id":3560843,"id":"Q3560843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb2024aab41b13e5ca6088ab407833fd5e12b400","datavalue":{"value":{"amount":"+0.8003026247024536","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":"Q993477$274A4256-4A0D-4D9A-A2C5-E1C2D5608219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039d43fd86630fe8ad9c569ffa014a13f83b27cb","datavalue":{"value":{"entity-type":"item","numeric-id":5398597,"id":"Q5398597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc29daf4f9f1c18eb1b021d43425763f733aa116","datavalue":{"value":{"amount":"+0.7716333270072937","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":"Q993477$4BC6AC84-C62E-43A1-9FD9-5B0533CC2D50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalised quantum weakest preconditions","badges":[]}}}}}