{"entities":{"Q2986781":{"pageid":2997505,"ns":120,"title":"Item:Q2986781","lastrevid":52804493,"modified":"2026-01-23T13:18:14Z","type":"item","id":"Q2986781","labels":{"en":{"language":"en","value":"Approximate verification of the symbolic dynamics of Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718065"}},"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":"Q2986781$EEBB768B-8888-4AF8-A17B-A944C5B1CE55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c992671a414e30a01e70bd4df7a86b4b36258f28","datavalue":{"value":{"text":"Approximate Verification of the Symbolic Dynamics of Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986781$E3333EB6-F11E-4AC6-8A99-B227187A07E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbc3a3eefec793cfa8117dfbe1391072c0873c02","datavalue":{"value":"1362.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986781$B00F2527-A945-4228-9993-09D837ADA105","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be2411d87f67521c67a744707e2f5d77a42e0299","datavalue":{"value":"10.1109/LICS.2012.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986781$D69B5503-A333-4B3A-BCB6-965605CBD84E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986781$F4592C64-8B6B-4CEE-B5DB-5EF4C8C77F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c25692d5864b09581ae766555ef6d0e63eb5f0e","datavalue":{"value":{"entity-type":"item","numeric-id":436615,"id":"Q436615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986781$649F7DB6-F1E6-40D6-B0B3-D5D339A2087E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8392ad3e919ceda3cd16f19f1268cacb9704ba7b","datavalue":{"value":{"entity-type":"item","numeric-id":229998,"id":"Q229998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986781$6E3FC95D-4BAB-4543-AD15-E5475F893892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49099c29476e7ee2ac9e3add1f59858abe2cb0f","datavalue":{"value":{"entity-type":"item","numeric-id":619895,"id":"Q619895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986781$6B5F23A1-D701-49C9-8E28-5E352F0AFA49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986781$0D487BE5-C6B2-47F7-9FFB-BDC310EA1603","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986781$0B51F4C0-7E15-4E35-BE0D-F978879FB20D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986781$5F22446A-5D83-4F74-8BB0-54749AB6CFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986781$A0187109-6342-4C8F-B577-183C27EF9A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986781$5BA39EA2-36C7-4549-B533-6A0B865EAED6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d07c9ec4764723c14d84a3fe3c9b75f62232f32","datavalue":{"value":"6718065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986781$F366F35C-45C0-4BE7-A672-39FB8ED8CF54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986781$BF2F99E0-E324-4971-842B-BB84E514E8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214080879eb7024d2e09b1045af7950440b4363c","datavalue":{"value":"probabilistic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986781$FE4DF819-505D-4766-8612-CEE4B90AB0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986781$73303E37-DB5E-47B3-BD39-EEEED0E22FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47e4fdc183ef8beb69defca6943946e6f2cb91","datavalue":{"value":"Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986781$D3B231C2-EC7E-4F55-9A50-878EC8DD51ED","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":"Q2986781$A74AA5C5-CF40-4E47-944E-9FFBDF71DFFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b81b02376ca0203a951202fa6d11008e2fa4f5f","datavalue":{"value":"https://doi.org/10.1109/lics.2012.17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986781$4664886C-1107-4F38-828C-F2B5B13470EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83d896fd2c9e0ce31eec5980ebbf2cba6ae2d29c","datavalue":{"value":"W2052596766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986781$DC88DD8D-3987-43C7-823A-CC8F2D2CA6BC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d2768898dd9f85eff88b0575303b4230306cee3e","datavalue":{"value":"Q131121002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986781$9FF6C516-18A6-4DBE-8B2D-D7EA2F646786","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0818e0201c8f7cca4893e0f3e3a23f92ebd6f338","datavalue":{"value":{"entity-type":"item","numeric-id":5501948,"id":"Q5501948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e07b1a9f5050f4370953739566c4703789e67d4","datavalue":{"value":{"amount":"+0.9848610162734984","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":"Q2986781$9A1FA6CB-EFC0-435E-BB11-C45DCA03D717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b9929da7c2777f750c0897bc4b8499e470e2e0","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d3e7dba08dad95a92a2e2b9b71d9ac61e3bfa6","datavalue":{"value":{"amount":"+0.7989075779914856","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":"Q2986781$13494717-1DA8-414F-A19A-28400B105DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b90ab2929b250f2603c8f77a535cbe3af8cc3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2946750,"id":"Q2946750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db862e0ae658505f095211e28166e0c1dc1d481","datavalue":{"value":{"amount":"+0.7951623797416687","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":"Q2986781$D0EF3895-033A-4E80-A39E-8CA37C7EFCAC","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":"c592742d7a81ddaf49b12e9da3b89a96d8d5fea9","datavalue":{"value":{"amount":"+0.7855755090713501","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":"Q2986781$81955CDF-8A9D-4C14-831E-FEF51ABC6F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df8b75fd2eb63dd1577859d25c3bc638eb2f871","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9bc671d8e0044918c7f70babc7b9b4009ce5087","datavalue":{"value":{"amount":"+0.7742453813552856","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":"Q2986781$50B4907D-CFE6-453B-8384-68B47E1D3520","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986781","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986781"}}}}}