{"entities":{"Q477610":{"pageid":479377,"ns":120,"title":"Item:Q477610","lastrevid":55900180,"modified":"2026-02-20T23:42:51Z","type":"item","id":"Q477610","labels":{"en":{"language":"en","value":"Reachability problems for Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6378646"}},"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":"Q477610$7E19FC7E-878C-4513-A508-49B8CDF1F0C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff0d99a252768377b5d344eef96d08e3f22a0dba","datavalue":{"value":{"text":"Reachability problems for Markov chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q477610$A9D5D903-7C27-43CD-BFF2-273A67E8E1A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"767a50095806e5a4d5bcf84d510219742c89fac5","datavalue":{"value":"1302.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477610$B3444BAE-FFD3-4951-81E9-F0239366687C","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":"Q477610$11735981-3952-4688-992B-ECE0CB5D7FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b13a313824c152231b7ab366e50d8a16122ae5b","datavalue":{"value":{"entity-type":"item","numeric-id":269324,"id":"Q269324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477610$4DD3A917-CA2C-4874-B19F-0105F6B4D7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477610$6AA1A027-1281-467E-8794-42180A0901CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477610$1F211969-96B6-47EB-B2DC-B3476FCE47E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477610$A4E7A21C-D1C2-4F2E-92BA-4CA7201B4AF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"647b7a1b0f81a95dd0d55b044a22a9b52645ffc6","datavalue":{"value":{"time":"+2014-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q477610$E370F5A3-5A04-47D8-A01D-4B7E3180BE8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477610$0616B969-5882-4BF4-BA9A-84F2BF08828B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477610$D5F8D0DB-AFE7-40E4-B5DA-70B420ADD90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cdf15533e26fc0c4c2e22d28e655c364dfe77a6","datavalue":{"value":"60J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477610$A3736036-20D1-4C0C-959B-44806C9E4D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477610$F9BEC159-7D19-4CAE-B5C3-8BA29E6DC91D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77a025516331cfaf8c376a5d2850acd3964930bd","datavalue":{"value":"6378646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477610$06F2428B-7418-4CF7-BAC1-3999635A8B5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q477610$B5B4A71D-A380-487E-BA6E-5BCC9107F217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7aa81c67afb301064c97d9253c7e05c50ecf28","datavalue":{"value":"Skolem problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q477610$80973C1E-28E1-4056-8E41-ECC50F589522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7b3b0d3feeddad00dbc77fa26f894e34aa41b41","datavalue":{"value":"positivity problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q477610$BEDA820D-2565-47F6-B469-92B28CCD713E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q477610$8EBE604F-9542-4305-97CF-83EAA84741A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q477610$6A4E3CFC-DF1B-4A07-8E35-1A05A2F58122","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":"Q477610$1976EABA-8646-49DB-9C88-8FA69E547E93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c43b0ff064cf9e51eda684684ac160dfb8d8642","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2014.08.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q477610$B7E5F734-BFAC-4C46-9DBF-282B4CFD4C20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3ec19c946641092458cdc114fc97e7114ab4aec","datavalue":{"value":"W2114554615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477610$DFF821B7-107F-4B8E-8B38-41981AE0432E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a094d285a2ede2994d9b4ea7784c419926612a69","datavalue":{"value":{"entity-type":"item","numeric-id":2986781,"id":"Q2986781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477610$54A7BA42-CD4C-4771-8875-EB5058FDF4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e361303362106d748658b6298a68993e25e6b5c","datavalue":{"value":{"entity-type":"item","numeric-id":5501948,"id":"Q5501948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477610$86EDD953-1670-4741-A389-0A2375C1849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99439fae6e37c6c02251eaecee18e0ab08279341","datavalue":{"value":{"entity-type":"item","numeric-id":3412000,"id":"Q3412000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477610$84DD64FE-AE98-45AC-8EAF-17038CFF3A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e755952b7d0fb5f8820202cb348ee4f4522a20b","datavalue":{"value":{"entity-type":"item","numeric-id":3671245,"id":"Q3671245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477610$365227D4-9C24-425E-ACED-7C9124B1EA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f21fe6b91a9127407c7e54ae1ade44cee80b24d3","datavalue":{"value":{"entity-type":"item","numeric-id":5383986,"id":"Q5383986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477610$7CDDFD32-96BD-45DF-98DD-4C1A81C0E099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ecf59f9a4d1b7659a1683859f2c9d3ac797ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5572344,"id":"Q5572344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477610$28BB8FA6-B861-4FD7-8176-738EACA19FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26853a40b9e87f3ca9828f4f03a954f225c50c6c","datavalue":{"value":{"entity-type":"item","numeric-id":5575575,"id":"Q5575575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477610$A944199E-99B4-4CBE-94DB-416E0BD2ED35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c483571b84b9b594916a262ee03f791590d87bd3","datavalue":{"value":{"entity-type":"item","numeric-id":1077447,"id":"Q1077447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477610$08CC53B3-5E08-4A7C-A455-7568FC094284","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"341b79f4ea502d69dc0748b512375a1bc22400b7","datavalue":{"value":"10.1016/J.IPL.2014.08.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477610$F14FE894-72F3-457D-A930-0B86D08317C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2f1e6f47998e616b62fb193529e09192184410","datavalue":{"value":{"entity-type":"item","numeric-id":4417983,"id":"Q4417983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a8113206b94a6096e304f04f8055be8bc434c4","datavalue":{"value":{"amount":"+0.93723345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477610$E43A4B7E-8B8D-45F4-92B2-6FFBAC6AC417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b3073c1696d5786906b7f56b0ff38b9cca77c9","datavalue":{"value":{"entity-type":"item","numeric-id":5756595,"id":"Q5756595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3cd8acdf452a192d8317a79e934275ae51444f7","datavalue":{"value":{"amount":"+0.9226346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477610$F57D2BCD-AB81-4B7D-834E-D023AE179F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a31af8b605972648cf6baac9941525df63eb0a0","datavalue":{"value":{"entity-type":"item","numeric-id":924718,"id":"Q924718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3cd8acdf452a192d8317a79e934275ae51444f7","datavalue":{"value":{"amount":"+0.9226346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477610$511AFAD2-A972-4B0C-A0B8-F238125C3BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7bb066961f108ac8d11d3ce71234d528400d65d","datavalue":{"value":{"entity-type":"item","numeric-id":2330593,"id":"Q2330593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc2440078900096d30eb07c2c28c3a179aa09e7","datavalue":{"value":{"amount":"+0.90914893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477610$7672DCE0-489F-4A59-A8D4-219397DADD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bdf786c57f2586c14df85e6e7c0b55015ec2986","datavalue":{"value":{"entity-type":"item","numeric-id":1798917,"id":"Q1798917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de75580cbaed47d636f9b6321b83a8e02fbc6c38","datavalue":{"value":{"amount":"+0.9082226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477610$515048E2-6E66-43AC-96CD-1B94F0BCB577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"061acca616523011023edcc6ce6f15104ff165c1","datavalue":{"value":{"entity-type":"item","numeric-id":5092089,"id":"Q5092089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165ddd2e58624128b0c59efdd6fc0b27f3e2f476","datavalue":{"value":{"amount":"+0.9071396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477610$C2902B32-81FA-4DCE-B509-DA9BFF5A97C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9f8c2b3209e18957a439aaeaabd9ea2d48e68d","datavalue":{"value":{"entity-type":"item","numeric-id":2662678,"id":"Q2662678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67096fbbcb9128b244042719a5df117d5ac5ca7e","datavalue":{"value":{"amount":"+0.88873637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477610$26FCBCA5-1059-4FB1-BE25-4FB1221B60BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:477610","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:477610"}}}}}