{"entities":{"Q2914364":{"pageid":2925084,"ns":120,"title":"Item:Q2914364","lastrevid":84990605,"modified":"2026-06-03T05:27:48Z","type":"item","id":"Q2914364","labels":{"en":{"language":"en","value":"Reachability and termination analysis of concurrent quantum programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086170"}},"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":"Q2914364$F71D5429-5804-4A9E-A2C9-BBF0D719363D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc019cf47b7b276cd10492f4a155271414065941","datavalue":{"value":{"text":"Reachability and Termination Analysis of Concurrent Quantum Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914364$6DEAFF92-50EB-42BC-982C-24A1B1A6724A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d728f1f6181ed95365ff5971302fe4790340724","datavalue":{"value":"1364.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914364$3177FA3B-F319-4A49-A3C8-53FE07C0F06E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7fafd5d816eb36250e81fb79b6408fca7f4e1a5","datavalue":{"value":"10.1007/978-3-642-32940-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914364$8C85FD9B-EB7B-4CC8-9FD9-C259E1C78495","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9418492b9a53572d730c464429fece14fd18d15c","datavalue":{"value":{"entity-type":"item","numeric-id":394339,"id":"Q394339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914364$1CA52E7D-4480-47DC-BD5A-1DE79ABC7ACF","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":"Q2914364$9E64B8D6-1F9D-41FA-97F7-67CA00C40805","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914364$6CE41DAF-081E-413F-A673-8E2B3DB15977","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-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":"Q2914364$58858345-077D-4231-A03E-0CCC6C847B4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1c9272b032d2a61fe165590f2d38bfc42a7910c","datavalue":{"value":"https://arxiv.org/abs/1206.1935","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914364$33A5893E-8248-4869-823C-2A9F385D3F29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914364$0CED30AC-FE43-4C3C-B201-8E117AC2673E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914364$94FC46F4-9385-4D08-9185-D5A4E482A7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914364$68137B29-BD9D-42AC-BFC5-F92F972B7118","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78d35c61f4f2500721d1d8f0bf29990637829d79","datavalue":{"value":"6086170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914364$FA1B6369-4C5A-453A-9E56-CD33129B1080","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0a85fc687d5a2030ca309942325a5872eec67b","datavalue":{"value":"quantum computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914364$A3063628-3B7C-437E-9AE7-3C17081E4D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914364$82157D42-683C-4563-A4BD-028572B09E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914364$01A53712-78ED-40D2-929F-59C9FD1A333D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914364$752CFB63-A887-4E42-8401-CEAA27ABB008","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":"Q2914364$C6AF77E3-8D61-4312-805D-8E4BA3095F52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83213e99731e6eeac39eb727972bc20278244635","datavalue":{"value":"W1665191561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914364$B933A511-EB22-49E7-8CFA-2AC31A8149BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86fb2e11428624811fa78bb9cd4d4c778242ae41","datavalue":{"value":{"entity-type":"item","numeric-id":2849927,"id":"Q2849927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dba98fb6c40fdca2a1924a329aeb35caf332542","datavalue":{"value":{"amount":"+0.8404982089996338","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":"Q2914364$C889A4FF-2B26-4A3E-BC95-3A7657674BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d5305865ec7bd0a6f7d580382c86c1c5a54460","datavalue":{"value":{"entity-type":"item","numeric-id":1627964,"id":"Q1627964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e69ccd6c14bcf3479ea49992194c7e96f76d1aa","datavalue":{"value":{"amount":"+0.8374674320220947","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":"Q2914364$5D8610A5-7850-4532-B5D1-F8134B606376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d30d6ff85f2138f6cb796dce4cb880d83a0e3761","datavalue":{"value":{"entity-type":"item","numeric-id":2453979,"id":"Q2453979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598da366c6eb9233bde51ecb5e5f491a1acff858","datavalue":{"value":{"amount":"+0.8374304175376892","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":"Q2914364$202AB123-97D4-4295-A9D0-83701ADBCD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9268af1228dc1fffab7a66a3a213a91b13c43a7","datavalue":{"value":{"entity-type":"item","numeric-id":2842118,"id":"Q2842118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd0ad58023624a19418bc5bed49978eb282139a","datavalue":{"value":{"amount":"+0.7993672490119934","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":"Q2914364$C94AC5A5-7822-4E36-A807-679E66D25F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"413aeccee157c4927d37efd15ce742d12f602d6c","datavalue":{"value":{"entity-type":"item","numeric-id":5277422,"id":"Q5277422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5937f5340131d2512f243a225660c1aaba8cd009","datavalue":{"value":{"amount":"+0.793237030506134","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":"Q2914364$EB212F71-6F30-445E-B4C4-02A4DC4159F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability and termination analysis of concurrent quantum programs","badges":[]}}}}}