{"entities":{"Q4688901":{"pageid":6718481,"ns":120,"title":"Item:Q4688901","lastrevid":97982123,"modified":"2026-06-05T15:59:18Z","type":"item","id":"Q4688901","labels":{"en":{"language":"en","value":"Verification of quantum programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6961733"}},"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":"Q4688901$60ABDD5E-CA69-4E07-95C5-0515FB968A3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b1c9ca34c46c4fa830f98504fdc196eab435d16","datavalue":{"value":"1413.81005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4688901$3C9F965D-35B4-4D09-8A89-6AC03EAFBB85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff0ca495cf139845d01d02d871d3828dc4028019","datavalue":{"value":{"entity-type":"item","numeric-id":389707,"id":"Q389707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4688901$84363325-CF06-4772-B2B3-622D8C92AD5F","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":"Q4688901$6604EC9C-3C0E-422C-9ACA-D8C0B70B0D13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cc1ec03d92652744a67d558a8c7ef5930869e38","datavalue":{"value":{"time":"+2018-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4688901$9DB83F35-9BDE-446C-B36F-0ECDE98D52B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0f40f35dc94984654280701e807723478a4234f","datavalue":{"value":"81P45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4688901$F85CA051-19D7-4C4A-ACC2-66986162B84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4688901$3338414B-87D4-416F-893D-1043FF1D03B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e8c4e0031ac0f087e89de151f18ea1a870eb8a5","datavalue":{"value":"6961733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4688901$47142D26-4EDF-4EAB-9B10-7C6D37530B16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4688901$89C81F3B-42B8-429E-8176-513139E6F726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4688901$B1116E7F-5BEE-4A14-97E2-800C579B64FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4688901$C3902C47-0EE5-4AE4-8DBC-219FAF239FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d5a779ac0920e24af5a64d5062a97f095faa16d","datavalue":{"value":"verification of communication protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4688901$77EFBB22-A5D0-4528-88AE-7C4160E3131F","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":"Q4688901$254E8494-288A-4143-8322-34965D6E1043","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f519d8f6e2a869a7714ae867a2989a9a9bd95b3e","datavalue":{"value":"10.13328/J.CNKI.JOS.005536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4688901$34400BA3-5952-4F8E-B79F-65C6CEC6E130","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d519f2ee7c1aecbda81c19cdde56518b08d4a2","datavalue":{"value":{"entity-type":"item","numeric-id":5072611,"id":"Q5072611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941973016830a53aef7bbcfa378794e3a60e511c","datavalue":{"value":{"amount":"+0.8100643754005432","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":"Q4688901$85F7F6AC-AF90-4A7A-BD43-10EE2021774F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d0208789d2151cd55f1e622ca9a8db94ececcb","datavalue":{"value":{"entity-type":"item","numeric-id":5326347,"id":"Q5326347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1017446177c17ae121124599351dc14b79960cd1","datavalue":{"value":{"amount":"+0.8042182326316833","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":"Q4688901$46BB1DF0-ECBE-4CF1-83EA-BE5F3960DEFD","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":"2ea37ce0221f003192d26eb7015a4d3cb08089e9","datavalue":{"value":{"amount":"+0.7997252345085144","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":"Q4688901$0423B010-FE8A-4E1C-AC27-0867783E8032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24f257ed4ff1e6a031a80ff3fd605c1f2eb93fd","datavalue":{"value":{"entity-type":"item","numeric-id":4617973,"id":"Q4617973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d11349b7eb98f31e7827eba78b33f507d083c04","datavalue":{"value":{"amount":"+0.7925015687942505","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":"Q4688901$BBE0665C-2357-4A96-9157-72E3299BA0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c7fe952212f46f3df1c6e72df84e26cd4d51e4","datavalue":{"value":{"entity-type":"item","numeric-id":2311888,"id":"Q2311888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df61f5b4303914b13f288b25ded8c477cc0a8681","datavalue":{"value":{"amount":"+0.7906180620193481","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":"Q4688901$B49470CD-EA6A-4B86-9343-AA2DB03378F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of quantum programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_quantum_programs"}}}}}