{"entities":{"Q3186602":{"pageid":3197310,"ns":120,"title":"Item:Q3186602","lastrevid":52589549,"modified":"2026-01-23T01:29:47Z","type":"item","id":"Q3186602","labels":{"en":{"language":"en","value":"Towards quantum programs verification: from Quipper circuits to QPMC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6610609"}},"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":"Q3186602$8E5880C5-DD10-4FE5-8B4B-BFB832756F96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fc717e425b85ad89b16f4d5424c1ed8ce93731e","datavalue":{"value":{"text":"Towards Quantum Programs Verification: From Quipper Circuits to QPMC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3186602$5A76A424-DFE9-45E9-8F5D-F55FAD98A9AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba3ba2b22dcc4b672b37f65a70d05e880e498f79","datavalue":{"value":"1480.81028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3186602$4BC33E4B-2DEC-4E72-A17B-4DF9A748C74B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48f031b372b43b0e1688bc463cb2431b167368e0","datavalue":{"value":"10.1007/978-3-319-40578-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3186602$FC45408F-B71B-4C3C-93E8-CC78A27F3920","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ef3d5b6c7af43f08918777f78c2951eec0561fd","datavalue":{"value":{"entity-type":"item","numeric-id":3186601,"id":"Q3186601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3186602$6BCC5418-4EFD-4265-880B-DA1001598950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2960711d7df6d2be52b6449e5f402fc00a9829dd","datavalue":{"value":{"entity-type":"item","numeric-id":526432,"id":"Q526432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3186602$E8F7A1E8-983B-49EA-BC11-A2143ACF719C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3555014eef6a4a1d4ea2f415a5473ef5cd753e84","datavalue":{"value":{"entity-type":"item","numeric-id":2307805,"id":"Q2307805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3186602$4B610213-F826-48DC-87EC-64D3B2B1DFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a2df4c9c185a830f3bb11dd84a837b0bb6e787b","datavalue":{"value":{"entity-type":"item","numeric-id":1031863,"id":"Q1031863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3186602$7EC64CF6-77A5-4B4B-8DEC-CC781FAAB360","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a717b5be1a91222f4c61369f09045de11793bfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2822486,"id":"Q2822486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3186602$DEE375A7-43D0-43BB-880E-7F0E34B750C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3186602$A96A5548-5A00-46E7-B79C-507033FDE70C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3186602$310EE778-F899-4978-86CB-352648EA4FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3186602$2912AD5F-E75C-4A5C-B9C9-F97D51DDAFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3186602$25FE51E6-CF54-489D-AD8F-9C31EC71F277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3186602$30E1A92C-5276-4006-B9A3-15787F1AE839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3186602$BC8CB3F6-0567-486B-92E4-BE8E16EC7322","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39e7a058d6b574a9d4245691d4da83152d6c6e23","datavalue":{"value":"6610609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3186602$A24FC940-9717-43AF-9147-312CE27D722A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55949b3a7f9ada1d27f49beb1a07f000b8d69e86","datavalue":{"value":"quantum languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3186602$A0CE20E7-C601-4AF2-9DF1-86C3F1FF9BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f4f3206a970f2347542a3cd16dbe4b81d5e9296","datavalue":{"value":"quantum circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3186602$AF5260C6-4A94-408A-B248-927CE7C87FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3186602$63B18985-952A-4C44-9041-59E8281BF17E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3186602$0087BD9A-BA3B-490A-8882-5FC1095F3818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f6061a26f0021fd565872d3f51665f1ce6598b6e","datavalue":{"value":{"entity-type":"item","numeric-id":54938,"id":"Q54938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3186602$954918EF-DE3C-47E3-B4EE-CA9128A591DF","rank":"normal"},{"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":"Q3186602$1ADB1AA4-3743-41CA-A467-488BA651FDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec624d1a038e4817fb3fc38fd976b7bbe661ccfe","datavalue":{"value":{"entity-type":"item","numeric-id":21873,"id":"Q21873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3186602$D10E7C93-DA5E-440D-BFEA-993A6626D168","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":"Q3186602$F8ECBC6D-EF01-4ABB-B56E-12039DD1E7BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7b7f9b1619d76f4fe3eb9140370d83cfae52a53","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40578-0_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3186602$DE0A5C3F-DD12-4AD6-8836-C7DEE36810F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c941fca8d1851d24c3106dc3bbe25b2041d81c3e","datavalue":{"value":"W2476844526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3186602$93FD4D45-0CF5-47F6-B77D-5AB11B199AF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8000bf33d2a7b07859c02c191450efa31a03ee7","datavalue":{"value":{"entity-type":"item","numeric-id":394340,"id":"Q394340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3186602$E3D4CD5F-3A5F-4F59-BCB3-7CC0A97C924B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568943d5b96d1f467e4d8a532a3c4ebafe045410","datavalue":{"value":{"entity-type":"item","numeric-id":3560846,"id":"Q3560846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3186602$DFFEBA57-EFB7-4869-B439-0CA2D6FF85D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67f4f0b42c5d01363eae21bced4a80941606e06","datavalue":{"value":{"entity-type":"item","numeric-id":2868442,"id":"Q2868442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3186602$6098D993-128C-4CCC-B59B-A23EA4B88D51","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":"Q3186602$CE8C4161-8DAB-43E2-A09C-1A6D3566D56D","rank":"normal"}],"P1643":[{"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":"890e2cb4f6ff393395bf9c1cf11790f013744e91","datavalue":{"value":{"amount":"+0.8253107666969299","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":"Q3186602$42AB513B-B289-487A-88D2-BFEE922068B6","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":"d50c87dfcd94e4ddb428e1f0dae59e179216bc75","datavalue":{"value":{"amount":"+0.810455322265625","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":"Q3186602$DE1B6BD9-7900-43C1-A343-266FCB2779CE","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":"304803ab6eb9c82b81e3dae2b9c25f6e3a187d0b","datavalue":{"value":{"amount":"+0.8054746389389038","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":"Q3186602$FE9B639F-E13C-4216-ACAB-AD81943C4415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d7eddd1dc1d4f550639a30d2d24e234deacd12","datavalue":{"value":{"entity-type":"item","numeric-id":2868442,"id":"Q2868442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16850cef1c5040c884897391b77e6c83f6a9ab8c","datavalue":{"value":{"amount":"+0.8027819991111755","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":"Q3186602$1E33C0BB-76F9-4AB1-9BD4-BF0A19BF51FC","rank":"normal"},{"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":"b06877eaa40920c0e705de6ec86f4b73cfbf2470","datavalue":{"value":{"amount":"+0.8021555542945862","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":"Q3186602$2996ECD4-37C7-42CA-9899-63E65A076172","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3186602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3186602"}}}}}