{"entities":{"Q5111649":{"pageid":7141223,"ns":120,"title":"Item:Q5111649","lastrevid":53741318,"modified":"2026-01-25T15:43:53Z","type":"item","id":"Q5111649","labels":{"en":{"language":"en","value":"Model checking \\(\\omega\\)-regular properties for quantum Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204952"}},"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":"Q5111649$0E1D5E4C-AA5C-4920-B947-00FCD0D08370","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79c6b2100c8781fe6b57bd63165f307d27a47d80","datavalue":{"value":"1442.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111649$8201246E-DFD5-45B6-8B06-1B264AB851EC","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":"Q5111649$7130CD60-B2A0-462B-9EF6-0D3B3871540B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dffa8575a90582a7e362ce4ca416eabc864ff69c","datavalue":{"value":{"entity-type":"item","numeric-id":389834,"id":"Q389834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$6A2201FD-1D8B-46C9-99E5-9B403EC428EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7df2d49a710f5b21adfbbe3b8775543132e5a670","datavalue":{"value":{"entity-type":"item","numeric-id":282104,"id":"Q282104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$2240A898-7F5E-4E46-9974-A8F1DA9FF87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51ef920fd33eb08e8725259b4528f2371044d507","datavalue":{"value":{"entity-type":"item","numeric-id":320193,"id":"Q320193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$20ABBADB-CDB1-4934-8037-8BCCEC409602","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111649$A1FE6C97-2882-4A8D-AC4B-E9AD10428C01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111649$F046A7AC-2FC2-4BC0-862B-76095DEAC77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111649$C97749F2-8B06-4011-92DE-53B8CDF829BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9765aea10a41fd5942066161c55ee3fb35cd0254","datavalue":{"value":"7204952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111649$A6332972-C148-41FF-904E-C3D576609031","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f22726aac7853f9202d101742e2334fc6f90dd7a","datavalue":{"value":"quantum Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111649$E1D929C8-B573-4D52-AF89-4EFCB8C7CCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111649$AACAEE7A-64A9-4EF0-9316-7111DF01CD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8e86ca1c02c73574359895ffafc6077442cf438","datavalue":{"value":"\\(\\omega\\)-regular properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111649$A5D766B9-B9B4-4F32-9431-95B04B5ECE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfcca09e8287534c346104590fe2dbba5fa086f0","datavalue":{"value":"bottom strongly connected component","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111649$31CF4DC9-F8A1-4AE9-9024-CDF7015C7BFB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c10d3569fe27c8b0192aff36265d70bced5a5b33","datavalue":{"value":{"entity-type":"item","numeric-id":52641,"id":"Q52641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$5CEB70EB-4A5D-468F-843A-1FDC22B7A6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f6061a26f0021fd565872d3f51665f1ce6598b6e","datavalue":{"value":{"entity-type":"item","numeric-id":54938,"id":"Q54938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$75FF3AB0-91DE-4049-9DC1-D45144E79DC7","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":"Q5111649$B3BECFC6-418D-4988-BDD9-931A699DCC9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d1c6023074c5779677c9d359c48f63fdd68054","datavalue":{"value":{"entity-type":"item","numeric-id":5326347,"id":"Q5326347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$E0F6E1DA-98FB-470D-B1F7-12164EE0B0B4","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":"Q5111649$08445F05-C48F-49BE-BE8D-5E5CE743E028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b7900d0d97f6f32e5b1bf309e094d1a87a108c","datavalue":{"value":{"entity-type":"item","numeric-id":2892019,"id":"Q2892019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$999B82D0-4960-46C3-ADE2-BEF10F46BE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"644a7b61c7f8da6e52332fc36358daef7d532177","datavalue":{"value":{"entity-type":"item","numeric-id":4492082,"id":"Q4492082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$B76FEBE6-0687-4765-B99A-21682FF51B38","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":"Q5111649$A3634390-FB30-49F0-9C4F-6F47320524C7","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":"Q5111649$7F0ED60B-6AF6-4152-8963-8D1A33FDCA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e718583192ee1c8f5c2ad768e743605f9035fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5312899,"id":"Q5312899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$285F8C25-40EB-482D-8667-FD67869E03B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd3a011a7fca6003ab706b0b32d85b8e6907b95","datavalue":{"value":{"entity-type":"item","numeric-id":2453219,"id":"Q2453219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$C0C57E29-1C52-4CBA-9180-444DE31A3D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$E7BBCAA2-C358-4341-9C66-D40DEBC61AFE","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":"Q5111649$8C7B61DF-590A-4DDC-9A89-C6322832442E","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":"Q5111649$228EE174-90AA-4F60-8CCF-1D1119DEEDEB","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":"Q5111649$73E48561-9FB2-42B3-AA72-9F80E100065C","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":"Q5111649$AAAD12EE-A5E4-4116-876C-77689659577E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7d501eca45f4e70219630914fce9c6989711b2","datavalue":{"value":{"entity-type":"item","numeric-id":3753490,"id":"Q3753490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$47B60930-485E-477F-B7C6-E5CBBF1CE7F8","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":"Q5111649$816BC7DE-2430-486D-A348-54F93AF2FD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$D7E89C99-9C36-439A-9CCC-DDC07DD8A672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f353ad170e54f87f94c55f9cea2b36a3ecf99c4","datavalue":{"value":{"entity-type":"item","numeric-id":3617728,"id":"Q3617728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$9AF584E8-3AEE-49B0-B5A7-645F92CD3983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e92a52a10cf1dd5d38214cbce6c4ce4a0cbf5d8","datavalue":{"value":{"entity-type":"item","numeric-id":5308007,"id":"Q5308007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$33B73712-717A-4335-968B-1446FAE34844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$3BA86FE3-A259-45D5-A068-A5EDE85126BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaec6b1ef98401183e717d7ede4c2e92eb3f5e2c","datavalue":{"value":{"entity-type":"item","numeric-id":2946731,"id":"Q2946731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111649$E6534DC0-74B5-47C8-9411-7F80795E8B73","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":"Q5111649$4FFF630D-CE75-43A7-BFC1-56EE203306F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf9a0bf8e7b0b2bb68556f35faf304d7eff54149","datavalue":{"value":"https://opus.lib.uts.edu.au/bitstream/10453/127383/1/LIPIcs-CONCUR-2017-35.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111649$151B591A-60E7-471F-AFC4-F194AA816DB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6172e9d30355822cafb5d5dc458d47b29b9bbe79","datavalue":{"value":"W2758925351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111649$E94F824E-A343-4B72-99E3-5D94F0B81CD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"575a308877830b7ae894844049804da517470c19","datavalue":{"value":{"text":"Model Checking Omega-regular Properties for Quantum Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111649$6969149B-D57F-4EE1-B8AA-D1F60A2BD5A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac76fdcf6ad05524063ec2497d0109cfbf15ecfd","datavalue":{"value":"10.4230/LIPICS.CONCUR.2017.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111649$972452D1-570F-4D94-8D9C-57FA09944F97","rank":"normal"}],"P1643":[{"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":"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":"Q5111649$D4A8CF38-4FB2-41A9-8FDD-4925C9E3C7DA","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":"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":"Q5111649$3656B409-3BD8-46D0-8C22-D2731F7E5174","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":"9e35af2b833d78464cece4513031d0b175ea817d","datavalue":{"value":{"amount":"+0.790373682975769","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":"Q5111649$DA34D381-C296-49B5-BA7E-28964B795E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e16a81f15e3ef6f68546c5317f2484bfc1d4877","datavalue":{"value":{"entity-type":"item","numeric-id":5312899,"id":"Q5312899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80954e9859625fb20e71a158bb071fc3ed96e785","datavalue":{"value":{"amount":"+0.7817120552062988","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":"Q5111649$864C33DE-1FF7-4BB8-B971-EDBEAAD04F36","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":"b023022551f70b77037ea440d7f85581f5f0409f","datavalue":{"value":{"amount":"+0.7708790898323059","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":"Q5111649$2837E7EF-CE7E-44A2-A9D2-38997DF250C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111649"}}}}}