{"entities":{"Q6174534":{"pageid":13309422,"ns":120,"title":"Item:Q6174534","lastrevid":58751097,"modified":"2026-04-06T14:23:37Z","type":"item","id":"Q6174534","labels":{"en":{"language":"en","value":"\\textsf{symQV}: automated symbolic verification of quantum programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728843"}},"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":"Q6174534$4B84323F-BB93-45FE-A69C-0F2197CBDC2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55944a69470826dce976c6c076a3b215bfd4446f","datavalue":{"value":{"text":"\\textsf{symQV}: automated symbolic verification of quantum programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174534$01198509-B3FB-4091-BDB6-9C358B899A1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2541961161f79453d7a8f657254e1e8efd0a548a","datavalue":{"value":"1529.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174534$6B161C87-4857-4319-9C07-B622A61477AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1f951044c34f3f0f72f8b204f24baa9b05d186d","datavalue":{"value":"10.1007/978-3-031-27481-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174534$1D05FDEC-9861-432E-978C-72A60A8A0A81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"feac91c250d055d0ea1903f0cf571cf5a44c4e11","datavalue":{"value":{"entity-type":"item","numeric-id":6174533,"id":"Q6174533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$5C05C8D0-88DB-4984-B67D-B0461BB7FFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9093835d0b08b4f8c6e225d8367927d561504b81","datavalue":{"value":{"entity-type":"item","numeric-id":420802,"id":"Q420802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$2CA1BBCC-DE42-4200-93F1-8C42ED5D188C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c306eb228b9c879511d123ab3e00929e1d263c7","datavalue":{"value":{"entity-type":"item","numeric-id":2105417,"id":"Q2105417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$74A1207B-D929-4B45-9D47-21F2B6278D5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$37742FB0-76A5-43EA-8323-58EEC2707C8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174534$A51924B6-E9EB-4AC9-BFDC-00DDFF2715ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac6332af2cca188214d084d590c5effae79f3dc9","datavalue":{"value":"https://arxiv.org/abs/2212.02267","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174534$A858D96B-4DF6-4871-A8FA-DAD0F09C43F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174534$45DA3A66-3CFB-4CE2-ADBF-F1F5A3751362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174534$2CF49D61-1057-4CFA-8252-52ABF4532B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174534$F1C0039E-778B-451A-8294-06500212C16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174534$B3E879BD-DBB5-4538-A1A8-B945F1204D85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52f3f6a624002e8659e322d825798c121c3d2c5a","datavalue":{"value":"7728843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174534$C3DB0EDB-7ECA-4F65-AC52-31FE42072A2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174534$2CCC9D75-CE4B-46D9-9719-2DFB4EFBEDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174534$316C4FB6-FB85-4B6D-BE57-AD502AFAF1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174534$B91C816A-3F2E-4E10-8F2A-2412D0C75BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174534$013963A3-FF1D-47FF-972C-8DA64BA43BBE","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":"Q6174534$AD681509-EA6D-460F-97C2-419AB914E2C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95acc18addd784c6afe702e7f672f5e778341c53","datavalue":{"value":{"entity-type":"item","numeric-id":3385623,"id":"Q3385623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$68B1EE22-828F-4F3A-8878-F5D72A746389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$DE03FD12-D1B0-4F17-B9EB-49018B1D36A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4df1fbe284d5fc9f37495f92c778c1ff839b7d","datavalue":{"value":{"entity-type":"item","numeric-id":2233453,"id":"Q2233453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$1CE58465-7C01-4555-9913-19EEB35CF8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f564db19a981a3a57aec33705555643f788ffbf7","datavalue":{"value":{"entity-type":"item","numeric-id":4967461,"id":"Q4967461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$7511ED92-C107-4423-9CD4-037DAEEA74EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$C21B951D-3C0C-459C-809D-3C049EB546AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"538648d7b90d65521cf8abbe022d0b3e52b88dde","datavalue":{"value":{"entity-type":"item","numeric-id":3002797,"id":"Q3002797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$49156261-10DC-4683-9DC6-D1F2D3811913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e33f415b292b1f9feeec7aefd60bf439d08b92","datavalue":{"value":{"entity-type":"item","numeric-id":2908499,"id":"Q2908499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$8F00C6D4-68FC-4FFD-99C2-AE94FC325D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$B1F794F2-E12B-440B-BBA4-71655FF8D4D4","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":"Q6174534$0CD04DC9-0B7A-4FF8-B899-441CF8831988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7bdad72047ed9d33667f3daad935eaa5b4f7773","datavalue":{"value":{"entity-type":"item","numeric-id":6099610,"id":"Q6099610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$C2FF3D6A-1880-45BE-BF99-DBE52CA18F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96e3cd73827723a8dc982d846104e251d12bb4f","datavalue":{"value":{"entity-type":"item","numeric-id":6154880,"id":"Q6154880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$B0A53886-33D8-412D-A630-A2E48E15B8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120536d436ac02ac55ba09d0d5ef00e334808cfa","datavalue":{"value":{"entity-type":"item","numeric-id":6165773,"id":"Q6165773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$BE236466-611B-4461-B8DE-239DF1D4204A","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":"Q6174534$283CFCBB-1D1D-4A55-9A3E-7B419EC228EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$6FAC583F-96EE-44CB-BF17-E0998A008BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e194fd5d50acb378b801bdc31f6fcb44d1092a9a","datavalue":{"value":{"entity-type":"item","numeric-id":3384929,"id":"Q3384929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$CEDD5A35-8E39-4202-9054-636D752FCDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf8d495c451508305cdb95eaf5ba926efab7bae","datavalue":{"value":{"entity-type":"item","numeric-id":5565112,"id":"Q5565112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$3F063E17-771B-4C63-8135-F7668652843F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c982cbb5e59dc7e2ae30800c6f4d626a4d47b8","datavalue":{"value":{"entity-type":"item","numeric-id":4376179,"id":"Q4376179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$DC842709-161C-4E0D-8421-1AD263D25BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d8dd153e5c3dff43324e039207df2202547806","datavalue":{"value":{"entity-type":"item","numeric-id":6487301,"id":"Q6487301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174534$0A91B812-0183-48D1-87C8-79B5AB27ED33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fb7918dccfcb3b8ff2f330c4cc3d5d853e8b83","datavalue":{"value":{"entity-type":"item","numeric-id":2233453,"id":"Q2233453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56411193504a59c4ed93d44b14f2acac6b7aa6fe","datavalue":{"value":{"amount":"+0.8122203946113586","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":"Q6174534$FA115F1A-76EC-41ED-9AF1-919302F57F78","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":"8becf71d6fd6d9ef19e5ecdd05fde7aec2127682","datavalue":{"value":{"amount":"+0.7900097966194153","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":"Q6174534$6628C6AA-CA67-482A-A207-373553D73B54","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":"ca32b717ddd7c808aec7bb44c8b67158909992f2","datavalue":{"value":{"amount":"+0.7850478291511536","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":"Q6174534$61C917C5-6BEB-4F35-9CD3-8DAD2155E3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c866290744c354bd63472cd720dd423ad1e431","datavalue":{"value":{"entity-type":"item","numeric-id":6089500,"id":"Q6089500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b95930d6d0dbf6f9fe7021de7b7b2f6105950c","datavalue":{"value":{"amount":"+0.7735093235969543","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":"Q6174534$5BD55731-51A8-4066-BFED-2E29511C45FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"029081e43723b2fdec877c78876c6e76ca5b7c4b","datavalue":{"value":{"entity-type":"item","numeric-id":3171609,"id":"Q3171609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8f23c61bd11a67e24a237642cb6de75d430a8d","datavalue":{"value":{"amount":"+0.765677273273468","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":"Q6174534$2F26AAA6-C599-48DC-B7D6-5A4E32A6CE6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174534"}}}}}