{"entities":{"Q5169970":{"pageid":7199542,"ns":120,"title":"Item:Q5169970","lastrevid":58471392,"modified":"2026-04-05T08:59:45Z","type":"item","id":"Q5169970","labels":{"en":{"language":"en","value":"Symbolic bisimulation for quantum processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6317924"}},"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":"Q5169970$7F1052C7-609D-49AD-BC1A-A5AA34EB2F2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14f55ecf5ac29d9cc7dffe9a78d9b17025614d79","datavalue":{"value":{"text":"Symbolic Bisimulation for Quantum Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5169970$2E795E9D-2C11-49DD-8C28-B117682CBED5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f426290e7bfac28ed35bd65c6c5040955b73d0e7","datavalue":{"value":"1291.68237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5169970$8432119E-08D6-4839-B13A-7AC5FD04E483","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0998b799194a37aacbe1cd4431f1031cbcee6315","datavalue":{"value":"10.1145/2579818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5169970$5A63B4F8-0F2D-4735-9215-5352AC97F837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff0ca495cf139845d01d02d871d3828dc4028019","datavalue":{"value":{"entity-type":"item","numeric-id":389707,"id":"Q389707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5169970$E958B326-A111-42B5-B69B-0C9F2FA758B2","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":"Q5169970$3F8B3AC1-CAA4-475D-B837-5D620206E7D8","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":"Q5169970$37EFED6F-1F16-438C-B31E-2329D148313F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5169970$BFA71309-9350-4C4A-B39E-1E21F36264FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"778d4b335cadf816305844c7c29aff19cecda265","datavalue":{"value":{"time":"+2014-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5169970$2FED0E08-2C59-4DC6-A6E8-6FBDB22A592C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"421beb03a0f9decad83d1c7a32eba14923e0f164","datavalue":{"value":"https://arxiv.org/abs/1202.3484","type":"string"},"datatype":"url"},"type":"statement","id":"Q5169970$05AD504F-136A-420A-81D6-027E6D09A47F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5169970$91B5229C-C3E0-48F8-A118-91CC54EBE4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5169970$04D554C9-288B-4FA3-A0DB-D187CFDCCE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5169970$A464901E-A337-48C6-AEC4-4368498B6926","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc2cb875571badbbdfda49fc884bec73be9b200d","datavalue":{"value":"6317924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5169970$BB296050-6A9C-4FBA-B21D-8B6D5437EC0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24dbb9d3cd6102a25d5e627d7130ef0d9851ab1e","datavalue":{"value":"open bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5169970$C75B9E12-E128-43B8-8B6F-6C51C4D213C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71482ad5d74d64115b79827dab9c61b32572368b","datavalue":{"value":"quantum processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5169970$45EFAF00-19D0-4B3F-A264-360F29B3AD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50995c35cf8f618870cb3d3e0ece6f60dbc0cadd","datavalue":{"value":"symbolic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5169970$2866AD58-C4F9-4D44-A471-C9A2CE713A15","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c69567ab1e57276dbf1175b69c6b8aa4fb7a627","datavalue":{"value":{"entity-type":"item","numeric-id":54937,"id":"Q54937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5169970$6AF2FEDB-3F1B-454E-AD26-C9ED6411FED8","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":"Q5169970$03126EEB-C047-499B-B5C3-D8FAA515B200","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d29519ba7242fb9d914d94851e45e21a63f3f8c9","datavalue":{"value":"W2044210134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5169970$681F2519-D109-4452-B1B6-E63066444CA3","rank":"normal"}],"P223":[{"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":"Q5169970$A6331056-DF57-429C-82C1-7A72BF29FD10","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":"Q5169970$90E382C4-CC5A-4324-9EA0-C8FFB08F77ED","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":"Q5169970$B8975012-B830-4626-8292-ED9FE00A3B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5169970$B62001DB-8CFF-4A05-B01B-8003E759E6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c237eb4487c27fb633352bf121e725afec1e6c4d","datavalue":{"value":{"entity-type":"item","numeric-id":4038695,"id":"Q4038695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5169970$A3C6A679-15C4-4F33-ADC4-F73FF6DC2FD4","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":"Q5169970$F03B581B-26A8-455F-948D-33FA2E4EE996","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":"Q5169970$195BFE16-BBC5-4ED8-B041-532F4F39EBAE","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":"Q5169970$5C3B2C92-AA84-4641-BDFB-8DD7555FBE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8000bf33d2a7b07859c02c191450efa31a03ee7","datavalue":{"value":{"entity-type":"item","numeric-id":394340,"id":"Q394340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5169970$F9D96D32-BF10-4DF6-B0CF-9DE409400CED","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":"Q5169970$17022CEA-EEB9-43D3-BE00-024A3CBC192D","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":"Q5169970$09E70204-7910-48D1-9818-B58FDCD54ECB","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":"Q5169970$90D74262-5F1F-44B0-9276-F481717AF840","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":"Q5169970$D461ED71-54F8-464D-BCD4-3CD9148EAA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28add2802053ff3728c855997fbe44424601ae6","datavalue":{"value":{"entity-type":"item","numeric-id":797108,"id":"Q797108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5169970$B2570DA3-E573-49BD-BC45-6E927B47DEDC","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":"Q5169970$9DA3B867-FE75-4D1A-BEE8-8E591F5C203D","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":"Q5169970$CDD519ED-9723-4938-BE0B-AB294EC8C591","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":"Q5169970$F5C42B0D-3A73-44E2-BF55-89AC4DD3B884","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":"Q5169970$AF18B498-6124-41D9-9F89-3AB0794F43B6","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":"Q5169970$F1334BC9-398E-49AB-9E81-19931EF2C38B","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":"Q5169970$C8ACDB4A-6BE5-4BB3-9704-164B6735F618","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0816d02ea519fec9e8955da87fa397a053ef4b57","datavalue":{"value":"Q130922883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5169970$9A450F62-7798-40B5-B2A4-A176BED0E0E7","rank":"normal"}],"P1643":[{"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":"f5bb899db25c9572003cb04ac8aef5cfd58fb102","datavalue":{"value":{"amount":"+0.8585893511772156","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":"Q5169970$DDC68EDE-E86A-49F1-99AE-8BB257DD943A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e258d670488e823f15a18d2fb39bc7d8cdd735","datavalue":{"value":{"entity-type":"item","numeric-id":5009413,"id":"Q5009413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1860cd06e808cb86827e716b2207badf46b4993c","datavalue":{"value":{"amount":"+0.8268423080444336","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":"Q5169970$1D2EC613-C4C6-45E2-8D3B-D139CEE9378D","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":"fd320bdc2ecfa38df0b066659c6ebddd7f5bad49","datavalue":{"value":{"amount":"+0.8062458038330078","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":"Q5169970$62C6CC41-45E4-48AB-B536-F6F6DBD57998","rank":"normal"},{"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":"995eaa3366b2a7959bc335fc5487ded35a612d31","datavalue":{"value":{"amount":"+0.796710193157196","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":"Q5169970$5253BD11-0411-42C1-BA4C-142835EC5509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e324874e25ff984bc895b138773ac64e28785bb","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd56b9cfaa90cd184c2cdcc1c49cc0382db2cf3","datavalue":{"value":{"amount":"+0.7915578484535217","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":"Q5169970$078E2BAA-BB5E-4099-B353-6236D3359068","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5169970","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5169970"}}}}}