{"entities":{"Q2233434":{"pageid":2244177,"ns":120,"title":"Item:Q2233434","lastrevid":57685692,"modified":"2026-03-31T22:03:24Z","type":"item","id":"Q2233434","labels":{"en":{"language":"en","value":"Verifying quantum communication protocols with ground bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410444"}},"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":"Q2233434$75428FCE-8AD2-4C6A-A4A7-4A339459ECD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b8ca6c44e40a20cfd2b30f86496c38e457d2b5e","datavalue":{"value":{"text":"Verifying quantum communication protocols with ground bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233434$1CB758A1-2AD9-4012-B7DB-78C45261F42D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68319b89357a7424bc9e9cfc451a267bb425e864","datavalue":{"value":"1473.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233434$96FEA461-FC81-48FD-915D-F2C0FC07F609","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19c9124704540fe17c4617ab081133c7714da39f","datavalue":{"value":"10.1007/978-3-030-45237-7_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233434$003155C9-8446-4A56-85FA-4EDCCF803AD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"265f1812c513ca5b8188eb7f32e37cf92e9322c2","datavalue":{"value":{"entity-type":"item","numeric-id":2182672,"id":"Q2182672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$EFE9E558-391F-4D13-8E24-FD3A4C244EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d177350ea8527d9b95839daee05f5817f5ec9570","datavalue":{"value":{"entity-type":"item","numeric-id":1660764,"id":"Q1660764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$F587C6A4-8258-49E5-AA9D-6958F6C221A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$DEBB8BBE-9CAD-45CD-A137-C5B2E050954A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233434$46125A25-D041-4108-BEDE-4463A6E69C45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233434$2724527C-9B75-4221-A246-595EECDC3E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233434$BD93190A-F07E-40AA-BA83-4983752AE8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233434$A93F7342-5C88-4FE4-BC64-043E2179823C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233434$C409EBF9-4320-415F-804E-0591E4350011","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9c87026f6cdab01b8fa1fc8e880b1cdeaa51848","datavalue":{"value":"7410444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233434$1CE30604-CEBD-4242-ACD4-DB88F65667A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb2ff187703ce3a070239b8550e3c90785c95dc4","datavalue":{"value":"quantum process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233434$B9BF8376-E0AA-4D94-B3D1-EE7D085F2184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233434$24FCEFD8-07E1-4882-B94D-3BF284834E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233434$31FF0644-B28D-4C54-B005-7F50AEAF914D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcbdc1e86f14ef3f86be52b5a19cc9b3ec287192","datavalue":{"value":"quantum communication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233434$5901020D-6BAE-4F84-9D79-E559FDF6B6FD","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":"Q2233434$3C4D0EA8-D49C-4074-9C92-835B650CC32D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c59f2a8187518371f501bf8a28f2d4b6bc570f5e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45237-7_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233434$23146AA9-DA43-4562-9C7F-FA4FFA04CD16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16ca0b4a7b68f813391288ea982594bf88856940","datavalue":{"value":"W3016663929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233434$7132FD91-8C9B-4AC8-9444-9CF6A5B5C2BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21cf81e81a62b20e2ff6cf11a1d90b9d3b79b21","datavalue":{"value":{"entity-type":"item","numeric-id":2946577,"id":"Q2946577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$FEE6EF61-3217-47E5-B7CC-212E184CF68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0636fb432a900359a6f8d1f7c4517ee0ebee8012","datavalue":{"value":{"entity-type":"item","numeric-id":498403,"id":"Q498403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$6F9C13E3-F1CA-4ABB-B10B-A91E0343D50D","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":"Q2233434$2368079B-BB5D-4262-BBA3-92E0019F1F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$C060CEF4-A552-4C7B-8A67-A8A9F53A796C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$0CCC171F-756F-4BFC-B41F-8B305BE67697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697d8c5609ca0a0f461107a64b8abe5c6a8543a6","datavalue":{"value":{"entity-type":"item","numeric-id":5482268,"id":"Q5482268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$D1E86B3C-8C70-4940-9C89-8272AE15B285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8b389db16acc61f4ff0c6dc973ab83de12633d","datavalue":{"value":{"entity-type":"item","numeric-id":491263,"id":"Q491263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$8BCE9D39-4864-4A2C-920B-F6E68C69A722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$9539BB44-DE36-4762-9593-B0F1CC984BD4","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":"Q2233434$63E83FA6-870A-4A36-BD02-13FC3ECD7D5F","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":"Q2233434$184AB3EB-3A2D-4CFA-BF12-769A101CE0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b96d5c58a0ca9174f6032bcd47e37d85ea1b74a","datavalue":{"value":{"entity-type":"item","numeric-id":5169970,"id":"Q5169970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$63E0F9D8-394F-43E3-A276-01C733AA224E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4ddeefb67f1d7091549ab025335a769ddd6a36","datavalue":{"value":{"entity-type":"item","numeric-id":2461794,"id":"Q2461794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$DD4BFF0F-9CB2-4AEE-9E99-E5947895796C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f11dd004e431645bb9138ef419b348fe0dd498","datavalue":{"value":{"entity-type":"item","numeric-id":2915165,"id":"Q2915165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$4B15FA40-4A8D-427D-A265-CFC2C3FEF83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9132eb582bb0cb94a8e9effdadcd521c87a3a155","datavalue":{"value":{"entity-type":"item","numeric-id":477162,"id":"Q477162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$937378AD-E2A9-4C1F-9601-A556026B22DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c365e25ffb1da604bb143141e561fe2efa1863","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$7DE18F32-E377-4B7F-BD45-F3F18F4C2C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f68d69f999b5b9a059b8b500977fc988d4f52c4","datavalue":{"value":{"entity-type":"item","numeric-id":4617973,"id":"Q4617973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$16709477-842F-4A2A-A53A-255723D3118F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd78bdeb097f59728cf81576bfd6caab199dfe0","datavalue":{"value":{"entity-type":"item","numeric-id":5357722,"id":"Q5357722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49f870d9aaf7df8a7bd0abc7d7f24af9fd9b31f","datavalue":{"value":{"amount":"+0.8543208241462708","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":"Q2233434$077717D5-58AD-4F0C-9D9C-8CD62D1D9E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f950ae5e1bc55f73536b9044f09c4f2e07c9620","datavalue":{"value":{"entity-type":"item","numeric-id":5408571,"id":"Q5408571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b43c19aebe29869038dbee906a7b47cf12817b","datavalue":{"value":{"amount":"+0.8451914191246033","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":"Q2233434$CCBD79F1-1D52-46BF-9661-6930DDA2E129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c94762f0ebb23f99e7f9af5b4cb7bff302d80f","datavalue":{"value":{"entity-type":"item","numeric-id":2822505,"id":"Q2822505"},"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":"Q2233434$EB9A5856-3B75-433C-BFEC-49D9E6E0293E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179fddce23ed37a4adea82dd31869623b8c26e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3560846,"id":"Q3560846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c9ae59f597953d3cfc8908cb05c62506668f84","datavalue":{"value":{"amount":"+0.8130159378051758","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":"Q2233434$35D78BED-DED1-493C-AB33-48ABDCE08562","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":"8543a3ce76b0cbea03e4c9840aebad5677a78214","datavalue":{"value":{"amount":"+0.8003071546554565","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":"Q2233434$AA92DAD9-5C07-43C5-BF96-47034B36D2EF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233434$C67A7687-3370-4E76-93F7-82F926247143","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233434"}}}}}