{"entities":{"Q6649432":{"pageid":14260589,"ns":120,"title":"Item:Q6649432","lastrevid":40613178,"modified":"2025-03-12T13:37:23Z","type":"item","id":"Q6649432","labels":{"en":{"language":"en","value":"Quantum weakest preconditions for reasoning about expected runtimes of quantum programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7954819"}},"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":"Q6649432$3FDC8F31-A6D7-489D-89CD-9B7208383AD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"056f0eff5f46d3cc0424cf669f7d647c7e25ab4a","datavalue":{"value":{"text":"Quantum weakest preconditions for reasoning about expected runtimes of quantum programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6649432$74E2E6AB-1BF2-4B1B-B953-DF5180EEABAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e814c331257b6af503fcae4a54e3a4cc6b4a348f","datavalue":{"value":"10.1145/3531130.3533327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649432$A03F57A2-0ACD-42B5-B77D-6C04F215866B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f46485302acf326aee298047403a846cbfc1595","datavalue":{"value":{"entity-type":"item","numeric-id":2109934,"id":"Q2109934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$5934680A-3379-48D5-B28E-CE7EA27093EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"316e3c5e74d535bee0e4310b9aee722ffaa01a93","datavalue":{"value":{"entity-type":"item","numeric-id":6538046,"id":"Q6538046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$22FABAF8-AB34-460B-AE55-393B947A253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$1B25493B-3621-4B14-BAE3-47DF0D639C18","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":"Q6649432$91BE986C-1B14-4886-BD7E-717832F0452C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66247bf01cf793896a6bcf8ae45be2cb3774bdfc","datavalue":{"value":{"time":"+2024-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6649432$3B11F156-5E28-457E-966D-5A0985BF82FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649432$4B4923C8-2D23-40EB-8153-A6E92CAB619B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dc1ebefc79b3986bc629efa6c6a8b9c3f381733","datavalue":{"value":"7954819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649432$4B3E76CD-9879-4993-A92C-E87CFC916B5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fdee470dbbb1cf7986bbcb0c71a5b313b719c1","datavalue":{"value":"quantum programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649432$982D175A-7B8A-4A29-9936-42E29626DD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"168490bd678f4e3acda2112e1833e6957f4a5055","datavalue":{"value":"expected runtime","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649432$F7EC1705-2E74-4D9E-B135-6FFAD65D1631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5596f4fb339434aa4003be51b4b7f87fb23cadd1","datavalue":{"value":"physical observable","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649432$409112F0-1467-462F-A9D4-0C62606A4AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e50b09b681b2554792340cffc39d6336234cb1","datavalue":{"value":"quantum random walk","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649432$0D2CE9D5-02E9-447C-957F-84C4C3ED9515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f597e7189678dce09fd90899ed1a8d3979d2eb","datavalue":{"value":"quantum weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649432$AA8AB637-562D-4944-AA0C-1FA30B4AE005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649432$52296DD4-93A7-4FFB-8107-B5E179A8ACDD","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":"Q6649432$B3F28350-7A9B-4F56-B68E-75479DC73D7E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ba6b469c9e3706c0695b0d7f3270e21cfdf2107d","datavalue":{"value":"Q130910802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649432$2BBE6755-2E24-41B6-A8E9-B3237CE940B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89660bb72df74cf07bd9a6589d64d82e547ef5f","datavalue":{"value":{"entity-type":"item","numeric-id":5175952,"id":"Q5175952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$C618D031-3C5D-455E-8C29-556D736A2B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b2301ef5f39b64f12d93f7e4a6b854524fff1f","datavalue":{"value":{"entity-type":"item","numeric-id":5454249,"id":"Q5454249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$E82D252B-E58A-4EC6-A882-021C641FDDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ed22b34278f9ac5d8a30c686ac7b957209f377","datavalue":{"value":{"entity-type":"item","numeric-id":5448636,"id":"Q5448636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$F8927D2E-8A69-45FA-91E3-915D8F6A074A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a26982e88cf4da1ef7b62b2f361e483e2788d654","datavalue":{"value":{"entity-type":"item","numeric-id":5175951,"id":"Q5175951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$6BC25467-775D-4BC8-8D90-EAAA27DCEDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d7af813a5a2af0c3679174b1220c231bfe9dc1f","datavalue":{"value":{"entity-type":"item","numeric-id":2323973,"id":"Q2323973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$A2C0521B-CA6B-49ED-AFD7-B9AB0D6D658C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b0d8d0247bb8494eb578df8c41d16cf4be39de","datavalue":{"value":{"entity-type":"item","numeric-id":743128,"id":"Q743128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$F50A12AB-CECD-456A-9D33-A723C0709EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e5b36780812d2ed162154e8d7283eee8fb4de5","datavalue":{"value":{"entity-type":"item","numeric-id":2164211,"id":"Q2164211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$FB0A194C-E050-4E15-B9B0-86882D06EC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f442b44a5300f388694262d8d6b4cd8f6502665d","datavalue":{"value":{"entity-type":"item","numeric-id":5716917,"id":"Q5716917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$F849D943-C65E-4CB1-986F-D02E79EA650C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c103723028a60f8291cd0c5eddb1aba60472acd9","datavalue":{"value":{"entity-type":"item","numeric-id":2802432,"id":"Q2802432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$0FCDA99B-6002-44B6-9A23-2D0D5C03A106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af90d678e70e3ab0071afdbfb682f24ca7747552","datavalue":{"value":{"entity-type":"item","numeric-id":2151240,"id":"Q2151240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$C3F78AB3-B319-4074-8117-2AFA67A8AA71","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":"Q6649432$50D74A89-FA08-4257-811C-189D9CBFFBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7893ed5d3aba2a0e9c180ee9558e3db29fd25b2f","datavalue":{"value":{"entity-type":"item","numeric-id":5371954,"id":"Q5371954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$2A0D59C4-72AE-4C27-B4D7-E283B9DF8BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b30e10a59468867e8b86b1455807334bf0a58f6","datavalue":{"value":{"entity-type":"item","numeric-id":5277843,"id":"Q5277843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$645F1414-7E93-45A8-82EA-924DC6C6F807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553ee7283f3b0a96a7490f4f9bbef8b86ee91775","datavalue":{"value":{"entity-type":"item","numeric-id":4902474,"id":"Q4902474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$551064EF-2250-4638-B09F-0B1B3B0DC516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43404ec2d41a8c402f2500bd778d3e2740e76c76","datavalue":{"value":{"entity-type":"item","numeric-id":2802489,"id":"Q2802489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$B4429EE2-AF0B-4947-8AEB-423B110E5501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242981f17c00df13a619d8bfc5459a0605635e93","datavalue":{"value":{"entity-type":"item","numeric-id":4625651,"id":"Q4625651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$0A1D84AF-66FC-4EF0-AD1C-D6135183D77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c829aa2f994162a3e002dd053215388aaff539","datavalue":{"value":{"entity-type":"item","numeric-id":1994696,"id":"Q1994696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$ACA8221A-EB9E-47D6-AE3E-2BADDAFE7E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$85D25FBE-763A-435F-BBFE-EBE88EA7CA5B","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":"Q6649432$209762AE-7164-4430-95F1-4D7CCB3BF0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86703a297e6de2f8b1c4a5b835dc2dd73a5a096f","datavalue":{"value":{"entity-type":"item","numeric-id":1091122,"id":"Q1091122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$0CB20E59-E9CD-42B0-9A7D-13D78DB24D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683f90529f8a5594d9b7284a834cd4b1de56a60e","datavalue":{"value":{"entity-type":"item","numeric-id":4635928,"id":"Q4635928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$DA3416FE-DEB4-4F2B-8335-D1E8B3921660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75bdcc58d95c4fe32c84d49328383256e60a88a6","datavalue":{"value":{"entity-type":"item","numeric-id":1703924,"id":"Q1703924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$88D095D4-0C14-4761-A1A6-200D63E56437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c17d539b7c9ee92845ce47b64cb19704817b5c","datavalue":{"value":{"entity-type":"item","numeric-id":2721095,"id":"Q2721095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$EC60AEAE-1CB1-45B1-B676-1708246FC6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e3166c702946f2401b3476066fee9ebe1fba7b","datavalue":{"value":{"entity-type":"item","numeric-id":4818937,"id":"Q4818937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$7E8F0CD9-5DAA-4224-B9F8-0D771F0A7BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b212f6531ee943cbd0d87eabe7a0d706c8df26cc","datavalue":{"value":{"entity-type":"item","numeric-id":2802465,"id":"Q2802465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649432$1CD72821-E22A-4900-B123-56B24AD23706","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6649432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6649432"}}}}}