{"entities":{"Q2055965":{"pageid":2066707,"ns":120,"title":"Item:Q2055965","lastrevid":54163361,"modified":"2026-01-26T09:21:32Z","type":"item","id":"Q2055965","labels":{"en":{"language":"en","value":"A proof system for disjoint parallel quantum programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437217"}},"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":"Q2055965$4E8F98B7-52AE-437F-B9A0-E61EE0AD4E9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b7779ac5610240767def3300422544c0ea06988","datavalue":{"value":{"text":"A proof system for disjoint parallel quantum programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055965$E5BDE469-599F-4C70-A123-401830593084","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13e033bd708c5623709263faf2f85b4e6ff98c93","datavalue":{"value":"1478.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055965$424C965B-D85F-4728-B823-35873DB0E90B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80245229656faa3251721b885e53d2b76c0eca43","datavalue":{"value":{"entity-type":"item","numeric-id":370859,"id":"Q370859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$B79020A3-ED86-4374-B091-2D9983FFA3BC","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":"Q2055965$CCAF91DA-6685-4AD4-81C4-4FD7FB31132B","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":"Q2055965$6EA37912-EE2C-4505-B75A-0F39CCEC6419","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":"Q2055965$CD221CB9-634F-4E1A-AC35-C688B59E2EB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$A486B687-8337-43D9-A552-F00D96430C8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2055965$717FE919-3133-464C-B62E-8A5B3DC9BAE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055965$C686D51C-5C23-4A12-A00F-BE811CF26112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055965$D78EB10A-AF43-468F-B47A-56C34EF4FBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055965$448C1CCE-7811-4E27-81CB-7CAA95DE90F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055965$B2306225-AA74-4EED-9B46-DB8F6B14B746","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c2caa7237911097e75fd9a91f64f803e4fd38cc","datavalue":{"value":"7437217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055965$13D0B059-8462-4F62-9634-03F6A6C8AE6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fdee470dbbb1cf7986bbcb0c71a5b313b719c1","datavalue":{"value":"quantum programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055965$1666C9D5-5F08-49FC-9ECB-D56AFCC10C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d83ea1f819ee2cce2764c37de782f275ba41ed","datavalue":{"value":"quantum Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055965$7C59F040-1CA4-4E45-B86C-18C9053E7859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855af08d63de68a214880a14dc080a2a72230738","datavalue":{"value":"parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055965$8D0A9CCF-8EBB-45D1-B908-E2CC88EC984F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b694d36b948337c72a5e04888d93ce1784f020","datavalue":{"value":"entanglement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055965$CADA12BD-3FF0-4468-A2E4-6096FD8DAA58","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2cdee464fa69151ceb248705ac4b83e9fec1ef97","datavalue":{"value":{"entity-type":"item","numeric-id":46356,"id":"Q46356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$91C8F555-FE23-4AF0-A280-68B6C49DD307","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":"Q2055965$A59F5435-B886-4199-9D6C-CB3F304A2B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ee7097530b526ec3748f2b77773af8d6139eeb6","datavalue":{"value":{"entity-type":"item","numeric-id":39363,"id":"Q39363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$47E0D998-5055-41C1-B015-E68E6C0EF38C","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":"Q2055965$96AC28F2-F3D1-4B32-82A0-E2B62697EB4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb56cae6e10a9397d8a09b93d60c01bd5bb7ece6","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2021.10.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055965$4186A774-4633-43AE-BE1A-25C2261E8813","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b8716c1bb272dce496cbc8ffbea32a0da8ae972","datavalue":{"value":"W3211906515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055965$978CE8D9-D3F2-45D8-ABB2-976091C3A03A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$BF85AE02-DC44-4CD9-9E8B-EA541C032A6D","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":"Q2055965$456E3F2D-BC69-42BD-80D8-5410422BE204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91885fcb39a6de1d357344c5a52487701b49c126","datavalue":{"value":{"entity-type":"item","numeric-id":5362139,"id":"Q5362139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$3A202EFA-7586-4BC3-9C28-884582349EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff1664bd322ae283aae5df4c046d1dd8fcb73ad","datavalue":{"value":{"entity-type":"item","numeric-id":5218670,"id":"Q5218670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$87BF1493-D366-41DE-BAEE-932338D53EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87698a40e3244338bc2d7836c00d1dcfedd99851","datavalue":{"value":{"entity-type":"item","numeric-id":4674239,"id":"Q4674239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$56302FE0-51A9-44B1-87AB-3FCF35A99190","rank":"normal"},{"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":"Q2055965$FE29ADAE-FF36-4AFC-822E-80D983260E2C","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":"Q2055965$A3E7831E-FE45-4292-AFBF-99E3C9F22A60","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":"Q2055965$B267DDF2-DF8B-4480-BE3C-0ACDF5465A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3acc6836721d6606af372ec3d71a68908f062012","datavalue":{"value":{"entity-type":"item","numeric-id":3077043,"id":"Q3077043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$99D2A971-63A2-4BB4-917C-E0A2EFEDF279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19b008e1cd3a5cfd3e5339ac95b028670118326","datavalue":{"value":{"entity-type":"item","numeric-id":3656843,"id":"Q3656843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$88ACBEFE-A5B1-49FB-B9C1-659733584945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2083e260015375a14b53226e3d66865cbd9918a","datavalue":{"value":{"entity-type":"item","numeric-id":3607613,"id":"Q3607613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$0D3339E9-8060-4BFA-B054-C2C788C5A1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$070BF47A-6F39-4BC0-A0D2-696AEF300A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56837a1fc6eb0faa79164448f676e27c2193c5ba","datavalue":{"value":{"entity-type":"item","numeric-id":2784481,"id":"Q2784481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$CD2DB2EE-BA4A-4899-8CF8-E6918CBC925F","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":"Q2055965$50ABA1F5-EF8B-4B29-A246-94029BA21C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94fb6f8f1f78bf5f677a34347e5d10d985336655","datavalue":{"value":{"entity-type":"item","numeric-id":4140351,"id":"Q4140351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$8E61A41F-1B86-4480-AE44-B7B014B4058D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$1B64F99D-AF52-44A4-B76A-AE679F3F563C","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":"Q2055965$0E684B69-3535-4952-B3A9-57BB0873D600","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":"Q2055965$14DD45DE-7A8B-41F3-9589-2C54A8502A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ca15f909b86a8e2dad2d4e4dd12c398096dcc0","datavalue":{"value":{"entity-type":"item","numeric-id":667515,"id":"Q667515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055965$48018814-D7F4-47A9-A1A4-91E99DAA7F7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26aff8f0ede6b70771785a5965dd072262e63580","datavalue":{"value":"10.1016/J.TCS.2021.10.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055965$A9D8A8DB-BD32-489A-B1AC-41CB27B36A4E","rank":"normal"}],"P1643":[{"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":"c9933763be5c84d1c102d7f47290a6f5cad46bdf","datavalue":{"value":{"amount":"+0.7807972431182861","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":"Q2055965$0E644D8C-8A72-42E8-9139-244DBD422D2A","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":"7c22f89f878ff52aaeede20e97c10c0ac98345b5","datavalue":{"value":{"amount":"+0.7791814804077148","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":"Q2055965$F8E82F05-3B2F-45F0-A8B9-F31E092AFBD9","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":"98850c6cecedbe6600349eb89093e3663a472ed7","datavalue":{"value":{"amount":"+0.7684788703918457","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":"Q2055965$00120F4C-5E6D-46F0-8B7A-B8F873E44EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7398d4dd251660c0b1f27c91bf235db959d45c4b","datavalue":{"value":{"entity-type":"item","numeric-id":2721095,"id":"Q2721095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f07d2b422325456876f53f214b3938992e77c21","datavalue":{"value":{"amount":"+0.7625388503074646","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":"Q2055965$DE4A00C1-8F4D-4F41-AB2C-7D9997B0B92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2af56573341575bc87fad7c3c1eec6e93a8dc6","datavalue":{"value":{"entity-type":"item","numeric-id":2123052,"id":"Q2123052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe79aa2a6d55531100801a922871f3f8ec1f106","datavalue":{"value":{"amount":"+0.7599326372146606","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":"Q2055965$96A13B03-5C22-4427-98F3-00E47267EFCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2055965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2055965"}}}}}