{"entities":{"Q6645590":{"pageid":14256745,"ns":120,"title":"Item:Q6645590","lastrevid":95906465,"modified":"2026-06-05T10:00:13Z","type":"item","id":"Q6645590","labels":{"en":{"language":"en","value":"Quantum Hoare type theory: extended abstract"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7951289"}},"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":"Q6645590$160D7448-AECE-4E36-9816-95A6344DA8C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2466fd0c89a3d2d85ce3c40a89156b4b878b7c9e","datavalue":{"value":{"text":"Quantum Hoare type theory: extended abstract","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6645590$B55D8D80-2666-4B0C-B4DD-D0380D37F196","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c8ddbedcafe660aef1d833ba5c958a9d075dfe","datavalue":{"value":{"entity-type":"item","numeric-id":2148446,"id":"Q2148446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645590$36FDF5A0-CBFD-44CB-B49C-96E4AABC414C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc2c8f8f3863928e18cc22f407908076561c64b","datavalue":{"value":{"entity-type":"item","numeric-id":1854551,"id":"Q1854551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645590$CA8882E1-3111-4409-B865-76B104F45C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0609d9917e6e3ab67a7a5e3d5bbceb01eab6e47c","datavalue":{"value":{"time":"+2024-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6645590$466D7042-58BD-4983-A96C-68057D7964D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95dafbfdd067a3065e14099734ce2ef9a901420","datavalue":{"value":"81Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6645590$51A13A5D-943D-45FD-9EC2-7C00C8F6B9AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a461c6fca7106535e88f4b40a017280ce1b9384c","datavalue":{"value":"7951289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6645590$8768DCC9-AC05-4D46-A4B0-C987D87AD5DA","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":"Q6645590$096AC482-DEFF-41EA-95CD-0B22C5AA6C49","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":"Q6645590$1EB7A6C8-6815-4E13-9BE3-C759C2137AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645590$D9CFCA0C-8016-4B15-ABDC-1DF05D6510DA","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":"Q6645590$1A74A8FC-A875-40F9-9858-74858063274B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbc4f4fef4edb2b5a91f2db7a3249608dc6ad92","datavalue":{"value":{"entity-type":"item","numeric-id":2870206,"id":"Q2870206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645590$A0F1508F-5D35-4227-818C-53B97E1F8C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645590$B7D6D338-A183-4009-B956-85D508E53243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb6364c751dc88f4d5bc4eb30cb4c9b6893b381","datavalue":{"value":{"entity-type":"item","numeric-id":3560841,"id":"Q3560841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645590$212ED918-2CC7-448A-90BA-63FF4502AC85","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":"Q6645590$21CA79AA-CB2C-48EA-A094-1C6FB9673E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa5b39ffa40b318449c3af5a336d8c38885f30","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645590$4ADB666B-0D8F-42E9-B19D-1FB04E41BEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96080269f1ac57df102d277e6fe30615563ee72","datavalue":{"value":{"entity-type":"item","numeric-id":5178765,"id":"Q5178765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645590$823F0853-D264-45A8-B114-3A90A94D6270","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":"Q6645590$1948FCCF-CAB0-4878-971E-3346DF226EFF","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":"Q6645590$AC820BB2-BC84-4565-A9CA-62321C942A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452edf164659bee823fac46e6d93885feda47fb5","datavalue":{"value":{"entity-type":"item","numeric-id":3384934,"id":"Q3384934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645590$66B2CC01-B931-4CDB-A06B-1D55102468C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a4c3e7eb69dd01aad07b9a000be6e4d2c08bb0","datavalue":{"value":{"entity-type":"item","numeric-id":6645589,"id":"Q6645589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645590$D683F4D0-EFF0-4A77-8C36-3FBB78F99C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80de883afcd9431bb736f3f06badd4ad0f036ae9","datavalue":{"value":{"entity-type":"item","numeric-id":5482270,"id":"Q5482270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645590$87DD44B8-5FDC-4B8B-87E1-48B2129F1AF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb9c5e48c3efdb1e757343de1752d88388202d51","datavalue":{"value":"10.4204/EPTCS.340.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6645590$8CE352DD-263C-45E0-B5E4-3905C32F205C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantum Hoare type theory: extended abstract","badges":[]}}}}}