{"entities":{"Q6551718":{"pageid":14162873,"ns":120,"title":"Item:Q6551718","lastrevid":55680199,"modified":"2026-02-17T20:54:47Z","type":"item","id":"Q6551718","labels":{"en":{"language":"en","value":"Branching bisimulation semantics for quantum processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7861417"}},"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":"Q6551718$5E83E108-56B4-4395-8397-49D1046DBE2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fc50ca4798637a47a1ec6aafe2bf6c692f664b8","datavalue":{"value":{"text":"Branching bisimulation semantics for quantum processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6551718$DF4AE283-4955-4B65-9287-3D0A820A38CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d5a614b2a69ad903a08141686fd2fb1c1adb8c2","datavalue":{"value":"1541.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551718$9C05ECED-9E24-49D4-81CE-EB8A765CA589","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2658294755fd85af739f00089ddacd56b6b7bce6","datavalue":{"value":{"entity-type":"item","numeric-id":722008,"id":"Q722008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$A54BB1DF-6A74-421F-B45A-EF759B739632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7846c04892cf2293caba0b7a88178a21cd24abe9","datavalue":{"value":{"entity-type":"item","numeric-id":2055957,"id":"Q2055957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$EBAD6A38-FEA6-453F-947E-23EC16352533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"305b2bcf00416be73ae4524e8c92930a75724b71","datavalue":{"value":{"entity-type":"item","numeric-id":2026373,"id":"Q2026373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$B841A8B8-4C53-4A06-A944-16DBF28B2FA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$0F891701-2A73-4BB9-B697-F6B03FE8A474","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ebbfebbde9e44ce8411984988976e62e4323a","datavalue":{"value":{"time":"+2024-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6551718$1980230B-90C5-4821-82BF-456360F30CB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551718$7755CE41-76E4-46F2-AD49-F020528DA0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551718$A09AB9CC-B452-4F20-A26D-F4017ADDD3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551718$DB80D755-1791-4C5E-B92E-0A2EE7085C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551718$C38E9860-E35F-47C5-A850-C0804DE04F3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dba88087d7110988d5fc4a18a54d11084cf7dc60","datavalue":{"value":"7861417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551718$568C2448-AE2F-4FDA-9A01-10B94F0B5505","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551718$BA641F62-18EB-4F65-8729-B7DE6266D2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb2ff187703ce3a070239b8550e3c90785c95dc4","datavalue":{"value":"quantum process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551718$2CAF320A-CA97-4D70-9120-FF1D0DE77AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551718$1DB8B03F-7047-4577-9077-548E0431EF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551718$F524FA7C-1FBB-4379-91D6-F3C98040B70F","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":"Q6551718$AFBA8450-28E3-47A3-BEE0-91D637810355","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ddd70adb898992a0a52ba8ed78c1e961e471e0","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$5E740EA6-9102-4D76-8BF9-A5519B2575A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac89da4f5dbeb3286fa41b17f8ddfae599ed1c7","datavalue":{"value":{"entity-type":"item","numeric-id":783681,"id":"Q783681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$C71D85BA-A4FB-4BD8-85FE-901C2A1906BE","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":"Q6551718$68320FF9-0EB5-4117-B46C-540FCD3B3943","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":"Q6551718$8EE8508C-2080-4F05-87F8-C6D749E5CCDC","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":"Q6551718$8552A85A-5C26-45C9-A384-934C4E663AD7","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":"Q6551718$D0A1991A-8867-4D0A-B165-41DA8965AAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3e9fbc6a1ab00423fa4af5093f0c63c12d0a12","datavalue":{"value":{"entity-type":"item","numeric-id":896903,"id":"Q896903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$04212B46-1662-4144-AB3B-FEB17D167B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445048480dfb4c3e616600614a54290d80025c42","datavalue":{"value":{"entity-type":"item","numeric-id":831149,"id":"Q831149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$92814E84-403F-4BB8-92B5-ED895DABEFBC","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":"Q6551718$C85062AD-F6E1-4070-ACE4-3584E95D5D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec772a626520c095933993cdd00d7dba05959067","datavalue":{"value":{"entity-type":"item","numeric-id":3790614,"id":"Q3790614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$81C684DD-20FF-4FA7-AB11-1A023BB0A5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51860e3e6e78c9debcd7832f7e0ecb4acb6bba8","datavalue":{"value":{"entity-type":"item","numeric-id":1179808,"id":"Q1179808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$D354AF53-1BCB-4D0B-B4B3-413CBBB61041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c285fbac4c0cc6de1d1ef52f1fe4ea0572069ed","datavalue":{"value":{"entity-type":"item","numeric-id":1317426,"id":"Q1317426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$4583F50F-C9CC-4F4B-8E83-8EFC005696D7","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":"Q6551718$B3ADA068-549D-4C5D-85FC-3A804049C77A","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":"Q6551718$81A0861B-D6A5-44D3-8950-AEE03D34BA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$6149E327-8C8C-493B-BB32-2E84A25068AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$B6233B59-5748-41FB-87E6-B29BC661FEEA","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":"Q6551718$2B927832-D749-44E3-BE3F-C4C3E14CD5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57240d86467118c0927b35558a5fa0000d51ed2a","datavalue":{"value":{"entity-type":"item","numeric-id":2233434,"id":"Q2233434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$C5FFD072-DD56-43C5-B391-196CABCF7D82","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":"Q6551718$F1ED5F3F-3F8D-4F8E-B630-5EE4E4660EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$753BFC9F-E397-4B7F-ABAF-D8381564E12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4dd650f233f7de7ab1ac959a09efc30e858a194","datavalue":{"value":{"entity-type":"item","numeric-id":5354396,"id":"Q5354396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$27F26E4D-AF95-4E81-8C67-AC7A4DCEA840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb5fc10a55f8d441ab4b202f090b0bfe9347da8","datavalue":{"value":{"entity-type":"item","numeric-id":6161460,"id":"Q6161460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$AA2A4AC1-8358-4CF7-ABAB-C5CFF623F668","rank":"normal"},{"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":"Q6551718$60D0746E-E23D-40ED-93ED-FD71BB3C41B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ffc882172e48d9caacba6da03f82c82c983e1e","datavalue":{"value":{"entity-type":"item","numeric-id":6536319,"id":"Q6536319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551718$983CF43E-D78C-4187-AE84-B81368BF81C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f827a4f082b68ee439ab3329e58b61495d582866","datavalue":{"value":"10.1016/J.IPL.2024.106492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551718$D5A2E3DD-3E6A-4567-B2CC-3BC167D86756","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae92cabaf20a8e2956cbaae0defd0645aa0a8af1","datavalue":{"value":{"entity-type":"item","numeric-id":2461794,"id":"Q2461794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae6b895c8c5a5da8febf1b257975306f07b0e3be","datavalue":{"value":{"amount":"+0.8285862803459167","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":"Q6551718$E887BDBD-2315-4798-B638-C819D9D2A992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968a992633cbee71bd1bae0383de3cdadce84833","datavalue":{"value":{"entity-type":"item","numeric-id":5482268,"id":"Q5482268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14cffd877742d8e266d708a1f522dc61b3dabca2","datavalue":{"value":{"amount":"+0.7838465571403503","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":"Q6551718$AA6EE4D1-7F17-4C2C-B318-F4801552EF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75506cf4a0e6d570f6fac6a95da8db68b45375e3","datavalue":{"value":{"entity-type":"item","numeric-id":2915165,"id":"Q2915165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa6cb7e0618682762df5d492a0b900a018df5779","datavalue":{"value":{"amount":"+0.7802678346633911","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":"Q6551718$1FFF6E36-2802-469E-9E37-371E2D04B22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c10b8afdeed64c141b6dc91b1ae65226777ce4","datavalue":{"value":{"entity-type":"item","numeric-id":2946577,"id":"Q2946577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbbfce276686ec3df6523ef6d7fc2f45b863b998","datavalue":{"value":{"amount":"+0.7787854671478271","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":"Q6551718$639FD098-5C36-44F6-BECA-9752FD5EF8C3","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":"c70eb4694977f78e6d99ec38adf887eb56c8a120","datavalue":{"value":{"amount":"+0.7537579536437988","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":"Q6551718$D806736C-9F3D-4A0D-8ECB-8DD0895C1E6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6551718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6551718"}}}}}