{"entities":{"Q498408":{"pageid":500175,"ns":120,"title":"Item:Q498408","lastrevid":62419884,"modified":"2026-04-11T05:58:13Z","type":"item","id":"Q498408","labels":{"en":{"language":"en","value":"Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6485817"}},"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":"Q498408$C3132D76-7773-4699-834E-547F1535CC45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bed9665ae92d7ebe240374a309ade054a730673","datavalue":{"value":{"text":"Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q498408$A5FB971F-DE68-4EBC-A059-591924336C0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85a8dbf6ee768dc57d24ff320e1b1ae501df0f7c","datavalue":{"value":"1329.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498408$0C460A30-4A81-4615-82F6-9A2E920917EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ed12f7f73bf73c5e9d5adf62a7f4da5d47732a9","datavalue":{"value":{"entity-type":"item","numeric-id":264530,"id":"Q264530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$CC56A0AE-4152-4150-9346-AAAC78DD14D2","rank":"normal"},{"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":"Q498408$D55538FC-C386-4D79-9135-D691772100C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$EE6DE7FF-F9EE-4E6E-B1DA-4A1208529D83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80128406092f538ae4a71c1daa4ccc6a1b36048e","datavalue":{"value":{"time":"+2015-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q498408$3BD43367-AE5E-43A5-9C9B-C6CF610D1631","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1481e292f6e9da77e99b70971511374de7f376e4","datavalue":{"value":"https://arxiv.org/abs/1506.08982","type":"string"},"datatype":"url"},"type":"statement","id":"Q498408$7272218D-DF43-4988-9C6F-0C32EF859471","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498408$C70D501B-2313-481A-B99F-626F3EFE2283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498408$74E917FF-373D-408E-9100-A2CD97454D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498408$D27E0334-8860-40D9-9F15-0AA7790196DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498408$8165E141-BFFA-4165-8A06-8B39E9FC707A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37e9042791974732a70e1e9d2a5b946e449dd731","datavalue":{"value":"6485817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498408$7A0F37B0-1D25-46C9-9AF0-4B7DBB000CC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f22726aac7853f9202d101742e2334fc6f90dd7a","datavalue":{"value":"quantum Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q498408$FE19B5DD-1F54-444C-8A08-7C0369A77F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q498408$4EFC9468-E905-4243-BF95-D6BF04A0F93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"300b2faa4c1ddf8bd95de7ed9d80750a1b66a636","datavalue":{"value":"quantum automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q498408$583CC0F8-969E-4D4A-AF00-F7B626AD5948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q498408$C1825F22-AFF8-4FE0-8C77-2B3034D35879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q498408$400D2BED-C269-48CC-924C-AE57E7DE9F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"067fb004c854f0bc667b82078acbf799f7ada28c","datavalue":{"value":"linear-time property","type":"string"},"datatype":"string"},"type":"statement","id":"Q498408$753FE7D5-EFE3-402D-8E3F-A15D6B0A6842","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":"Q498408$28E9C9BE-6060-4EF4-BD1A-8952C8AA4C94","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":"Q498408$FCFC70B8-601C-4AF1-A1D8-B09AF67B6AEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b37559348748b43b8f608e65a6c0dea380b3296f","datavalue":{"value":"W855091498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498408$022C4637-7AA1-444D-9250-D3839F9E8B0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89660bb72df74cf07bd9a6589d64d82e547ef5f","datavalue":{"value":{"entity-type":"item","numeric-id":5175952,"id":"Q5175952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$F310B060-1B35-45E0-AADC-49816F7E4EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811ab435b2bf36d4ec8bf459257ac5efda0314a4","datavalue":{"value":{"entity-type":"item","numeric-id":1194478,"id":"Q1194478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$80D58765-21A9-47C3-A223-92ACFE470EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab6908f74deb3d34013aaf7662b4f00d9793d085","datavalue":{"value":{"entity-type":"item","numeric-id":1853472,"id":"Q1853472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$D3F9E6A1-731E-47F0-800E-6316D42E9344","rank":"normal"},{"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":"Q498408$6F530300-2279-44D9-8566-8081029798D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26bd94933285a75c81f950c5753014c857285e03","datavalue":{"value":{"entity-type":"item","numeric-id":4452048,"id":"Q4452048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$612FD877-F358-499E-93E8-4BE926966883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f69048aaf4d9304e90434a3b52df097c9d8325","datavalue":{"value":{"entity-type":"item","numeric-id":3538849,"id":"Q3538849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$6DF54BAB-9783-40E2-BE8F-155ACBD60D3E","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":"Q498408$542428E4-C745-4EDD-B4B3-71BA4C362F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28dd8aa7abcc706b49b51a701fadf54e7c1efe16","datavalue":{"value":{"entity-type":"item","numeric-id":5504973,"id":"Q5504973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$DBD618D7-0B5F-4EDF-BF0D-0C72D9FBD29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d67a93eb36996f964369cfbd31370eb0c37633d","datavalue":{"value":{"entity-type":"item","numeric-id":2353395,"id":"Q2353395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$F017812C-5B42-4143-904A-2EBDCB1D727A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebed9293ef742c6ef56a9402ad4d3a2621270864","datavalue":{"value":{"entity-type":"item","numeric-id":764358,"id":"Q764358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$E1B6F7C3-F0DE-437E-AA10-0E250ED36A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2861c1a3ca38f46680e40aa58c0591475ace75f","datavalue":{"value":{"entity-type":"item","numeric-id":2518375,"id":"Q2518375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$C041A445-1335-4E94-A4A8-956E97D03F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e6766e9dd650e38488973663a40ff2622e6957","datavalue":{"value":{"entity-type":"item","numeric-id":638087,"id":"Q638087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$5F092833-D455-4BD2-BCDF-255F62297CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c0ee7f6bdb19e7e6d2bc07518b2abe167f2e71","datavalue":{"value":{"entity-type":"item","numeric-id":5897481,"id":"Q5897481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$94AEE8F1-2FED-475B-973F-DDFB5D9BD9A9","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":"Q498408$051FE699-2179-4106-AEC1-E9B0AD3321C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0873dfed449e223760861827366e29a19391f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5643915,"id":"Q5643915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$46D7C283-4C59-4A4D-910F-BF46684D0767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e90fffa25c024434ac38231f4e9097942661280","datavalue":{"value":{"entity-type":"item","numeric-id":473186,"id":"Q473186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$CB952B04-1BEF-43C1-9B30-D3B64A065ADA","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":"Q498408$05C455E6-3AA1-4EB9-8530-5C37A6AF9BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5718dd49930491916235d0432e4851489c7fabe","datavalue":{"value":{"entity-type":"item","numeric-id":3990650,"id":"Q3990650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$12542F68-61F9-4726-9E02-BE7D5C892CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446d5697961b04dae2c2ba01d4d4913a7f9aae7c","datavalue":{"value":{"entity-type":"item","numeric-id":1889853,"id":"Q1889853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$F1FCF490-AA52-4F1D-8BCE-A910517A37CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b21dd9e9850aeb19b824262f5aa1e761f3de432","datavalue":{"value":{"entity-type":"item","numeric-id":3522509,"id":"Q3522509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$24F6EB00-75F1-4612-BD4C-2578E925D269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"718dd97d28965a841065b08383cae91227350237","datavalue":{"value":{"entity-type":"item","numeric-id":2343133,"id":"Q2343133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$06112DB9-C6E9-4A9B-9C33-EC7DEE075458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8ef0ef29afdc7c37e9e05983aaec0a34499e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3166958,"id":"Q3166958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$40B951E3-098E-4BE7-B582-1F8DFFE2862C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a88eb83a60bbb3bc0a86e87bbb5619739ba8859","datavalue":{"value":{"entity-type":"item","numeric-id":5166503,"id":"Q5166503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498408$5EED0F55-ED79-41CD-95F2-C5B3F26D1199","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ab16ed76f362410a9a1e00b5b384bd7c4796d92","datavalue":{"value":"10.1016/J.IC.2015.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498408$D34795EE-B821-45DA-ABEA-820B32DDD3C4","rank":"normal"}],"P1643":[{"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":"5d7efcba778520ab11a67f9a01c68a997b8e7982","datavalue":{"value":{"amount":"+0.8199291825294495","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":"Q498408$291B7ECF-4A08-4C10-A858-E8259C8DFF81","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":"89dcba8f59d87aee5cf0fdd77c14aa28be701542","datavalue":{"value":{"amount":"+0.7997521162033081","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":"Q498408$925F3434-268B-4837-8130-1F53E74C2E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43367c7fcf5ae087edd052434cbf252025e846ba","datavalue":{"value":{"entity-type":"item","numeric-id":2123051,"id":"Q2123051"},"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":"Q498408$47F5DA71-2CBC-4C4C-91C9-9EF4F5F10F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"413aeccee157c4927d37efd15ce742d12f602d6c","datavalue":{"value":{"entity-type":"item","numeric-id":5277422,"id":"Q5277422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52e4b41ecb3be96df72948fff8633d84d3ce63a","datavalue":{"value":{"amount":"+0.7822783589363098","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":"Q498408$66E16A30-26D7-4978-BA1E-CC1A71019404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9268af1228dc1fffab7a66a3a213a91b13c43a7","datavalue":{"value":{"entity-type":"item","numeric-id":2842118,"id":"Q2842118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e988b62aacbc138484d3cec4beddf890013e2a","datavalue":{"value":{"amount":"+0.7743353843688965","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":"Q498408$E340DED5-CE44-43EA-BDB3-9B33101A06FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantum_Markov_chains:_description_of_hybrid_systems,_decidability_of_equivalence,_and_model_checking_linear-time_properties"}}}}}