{"entities":{"Q2380014":{"pageid":2390757,"ns":120,"title":"Item:Q2380014","lastrevid":72650472,"modified":"2026-04-14T06:18:06Z","type":"item","id":"Q2380014","labels":{"en":{"language":"en","value":"Commutativity of quantum weakest preconditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5686447"}},"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":"Q2380014$B3C4FC1E-A458-4BC4-AD72-8000EA096681","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a610c80acf946aa2052c4f4edbf7c9e4aa56bf87","datavalue":{"value":{"text":"Commutativity of quantum weakest preconditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2380014$A6B8BCA7-6D90-478A-B856-EF12731A41C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db973e1e516f6d1aa33c0593178f3cd123765aca","datavalue":{"value":"1184.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380014$E2616224-ECF7-4888-8D1F-10FB0EBDD762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c01b9912af60c4ece9ce88a4ab7ecc387d39bbc","datavalue":{"value":{"entity-type":"item","numeric-id":1997903,"id":"Q1997903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380014$BF4FF0DB-8922-49EB-A478-1411D4636DD7","rank":"normal"},{"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":"Q2380014$817EC667-9566-48ED-840B-2BC5A5820AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2f954991488985afa85001bf27cd5cda689b286","datavalue":{"value":{"entity-type":"item","numeric-id":516765,"id":"Q516765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380014$61485CEE-961D-4771-99CD-92A0BC3AF5F7","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":"Q2380014$4E966FF0-10C3-4618-BE2D-CE31927A8ED5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380014$B062CE42-6E51-4024-9028-7D2852F9ABDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b2597d51ab54359972966267a61b08692759225","datavalue":{"value":{"time":"+2010-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2380014$22B6C4D7-F80D-477D-9347-AC02BAD39E55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1060079117841578ca8cd3d0ec73d9df46cb566a","datavalue":{"value":"http://hdl.handle.net/10453/8318","type":"string"},"datatype":"url"},"type":"statement","id":"Q2380014$A2CAD482-519A-40F7-917A-8DD8AB76417A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380014$4CC91205-0A45-474F-B125-B457C035A0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380014$D06D2E84-3F3A-449C-9002-A651D5A76495","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52927d42aef4cf477ff3d768ecab9e9333b0c48c","datavalue":{"value":"5686447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380014$C4869468-6B9C-4F60-8284-6774A20A3E22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380014$58C80C49-7947-4AF6-819D-67ACBA6E3E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"900cbbd7e91210c6806782d5be6a87cdfecfc0f2","datavalue":{"value":"quantum program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380014$101C89F3-300D-413E-A853-9676DCB7FC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"325812d2169d2788f5bfbaad00bba2cd32fd0e20","datavalue":{"value":"Hermitian matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380014$D45E34A3-D458-4B2E-A3F8-F51C7298C73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28551b0a2504ba47557d8a21ba67b05b9b0ba107","datavalue":{"value":"super-operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380014$E720FE5A-7DDA-490D-B0DA-9956A134090B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380014$4FB80C0F-5DD2-4893-96E8-5C79C7FAED21","rank":"normal"}],"P1463":[{"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":"Q2380014$CB97E3EA-0A05-46B1-8841-217A38348DC6","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":"Q2380014$A02EF6B2-A928-4041-81BA-A630DF1F3FCF","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":"Q2380014$0DCBC3D4-58EE-4E98-813F-9322F93F0429","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44efef6dfd0e62f5f5c4dfe49cd753bf528bac8e","datavalue":{"value":"W2053660378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380014$B0BB1541-6C79-429B-9074-7329B0CD7C63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87cbf97545fd43425705b5cb5179c4c7e74ab55f","datavalue":{"value":{"entity-type":"item","numeric-id":2851315,"id":"Q2851315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380014$2CCA2164-B663-40DA-9A14-887E5637C064","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":"Q2380014$8178469E-03FB-43E6-91D8-D801D7741DCD","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":"Q2380014$364B2429-E679-47A1-A11C-A271974D237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec05f12232d0a1528cf5463f4d82c9a218e2d75","datavalue":{"value":{"entity-type":"item","numeric-id":4228473,"id":"Q4228473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380014$F751C5E8-F67D-4878-BCA1-E75A170859C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873510eb2eec84bac11c416363e671d95f3af9e1","datavalue":{"value":{"entity-type":"item","numeric-id":3702812,"id":"Q3702812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380014$16D16E56-D6C4-4FB9-8F24-751595ADD09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380014$88CBB298-2623-472E-B428-55E9EF43D306","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":"Q2380014$44EBEE34-6BD6-464E-B0C5-4F3B841689EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3138cba80bfbbc01667ee58cfce0a430f6a21930","datavalue":{"value":{"entity-type":"item","numeric-id":5528957,"id":"Q5528957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380014$06A504E8-92CA-4D74-B442-5C5B9A42654A","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":"Q2380014$1A03E73C-4F2E-4CF1-95B1-F456C30C1E0B","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":"Q2380014$42CAAE34-77ED-432C-98CD-AB451AA87302","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d88a4d93148cea8e267c4c5d5536a2f62f56deef","datavalue":{"value":"10.1016/J.IPL.2007.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380014$BB81774F-387B-430B-A84B-ED4D0AE8FD74","rank":"normal"}],"P1643":[{"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":"2b1a10f1c211d757250f04321017f8a140ac1786","datavalue":{"value":{"amount":"+0.8694577217102051","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":"Q2380014$93EEAD86-A141-4890-AF96-150EF553111A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aac35f47b403682d6e6d7bd570655e54b6e636e","datavalue":{"value":{"entity-type":"item","numeric-id":993477,"id":"Q993477"},"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":"Q2380014$045390A6-F5ED-47C6-883B-DA8B6AF821FC","rank":"normal"},{"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":"736400e834ccca44e257d00215284e952fa7c340","datavalue":{"value":{"amount":"+0.8477486968040466","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":"Q2380014$A83DA9F8-0CA8-4CED-8A73-9CCB19E89980","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":"d4d1fcb0cdfa6731fe277832ef6a74be51fd21f4","datavalue":{"value":{"amount":"+0.7398321032524109","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":"Q2380014$97FDCB61-8292-465D-8BFF-F484B528392F","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":"ee30607265528af9d2692ee20c226461667f77c5","datavalue":{"value":{"amount":"+0.738008975982666","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":"Q2380014$26AF11ED-D067-4AE4-AC52-25CE55202AA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Commutativity of quantum weakest preconditions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Commutativity_of_quantum_weakest_preconditions"}}}}}