{"entities":{"Q3384929":{"pageid":3395632,"ns":120,"title":"Item:Q3384929","lastrevid":58157376,"modified":"2026-04-04T01:12:11Z","type":"item","id":"Q3384929","labels":{"en":{"language":"en","value":"\\(\\mathcal{Q}\\)\\textsc{wire} practice: formal verification of quantum circuits in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447787"}},"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":"Q3384929$0AE356FD-8716-4CF0-B243-B8D025EC0FD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea9f15c2a82a908707dd2ba7dfa5bb8d0d58b1c0","datavalue":{"value":"1486.81065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384929$4963DBAE-8B01-46C5-8023-C72AABE2D1EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-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":"Q3384929$A7C480FC-790B-4805-8137-B075B2A0798A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44f02b0db91e8a1cce6f0a91966d89ed7856ab2d","datavalue":{"value":"https://arxiv.org/abs/1803.00699","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384929$80D4E740-8053-4265-800F-0CF0B8BB1A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d57eec3d867d13c7a38c507087926351d2b8baf5","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2017.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384929$762D42F6-6605-43EF-84E1-6063CDF99527","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384929$5607F006-4153-40E7-A439-ED6116C5A0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384929$925BE41D-0F9D-4F9A-9D05-277E887B9E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384929$3A5FB3AC-5E68-43A6-9E29-4C20C2ACEA07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f0f039b84a4b2bdc5e2d041b8d01d655afe6e6b","datavalue":{"value":"7447787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384929$6C170575-94CE-47E7-A567-7AF8AAEC4E56","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384929$2DDDDAD5-900F-41BD-BA52-E5F0413E8491","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":"Q3384929$67C8A24D-5A35-44DC-85F5-603CDA67223E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8155d4d1e6279e5e3721dff5b402522e8767200","datavalue":{"value":{"entity-type":"item","numeric-id":2164204,"id":"Q2164204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384929$5EF0AE92-2F4A-4DB9-B5EB-4D2A00563F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5a7e6ac670e3a59be91a1dedb7e84424f42bd8","datavalue":{"value":{"entity-type":"item","numeric-id":5015189,"id":"Q5015189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384929$E4FA3E17-1A22-4EF5-A632-6162095D8FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b80111de9bab56ff28e1100701384da844fd72","datavalue":{"value":{"entity-type":"item","numeric-id":2018661,"id":"Q2018661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384929$972581AA-E231-421E-B68D-BE7B3641C2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8712f1bc207788f59922bec79e7d5594f8f5eb3d","datavalue":{"value":{"entity-type":"item","numeric-id":5482269,"id":"Q5482269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384929$310CDC14-0410-47E2-BFC6-2DD1487AE572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0dd98707b6eaad19f68a7dc4719e12007f2fab","datavalue":{"value":{"entity-type":"item","numeric-id":3067742,"id":"Q3067742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384929$89338AA4-034D-4294-A1A7-DD43F3BF34E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f933bc25a716aad10a4b75bc37eda092a661fca1","datavalue":{"value":{"entity-type":"item","numeric-id":5370918,"id":"Q5370918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384929$96CA734C-4702-4D11-82A0-37CDD1F8FBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9888c3757ab243ad1f0c597eea02a6445700651","datavalue":{"value":{"entity-type":"item","numeric-id":5109520,"id":"Q5109520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384929$D780D370-48B7-40DD-BA06-997823179D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e450e2fb7829d72f2fcdc0f87161c2634a97d1","datavalue":{"value":{"entity-type":"item","numeric-id":3560839,"id":"Q3560839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384929$4FD63BB8-6F21-49E0-8B3C-CC0650464026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219d29e1e41c1bee6866c983e77a50e191407469","datavalue":{"value":{"entity-type":"item","numeric-id":2819826,"id":"Q2819826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384929$0F9DAAA0-2CFD-4161-B857-CD22C55C5B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02542d2a90308e552922ee3f9d075428394b647e","datavalue":{"value":{"entity-type":"item","numeric-id":5370916,"id":"Q5370916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384929$7D2E0D89-7EB4-47D4-B9A6-1B3B3EE3741A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c71300b1208c3dc84a1825788f4a11d90f4e92","datavalue":{"value":{"entity-type":"item","numeric-id":5370918,"id":"Q5370918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8fc65c59c485fdc13ac41b5f5878ae52956111","datavalue":{"value":{"amount":"+0.8141329288482666","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":"Q3384929$07196037-BA04-4030-BD88-CCB2004316A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6540e904a3c3597a9cb4003dfbccf528833732f9","datavalue":{"value":{"entity-type":"item","numeric-id":2331074,"id":"Q2331074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc30ab6087438f7692f3cbb45345bb33e1a1191","datavalue":{"value":{"amount":"+0.7688173651695251","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":"Q3384929$28FFB70F-C96F-4C72-A9EA-D16551782D70","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":"385c7e660fa81f0c720a8eb93d2083fd87904963","datavalue":{"value":{"amount":"+0.7646746635437012","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":"Q3384929$575417EE-D54A-4A7E-8A49-B38E910A38EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85d60efc50eac686dbbc47282fdddada2057138","datavalue":{"value":{"entity-type":"item","numeric-id":3384934,"id":"Q3384934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad6501ff522c05cff6bf1116518e9d8e7fe1a1c","datavalue":{"value":{"amount":"+0.7600704431533813","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":"Q3384929$4EC2B584-CE8E-4667-B7C5-A8EE5D193AAB","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":"945c1d3eefd5bf28c0b265dbb2382fcf75143b75","datavalue":{"value":{"amount":"+0.7417877912521362","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":"Q3384929$69EAE521-98FC-4829-9751-C7EB22F70F88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384929"}}}}}