{"entities":{"Q2123051":{"pageid":2133794,"ns":120,"title":"Item:Q2123051","lastrevid":54292511,"modified":"2026-01-26T14:23:12Z","type":"item","id":"Q2123051","labels":{"en":{"language":"en","value":"Model checking QCTL plus on quantum Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7505204"}},"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":"Q2123051$05D25801-0B99-40C4-A4E7-87821CB76ADE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9245b1222eb0c69e8ad1e7f24f02568a5719b382","datavalue":{"value":{"text":"Model checking QCTL plus on quantum Markov chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2123051$F8170D29-0CF8-48C0-9A81-DE8B6A43B458","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"098879e71afcb32cfe8102862cd92f84e3fd5186","datavalue":{"value":"1483.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123051$CA230EBE-1274-48EA-A647-F5B845869000","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b03791e3ab103896b9378efc57bae42ca7928ba2","datavalue":{"value":{"entity-type":"item","numeric-id":480649,"id":"Q480649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$7A999115-8B50-4F8D-89AC-B54189A2EA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34e38a5805fe908ed04eccb90cedec7ec1858a8f","datavalue":{"value":{"entity-type":"item","numeric-id":2084944,"id":"Q2084944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$912F0472-CDBD-4E82-9DEC-58207A66CA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3e9931c8da515e22708f3d19914432dad67028f","datavalue":{"value":{"entity-type":"item","numeric-id":2084945,"id":"Q2084945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$DCBB3E88-3011-40FF-9EB0-BD29926D1135","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":"Q2123051$B3FE6866-F343-4FA9-B428-F7DB991E8B89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$124EB247-28E5-4335-B2DE-47BC87D9C9A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a2f352e7a542b4980d82f437cd18f5554f8da75","datavalue":{"value":{"time":"+2022-04-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":"Q2123051$C58797B1-86AD-410F-9707-4C750FF14597","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123051$6C834F04-488A-4F0F-A2D7-8A16B67D358D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123051$FAD18328-2631-4D22-8B03-72EF24C30E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123051$423038FA-8E9D-47C6-AF60-588A72EF6DD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"822b9e552d0a6a210933692fee2bc56ee766be5e","datavalue":{"value":"7505204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123051$3D36E893-7661-48B7-8E3A-FCA3DB9A0AE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123051$8CB1671D-E7C1-48A9-948B-2AF49AACA8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e465af49ba56125c665977a42b0567abb94fe64","datavalue":{"value":"quantum Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123051$A439A3EE-06D1-42EB-A5C1-06871954CD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6f648bd1eeb66cc548d9608d64c3a3e1ea7e29","datavalue":{"value":"formal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123051$073D36D6-2A7A-4D5F-BFA6-3724A761AB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123051$250EC720-DBAC-4F3D-A3EC-F2F7F3153BB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$68FC8822-9B98-4BE8-8392-3D5090AC7106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$818A7C80-16CC-469F-9281-22BE468FF37C","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":"Q2123051$4D9DD6F5-A50C-473A-B3FF-30F0651F39FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e592a861e4605a83ffbaad241142f9add7784c2c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2022.01.044","type":"string"},"datatype":"url"},"type":"statement","id":"Q2123051$B517627A-D450-4BAF-A3D1-437E65876E24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0aff61ce2114b51dc87a70a929a08737e4af7bfa","datavalue":{"value":"W4210515262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123051$79C7096B-D75F-4CB7-A4E1-DA451815128D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$69F809ED-D5FF-4550-9DD4-7932317991F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$AA07A715-58D0-4F84-8680-741D325ACC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$CB11F35C-38CD-4DD1-90BB-3CB2CA5798F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$45220089-2FCD-4F3C-A776-5388D37E6BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7bb3f269c2d214bf678efd88731fcd06e6d1fa","datavalue":{"value":{"entity-type":"item","numeric-id":4584425,"id":"Q4584425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$20CD4D64-6CB4-42F3-A22F-38C3086FC1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$C6EF5D5B-9A85-4C20-9506-AB4056F1F15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c5093160fe3b54a3d70bfb9b4fcfa5e5a80759","datavalue":{"value":{"entity-type":"item","numeric-id":5111649,"id":"Q5111649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$DBF9F971-6165-46E2-A857-C7DC8E7E4A54","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":"Q2123051$EF1171F2-2D44-4651-A5AB-539A4D390F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec05f12232d0a1528cf5463f4d82c9a218e2d75","datavalue":{"value":{"entity-type":"item","numeric-id":4228473,"id":"Q4228473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$0AF55421-0262-4928-A881-A2BC08C336CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e28d865b6a527d6aef184a58e15bb15ad21dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3856819,"id":"Q3856819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$4D92471F-8650-41B7-A689-BEA20466921F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd32d1914ff73211379342b29bf9145ddd07c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4876045,"id":"Q4876045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$F6047BF3-852A-4AB2-8CBE-F5818E33F1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabe7cb397bfe83d0bbef5bc7a190330003c9957","datavalue":{"value":{"entity-type":"item","numeric-id":498408,"id":"Q498408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$70A3333B-6B4A-4C19-AEB2-D1E35AA132C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c433cbc0bb084950ec8a2870c1d6dfbdbf28c5","datavalue":{"value":{"entity-type":"item","numeric-id":3697106,"id":"Q3697106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$85EBEA34-998B-4179-9D96-890E680DC317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf28bbed65d798a4cead89a8fcf3c0f52061096","datavalue":{"value":{"entity-type":"item","numeric-id":3803204,"id":"Q3803204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$755F9A65-0ED1-4276-878B-7BCBE366B990","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":"Q2123051$2EAD92D6-ACCE-4B94-82F4-002D42A11950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b46989355988e5d4e240f250b8692542b0eec1","datavalue":{"value":{"entity-type":"item","numeric-id":5167849,"id":"Q5167849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$430F295F-DB72-4B74-8AD8-89A08E0A88AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117d03508c9e630b2319ec2f8377603a95408673","datavalue":{"value":{"entity-type":"item","numeric-id":1580733,"id":"Q1580733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$94F2D277-7707-4DA7-B89F-257B9574048D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14cc99336a0c0932d0b8a1a8bf21bf5571ce1b85","datavalue":{"value":{"entity-type":"item","numeric-id":824285,"id":"Q824285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$55187DD9-7A0C-4037-95C5-C2191D8CD0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e605d3a5b013a5d9a762855dbf9a41df1e7585cd","datavalue":{"value":{"entity-type":"item","numeric-id":2842118,"id":"Q2842118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$4F2209AF-1987-4F7B-885B-DE1BD97D79B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cadd2f6f6bcd83f56d9a585bb10e982c17ab5866","datavalue":{"value":{"entity-type":"item","numeric-id":1627964,"id":"Q1627964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123051$8FBBED27-2313-493E-A55C-89830B7F3B5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a881b7e64053b053270fcbc0a48264feff7a3208","datavalue":{"value":"10.1016/J.TCS.2022.01.044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123051$6ACC9AD7-811A-4086-A004-B1C2439C428C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e94174da71a7c1629b915e66e7932b642eb547","datavalue":{"value":{"entity-type":"item","numeric-id":3534212,"id":"Q3534212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ace47e2dc89205b69f53bd61c6f7217e9fc7129","datavalue":{"value":{"amount":"+0.8125181198120117","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":"Q2123051$FE864753-75F2-4279-9450-6F3D38A9A2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8bf114838b7294ebb11ab383b8729f6dccdaf7","datavalue":{"value":{"entity-type":"item","numeric-id":5111649,"id":"Q5111649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d30719f22623ab0ba745e4f5bd50fbb0add68df","datavalue":{"value":{"amount":"+0.8038337230682373","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":"Q2123051$ADBD296D-1B7D-4C8B-B7FE-7C69060B8BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d3bcad6093e0e7899001e51cf8780db9a73287","datavalue":{"value":{"entity-type":"item","numeric-id":2946731,"id":"Q2946731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549d72bdc203607904001b72c794a428d223ded9","datavalue":{"value":{"amount":"+0.7901586294174194","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":"Q2123051$98361105-2DFD-4680-B141-EBC806E96103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e889c58d912f6417fddaf1d69be75632979dc5","datavalue":{"value":{"entity-type":"item","numeric-id":498408,"id":"Q498408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f23fbbcc7a1ce239b32e9d5402095162647c3a","datavalue":{"value":{"amount":"+0.7866827845573425","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":"Q2123051$5E955B9D-A2C8-46A2-AE17-A7C0D41B1059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8685aac7d75231552fd4752b8f5a7d8f5fba8946","datavalue":{"value":{"amount":"+0.7747851014137268","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":"Q2123051$BB65AED3-42B8-4ADD-B7C9-C2771CE7C984","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2123051","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2123051"}}}}}