{"entities":{"Q6654512":{"pageid":14265669,"ns":120,"title":"Item:Q6654512","lastrevid":55813063,"modified":"2026-02-17T23:14:58Z","type":"item","id":"Q6654512","labels":{"en":{"language":"en","value":"Quantum Hoare logic with ghost variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959719"}},"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":"Q6654512$9A7B0EF3-5023-43E6-BC22-18B634B7C05F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22c6452acf19f7ada1c04d35953ad769e6ff4914","datavalue":{"value":{"text":"Quantum Hoare logic with ghost variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6654512$69DECA17-7504-4C64-A73F-40A0AD47BFBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9df637bcaf9eee328c07dfef58838c70ec62115","datavalue":{"value":"10.5555/3470152.3470199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654512$FF4AE551-2E7E-4590-9FAF-DBA3E847E8C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18ef15e82b5f9e7f05d089fcd210cef42e599a45","datavalue":{"value":{"entity-type":"item","numeric-id":391315,"id":"Q391315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654512$FA57D350-3D34-4FA2-B737-3303DCF057EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e986e57a46b356e61a6b4db9acbb203ad87efab","datavalue":{"value":{"time":"+2024-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6654512$BD673AD5-8B63-4745-8BA8-F512634995BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654512$C618B6A7-C645-48B4-AE73-AEB1EADE25BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654512$E048C585-ADB2-4C16-A04B-69ECE38FEDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654512$C03A4FCA-9158-4779-8049-CF5B17AB3D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654512$D4CB4272-7AEB-4C2B-87BB-5C22777CD8FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eaf3126d3e54d6e0e083ff7a7ed791e1c143a6aa","datavalue":{"value":"7959719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654512$79B9E19C-9289-41B0-B437-BEC0EA2EA615","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":"Q6654512$A76943A8-C50C-46BA-B1AE-DC4BBEEFEDA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28d11c36dd15a1a276bed4db32bb14b1920bd52e","datavalue":{"value":{"entity-type":"item","numeric-id":6154880,"id":"Q6154880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a2bd3bbd9f6f46d663e1d2d52560897a5c2592","datavalue":{"value":{"amount":"+0.7571366429328918","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":"Q6654512$C15F097F-4AAD-4127-A3B3-11E2E9D9ACC5","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":"770f14632bf71d76524c9f9e9d5f3349207ed9e1","datavalue":{"value":{"amount":"+0.7570695877075195","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":"Q6654512$5F954D6C-3F33-45A3-9C31-80F8E5CC3D64","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":"65c4c974f382a563ff309471c991a8902c73f06e","datavalue":{"value":{"amount":"+0.7442428469657898","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":"Q6654512$342FAF57-1D46-486B-BF88-E53A54573AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f082ec02e2bfa23af5add14cd378c56e1997a9","datavalue":{"value":{"entity-type":"item","numeric-id":5482272,"id":"Q5482272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3694146d4b586e587040d3213194f0ca614ad7f4","datavalue":{"value":{"amount":"+0.7406085133552551","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":"Q6654512$CCFD27D0-4613-45D7-BF1C-A7CA556902A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d44f25c7e1585c0874f71c4b6b36ccd72c253d1","datavalue":{"value":{"entity-type":"item","numeric-id":4674239,"id":"Q4674239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf027ce40b4ff496bac0e6110d01fe9526510a5c","datavalue":{"value":{"amount":"+0.7252370119094849","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":"Q6654512$57FCB8ED-EDAE-449C-BA57-314852E93585","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6654512","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6654512"}}}}}