{"entities":{"Q6546614":{"pageid":14157768,"ns":120,"title":"Item:Q6546614","lastrevid":40552662,"modified":"2025-03-06T15:52:31Z","type":"item","id":"Q6546614","labels":{"en":{"language":"en","value":"Automated quantum program verification in dynamic quantum logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7856040"}},"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":"Q6546614$2563EE3D-3047-44AD-9D31-0DFDCC123D46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd323f23f4809b78ec9a8996e5dfdf670852d6fe","datavalue":{"value":{"text":"Automated quantum program verification in dynamic quantum logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6546614$3D37F942-62E8-4241-A032-76BE0C4B11F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5789d72ab0332b651c38ab7bffaab526931b4369","datavalue":{"value":"10.1007/978-3-031-51777-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546614$C5C00480-F9D8-4C37-AF6E-8D401094F6C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4938f5ef51e6057de59ab29098ccb3993d671a49","datavalue":{"value":{"entity-type":"item","numeric-id":2241024,"id":"Q2241024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$26D2E087-D536-496C-AD11-92975D20D9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8747cf49b5a8182f82547430d37566b39053ed","datavalue":{"value":{"entity-type":"item","numeric-id":2119964,"id":"Q2119964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$35A15DC3-F333-4E30-B49C-B25A16B8FE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c8b8152eb049581c2538d13b0e2ff0fba8e40b","datavalue":{"value":{"entity-type":"item","numeric-id":520242,"id":"Q520242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$CF3693A2-D5C7-4CB3-8EE8-013CBD5A94E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6546614$B4109B06-2A66-450A-BC45-04878CB6C255","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546614$11DFBB80-BE63-4F2A-93CA-A5C22DF3D220","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"765e8e5bf549701135de6414ad1cadf8d452ae2e","datavalue":{"value":"7856040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546614$B4D110FE-DA23-4ACC-A117-3379CDCFAEA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f50128b4fc8f39169f3ba59ce77e9e20812524df","datavalue":{"value":"dynamic quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546614$BA132F7D-C11A-4389-AF67-78F2FA638ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"996aadf7d14ed254586edb3da154503a83e56787","datavalue":{"value":"quantum programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546614$3825C099-34C5-4DFC-94E7-EAE5E41BCC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5676b88c5bbc05f1e4a6f3540823bc460f6c6f07","datavalue":{"value":"quantum protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546614$13D6D369-E543-47F1-A4E6-9551BAC4B329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546614$F93A7A5C-EEF2-4C09-97AA-5B8C5F027C2C","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":"Q6546614$CB89FA5F-F43A-4C8C-90B6-AF154FF1FAA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"806883e214d43ddef8864767086842c06d49398c","datavalue":{"value":{"entity-type":"item","numeric-id":5482272,"id":"Q5482272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$15266622-5CEE-448F-B694-595EA5DCF02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795a0cbff2a91c0b9c8af665ae177194522eaa08","datavalue":{"value":{"entity-type":"item","numeric-id":472733,"id":"Q472733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$7AB8BF96-A16A-4AB7-8A8E-9CE74A544477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe9d1d109696519069e249b71c52e6b5ea5973a3","datavalue":{"value":{"entity-type":"item","numeric-id":4492159,"id":"Q4492159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$C0B15533-E315-45C2-ADF7-13022001EB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f30012a2c904fec15c864547e67e9d3bd3816ad","datavalue":{"value":{"entity-type":"item","numeric-id":4491992,"id":"Q4491992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$3CAAD923-31C8-4488-8F51-176F6C4CDCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6435a6c6d8f265b66518d21876950a953dba66","datavalue":{"value":{"entity-type":"item","numeric-id":1701681,"id":"Q1701681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$AA617610-C634-45C7-B407-AA55E6D8E80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1195a27bff72a62438cfcf0a55297e0334f1e97","datavalue":{"value":{"entity-type":"item","numeric-id":2645405,"id":"Q2645405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$AC88A049-E6E8-4338-953F-CD6545C6189A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$A2430181-1C82-46B0-BF8E-9770B49CCAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52eca1530cddb463f88d18acc823cbcfac9037cc","datavalue":{"value":{"entity-type":"item","numeric-id":3101369,"id":"Q3101369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$78569BF0-5D12-47B6-BFBD-2B7EA1B49848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568943d5b96d1f467e4d8a532a3c4ebafe045410","datavalue":{"value":{"entity-type":"item","numeric-id":3560846,"id":"Q3560846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$AEE5E2DC-6506-4A14-8E18-5CB06F0FC027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ecb2d92c20807d3735fc6e5660d70756c657799","datavalue":{"value":{"entity-type":"item","numeric-id":1239315,"id":"Q1239315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$7ECCBB7F-B577-48AB-94B5-0F03A9B165D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$64F26BC0-93BE-4595-BF3A-5104BD60510F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a40c9a27d321ea22bc8421cbdca3a16f77f7312","datavalue":{"value":{"entity-type":"item","numeric-id":2560812,"id":"Q2560812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$EA06AA2E-107F-4727-8E04-25CCEF874B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800308e0d81c1005889f5ab5a091b4b0cd51f513","datavalue":{"value":{"entity-type":"item","numeric-id":5348016,"id":"Q5348016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$9767A85C-5AA7-4647-BF24-59F02E6ACFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2737e8d4322f9f87afda426facd81d5c8bc2f98","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$C7865743-733B-4EE9-92B3-1D60FA3A453F","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":"Q6546614$5483FFCD-959C-4E5D-A6BA-9FEA91624E46","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":"Q6546614$5503AE93-03AC-467D-87E2-2BABBC9455D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb1db40a7569a4a0bb4206e766e0ff8ebb1f5cb","datavalue":{"value":{"entity-type":"item","numeric-id":1266246,"id":"Q1266246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$51D93D5F-DCEC-47A4-9748-D96504D6AE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2dfc51927e8f915426af36c9186a844ee08ab84","datavalue":{"value":{"entity-type":"item","numeric-id":977174,"id":"Q977174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546614$AD3E437E-C314-4CB0-B8F2-0F10E1FD6E8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6546614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6546614"}}}}}