{"entities":{"Q2822505":{"pageid":2833243,"ns":120,"title":"Item:Q2822505","lastrevid":79488629,"modified":"2026-05-06T14:01:41Z","type":"item","id":"Q2822505","labels":{"en":{"language":"en","value":"Equational reasoning about quantum protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631936"}},"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":"Q2822505$121A150A-F7A4-4958-BF2B-383C324ADDCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"722e6bb88af2ec359273338fec91edab3517d82f","datavalue":{"value":{"text":"Equational Reasoning About Quantum Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2822505$FBA72522-B5C8-43F5-80C7-47BF3000B994","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51db7a36da566dadd41f3c522290814724ba5b48","datavalue":{"value":"1464.81018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822505$9B5EFA4E-AADE-4842-96C7-2A73423CBCE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4463ce8ef1ba3c6a7cf5a812a8a2dafa692686e","datavalue":{"value":"10.1007/978-3-319-20860-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822505$1E4DE6CE-7B23-47A6-B0A0-6828023821E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cefa032af08f2eecae604a95058ed282c56957e","datavalue":{"value":{"entity-type":"item","numeric-id":2822504,"id":"Q2822504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822505$450A4265-2249-4332-B71E-A003A7808D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"321ca6e544834c17532b59a2fec765e641824743","datavalue":{"value":{"entity-type":"item","numeric-id":859840,"id":"Q859840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822505$894989A9-9066-4A89-8171-8345ADCB7387","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a717b5be1a91222f4c61369f09045de11793bfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2822486,"id":"Q2822486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822505$83F8BD03-BA72-463C-A840-8C8C91215D1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5560ccf859e7ec21722beff92f5465d154a667eb","datavalue":{"value":{"time":"+2016-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2822505$60C0811F-CAB4-4B7A-8216-0F7992F1293D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3aa69ec9437a45a872bd563980e99019bd83bf15","datavalue":{"value":"http://eprints.gla.ac.uk/109016/7/109016.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2822505$3D9582E2-3005-4981-B469-B1E746A91C88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822505$927DD91E-FC3D-4C4E-A3CF-75586E7FE47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822505$A1C11E3E-4555-4CA6-A23F-91CB7A2C94BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822505$D61E83FE-9703-4138-B00A-08E87846387C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822505$5AA443CC-9255-4300-9305-0231E2DCC11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b9aeea8c95ff42029280da4849e4722d64bb32c5","datavalue":{"value":"81P70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822505$0EDEF5C9-7486-4C89-BBF3-DFC4B9836897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7b959e36e52c7b395683dbe2d4c658b32b677b86","datavalue":{"value":"81P94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822505$473A796B-009A-4B84-9605-B20CB4CA3AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822505$A6C7ADA9-A5FE-4DB4-AEA8-7C1721251FF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f608dfa4bba6951bc67b283c445f804bb4d30171","datavalue":{"value":"6631936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822505$DCC36C0D-B9B9-45BB-A18F-C91F8B45BE38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2822505$FEDE7366-6E5A-46D0-BD8E-A92CCD6EC9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2822505$907E3F51-5F64-407F-8B17-9D206489F22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e190e0c818ba8f37dd1c8e5548960ef04d5d37a8","datavalue":{"value":"quantum process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2822505$EA3BFB0D-13AD-4F0A-B0B7-0196911F1350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2822505$AD7AC7A9-B6D4-455E-A803-36FDB37AB5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2822505$48928A87-D997-4FBF-A6F2-DE3090F902EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2822505$D2053C73-33F2-448E-B5C6-355601DC021A","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":"Q2822505$7D9A8E4A-B084-4D06-B817-3F8439B303A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bac892a45b2c68f4573c52db4ce546b677f360dc","datavalue":{"value":"W1810325849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2822505$55B298D3-FC69-4489-869A-E27E4B049BB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"908c3498d3323c664ff6aeaf3d27c1da11e2f860","datavalue":{"value":{"entity-type":"item","numeric-id":4986182,"id":"Q4986182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822505$8813B17F-F3B7-43DF-BE27-C10DB1357617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad7a3baf555da33445ac4311730bfea7d3cf878","datavalue":{"value":{"entity-type":"item","numeric-id":5408571,"id":"Q5408571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822505$8D705358-2093-4B17-B677-92799688120F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4364a79860672afeee7842125a89a35b61150dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2868454,"id":"Q2868454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822505$2D523540-F104-4FDD-966A-06A42D5E4A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b690d3860b4275ff34a0b7c15155a0ecc779c305","datavalue":{"value":{"entity-type":"item","numeric-id":4995158,"id":"Q4995158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822505$81D64910-BED2-4DB9-9C9D-4F4E842A0A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2165011b7c5eb0683e8726f8b356b8c8128b0bb6","datavalue":{"value":{"entity-type":"item","numeric-id":5276142,"id":"Q5276142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822505$7B188B6F-765E-4EA7-8B82-AB4DFB5735FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d559045d65706b300b6bc3f6afe3d798af7a5007","datavalue":{"value":{"entity-type":"item","numeric-id":5482266,"id":"Q5482266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822505$05F942D5-F0F5-4D8D-BD10-EEFB1BF0DF1D","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":"Q2822505$2AFB34E4-BBA6-4342-81DC-965247F530C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f876b843060f7bd2407c7bae6d97e6264d0713e1","datavalue":{"value":{"entity-type":"item","numeric-id":3196618,"id":"Q3196618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822505$A0F99AA4-5C40-44D8-BCAF-7175C1D085F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822505$09AD8FB2-0F22-4F2C-A40A-1107697AB474","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":"Q2822505$7F053D81-031C-4D6D-89C2-D2EF9E1D4E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd58d63a2b56cff568cb61a05c2e695ff3a15767","datavalue":{"value":{"entity-type":"item","numeric-id":5415667,"id":"Q5415667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822505$65364DEF-DC5B-4AE8-B0EC-371743EAAB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2822505$AA426A68-294E-4A3A-BA73-B779613130F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ecc4ee6e19d06dba44e051b860d50b9d9c87d6a","datavalue":{"value":{"entity-type":"item","numeric-id":4986182,"id":"Q4986182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1096695314332e86b3b2747802c70b7fa4b9378b","datavalue":{"value":{"amount":"+0.8307070136070251","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":"Q2822505$9E872426-6A4F-4FE2-9AED-6C6A64F5F73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d387e5c8602875b1da160532dfb22673e2ea201c","datavalue":{"value":{"entity-type":"item","numeric-id":2233434,"id":"Q2233434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84aca20438c714dbeed287a8c4431c7de1a22c34","datavalue":{"value":{"amount":"+0.8249095678329468","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":"Q2822505$9DF5F9FE-213F-4800-808C-2C37D9CA49C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f15d2a8cfbe9221fbc3383a7fdbb2e1ee67888","datavalue":{"value":{"entity-type":"item","numeric-id":5276142,"id":"Q5276142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e5776e551a1f421462ab21baff69856b9e5dd3","datavalue":{"value":{"amount":"+0.8013116121292114","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":"Q2822505$83CD3944-9A53-4EB2-A967-796205D361B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1125edbe8b2a753ffcf46275a565594c35cc65e5","datavalue":{"value":{"entity-type":"item","numeric-id":4922086,"id":"Q4922086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c559e46b4ca2a5ad22ffd7c850991045feb66e0","datavalue":{"value":{"amount":"+0.8009734749794006","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":"Q2822505$E7D7AB25-C985-4F00-9E16-8586AF515A47","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":"bea595c9952c3b4e4c22d03580f05b7c95ee75e0","datavalue":{"value":{"amount":"+0.7882986068725586","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":"Q2822505$D3D62E70-921A-4725-B878-946B0248D74E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational reasoning about quantum protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_reasoning_about_quantum_protocols"}}}}}