{"entities":{"Q2455601":{"pageid":2466344,"ns":120,"title":"Item:Q2455601","lastrevid":50196041,"modified":"2026-01-13T11:59:05Z","type":"item","id":"Q2455601","labels":{"en":{"language":"en","value":"Proof rules for the correctness of quantum programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5205004"}},"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":"Q2455601$27284D32-A892-437A-AA89-B16DD7983467","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0334877dc125f41808a5ecea6bf1cf3622ac7af","datavalue":{"value":{"text":"Proof rules for the correctness of quantum programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2455601$63AEFA9E-1CEA-4676-997B-424CCADA8D2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a67935c5f14f224e20af2d6b4e5014609369022","datavalue":{"value":"1137.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455601$BF705F3F-7971-4B9E-A9A3-421ACF19DE42","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":"Q2455601$B43CE9C1-083A-4C66-9288-7ACC7B9F1171","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":"Q2455601$AFB660FF-C31F-496D-B7E7-29BC18BB648D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0d147fb6eb1af4040631a8094aa297594923f9","datavalue":{"value":{"entity-type":"item","numeric-id":775953,"id":"Q775953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455601$2431D510-EBF8-4E62-AB60-09C6EB766C6C","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":"Q2455601$BBCFC8B6-2EBF-43F3-AB86-00C7133DC2D0","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":"Q2455601$8ABA6F74-FF90-4C45-BBCC-937532637F30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3397489ec4154028d8339b56d4b9209837408e3c","datavalue":{"value":{"time":"+2007-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2455601$B6BD5682-6C4A-401B-BC4A-96476DACD7C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e8fe9da3d4c3c393b319b9c425e92dab0f7e6bf","datavalue":{"value":"http://hdl.handle.net/10453/9015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2455601$6B6CAADF-545F-4A72-8180-D65D3A296773","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455601$A8C34C6B-71C4-40B6-84E8-646B65960472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455601$457A8491-F9BE-458D-A4CB-2B1AA84FE171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455601$B2D4FD5F-A299-4E14-8153-325B35B308B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72234bbfe4fbbc8f2a7f4e681b00d2b9061a018c","datavalue":{"value":"5205004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455601$84A47673-36F3-4341-9DDC-0420AB103E60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f076df0201ee0901ae7626f5cf280ac0f1084bf","datavalue":{"value":"Quantum programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2455601$9B91C86C-8D99-4AD8-BED5-C89A7FF32068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63fb2fc9b47f8e0e675451d8f1401282fa4c1cb6","datavalue":{"value":"quantum predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2455601$40C36654-8DC4-4A95-ADBB-00E9D4126311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a015f7b6b7246c502b7bb175e3ad332cc5a08b4","datavalue":{"value":"quantum loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q2455601$5E56979B-9B61-4E3B-B621-2668ABEFF53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3719ed41893672db063f7cdecb5bcd68172db4a4","datavalue":{"value":"proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2455601$34590F29-6FB5-4C08-9DA4-7D6B0FDFD046","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":"Q2455601$5EE06550-C813-453C-836F-DFEF1BAAE849","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":"Q2455601$1A536358-350D-40FE-8A0E-F1066E0AB1BD","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":"Q2455601$2E3CB380-A69E-498C-A800-216CEEF3CECF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8e0195c66dcc4eb84eef50555ee5e18bc9fa555","datavalue":{"value":"W2044912742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455601$C571C8A1-A28E-4956-A8FB-26A3389B1A99","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89660bb72df74cf07bd9a6589d64d82e547ef5f","datavalue":{"value":{"entity-type":"item","numeric-id":5175952,"id":"Q5175952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455601$137258A0-2A06-4918-B710-7D707C94FAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455601$8B32E429-F4F4-4AF1-9805-800AACA45CD0","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":"Q2455601$E4119672-7AFE-4708-A020-0F43F701C850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455601$051BE3F2-E91E-4AE3-9434-77987CECED9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6a71dba194b785f56a46133e3f797603b5dc96","datavalue":{"value":{"entity-type":"item","numeric-id":3322961,"id":"Q3322961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455601$EC0ED03F-892F-4520-A4AF-C215558E10D1","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":"Q2455601$23930A01-F3BA-447A-9775-A04FB0568090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e70a46df6bd961b87332072844cab9b2ec8e762","datavalue":{"value":{"entity-type":"item","numeric-id":5958768,"id":"Q5958768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455601$64E82C6B-5914-41B9-9002-8156DCB7E7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455601$AE384B1E-2335-40C8-8FCF-49682351837E","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":"Q2455601$751F938A-8067-4039-8401-A1B5DAF8A106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e92a52a10cf1dd5d38214cbce6c4ce4a0cbf5d8","datavalue":{"value":{"entity-type":"item","numeric-id":5308007,"id":"Q5308007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455601$CC34B056-F72E-4098-92D1-B559CAE1FA52","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":"Q2455601$8F04EC24-EDCD-4223-8E6C-9E27C2C99F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2dfc51927e8f915426af36c9186a844ee08ab84","datavalue":{"value":{"entity-type":"item","numeric-id":977174,"id":"Q977174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455601$17E35131-A051-44FE-9F35-206D5A9A77BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88a206a35c7e7333b52509f942e92a6e68c1be9","datavalue":{"value":{"entity-type":"item","numeric-id":2864175,"id":"Q2864175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455601$79BA1ADD-65BB-4C40-A3AC-DAB492715B50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecab4462419f9f91acf94ccf4df39a1de258aaa6","datavalue":{"value":"10.1016/J.TCS.2007.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455601$9729B65E-A9DB-4FFD-B297-41687B7E0FAD","rank":"normal"}],"P1643":[{"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":"4e7f8a003e1d0793ebf977044e9e32c4d9a186b9","datavalue":{"value":{"amount":"+0.8188229203224182","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":"Q2455601$D61ECE6B-4FF0-4E62-921B-D22D522296AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01173cc8d3c17f7a1d5f04d06691be918d828b30","datavalue":{"value":{"entity-type":"item","numeric-id":2851315,"id":"Q2851315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed1d952a84880b773148e04f2259d1603b233b9b","datavalue":{"value":{"amount":"+0.8166163563728333","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":"Q2455601$2198054F-D8F4-4B41-8767-F9E15693DBEE","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":"afa73281ffc1fd88422dc577b39271074fb132dc","datavalue":{"value":{"amount":"+0.8124722838401794","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":"Q2455601$FD70D375-1E48-46CB-AD88-5D035F35854A","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":"79fb552b9851c16b4bb6ca8fd87a0be207063cee","datavalue":{"value":{"amount":"+0.8025866150856018","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":"Q2455601$C1CD7730-34A2-4302-809D-FFD3152B9FC9","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":"9b056155b2eaf5536b965d38de3074dfbf338f7c","datavalue":{"value":{"amount":"+0.7955965399742126","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":"Q2455601$B951DBE9-95BB-4B90-8FF3-0A225756E159","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2455601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2455601"}}}}}