{"entities":{"Q5370916":{"pageid":7400490,"ns":120,"title":"Item:Q5370916","lastrevid":41671038,"modified":"2025-05-07T00:42:02Z","type":"item","id":"Q5370916","labels":{"en":{"language":"en","value":"Invariants of quantum programs: characterisations and generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794697"}},"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":"Q5370916$9D53FDFE-4F6E-403E-9A71-7B35D76B55A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14de80e94e12c32cbfa183887519f6213048b5d1","datavalue":{"value":{"text":"Invariants of quantum programs: characterisations and generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370916$F9DED835-E358-474E-9A29-201C198573CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3fcc1ce6095cd55ddba89a2bb7cedda1db213a1","datavalue":{"value":"1380.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370916$09A2399D-0C1B-45B2-A44F-B6F6FD8A1E08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6f9af05aa3f03b9b37a00ad5935af3c8204e0be","datavalue":{"value":"10.1145/3009837.3009840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370916$364017A3-909E-4DB2-8100-CF0C809334C6","rank":"normal"}],"P16":[{"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":"Q5370916$114E1035-8E54-4860-AA81-C8A6FEEAD7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51ef920fd33eb08e8725259b4528f2371044d507","datavalue":{"value":{"entity-type":"item","numeric-id":320193,"id":"Q320193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370916$A748A972-91D1-4A9D-809C-19320789B285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccb8f29f41ca7530ef24c91e237cea7161e861ea","datavalue":{"value":{"entity-type":"item","numeric-id":354657,"id":"Q354657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370916$D99147FE-CE70-4F01-9461-C786C7A8AC59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370916$FE52D458-6A4F-478E-9999-EC869CC09134","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-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":"Q5370916$D1803431-54A3-469D-976A-110EC7E357F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b920d579462466ca6a3da4f22595222751c72f5","datavalue":{"value":"http://hdl.handle.net/10453/127333","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370916$B0DC689C-09D9-4D2E-90B7-F6F038AF4336","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370916$825580D8-2932-4001-A780-E4717AB6C6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370916$94D54068-B8B8-4EE3-ACAA-52CAA151E4E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de5e39e52710f82a618391b6a0b5154f2191fe3f","datavalue":{"value":"6794697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370916$98E6836F-CEC5-4906-8FAE-45C0E3625EDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"120651316a0505db449221e2a59731e8297a7415","datavalue":{"value":"inductive assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370916$6E25FE64-26D1-4401-B41B-5B91E7FB69D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4824208d7bba949dd72987d32ffb13493eeb0e","datavalue":{"value":"invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370916$74071ABB-5817-4F70-A80E-8A767829AF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370916$712FC8BE-3901-4217-87A4-E9DB169F3C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a434f71eff49c935ec3dc4390f7da0a0a94521c9","datavalue":{"value":"program invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370916$FB2E6EA1-F5BF-49FB-9056-698CEDF060BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fdee470dbbb1cf7986bbcb0c71a5b313b719c1","datavalue":{"value":"quantum programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370916$C837563A-FFEB-43E8-A272-528D2EF2F784","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":"Q5370916$67DB77F5-B575-4D1C-8FB7-BC90E70D862C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21a387d58e6e277def500386c73140c138d943c5","datavalue":{"value":"W2562491126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370916$392E2588-A3B3-4E3D-A0D1-CD29165BB566","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f1e2254469d7ccba60d2757681b70b22c2165931","datavalue":{"value":"Q130921519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370916$334369BB-05A8-4479-99B1-DBE46E97B194","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c2d1b87264d9943d23e58f2125563ed2a98dfd","datavalue":{"value":{"entity-type":"item","numeric-id":5014792,"id":"Q5014792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c81c3b79b3a48866a54a7af17e5affee10ea80e","datavalue":{"value":{"amount":"+0.88022256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370916$59AEDEC9-9951-466E-BBEE-4424DA051A10","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":"b6ffdf3bf5f0780a1ae5f0965337784e06f474a8","datavalue":{"value":{"amount":"+0.87200147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370916$2ABA114B-C479-47EA-B9E3-5D0E87FD62D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48687482cff0c88cd6a8d8c3d6b11c6852faf19","datavalue":{"value":{"entity-type":"item","numeric-id":6053407,"id":"Q6053407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9667e23800311f24ebf87b8b855637c5ac3f1ea","datavalue":{"value":{"amount":"+0.8707304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370916$F3BF05D1-9BBC-465A-BB77-7B188118A0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a685235d8a8189325a0df5b6c236f9435fe370f","datavalue":{"value":{"entity-type":"item","numeric-id":6091186,"id":"Q6091186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da0dfa4f8b84b8039710d9f6d161f23caa7a8fa","datavalue":{"value":{"amount":"+0.87045306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370916$00B82AAB-9ADE-45A2-89B3-9A4F25329253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604857cf924a0ac17c6f0fbe8c10a04bb96bb7cc","datavalue":{"value":{"entity-type":"item","numeric-id":3186602,"id":"Q3186602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5ad8ea42db5466e5c1d7e643348bbdbb0538895","datavalue":{"value":{"amount":"+0.8699254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370916$63ACAB42-A9C4-4C91-B79D-EED1E8933279","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":"c2500103a6e215829d30eed929f294cc38052998","datavalue":{"value":{"amount":"+0.8675153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370916$3FC3ADF6-A1D3-47F6-A705-2D8D1268931E","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":"6a46eb450d4010bc4f4fb7f71452eb5e489784dd","datavalue":{"value":{"amount":"+0.8669201","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370916$F4460F77-CF30-414C-84E8-F9A74CA4BF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f9c443ffc29024f275191f30b87f409290d7fd","datavalue":{"value":{"entity-type":"item","numeric-id":3651285,"id":"Q3651285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d83d9a01c94bdf9bd17d83d12c7ffbbba4fc0e","datavalue":{"value":{"amount":"+0.8642267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370916$F8042A0F-4D2C-4E40-A8C5-502C35563626","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370916"}}}}}