{"entities":{"Q846015":{"pageid":847863,"ns":120,"title":"Item:Q846015","lastrevid":64779921,"modified":"2026-04-11T22:10:35Z","type":"item","id":"Q846015","labels":{"en":{"language":"en","value":"State explosion in almost-sure probabilistic reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664812"}},"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":"Q846015$C4439D92-74DB-4428-964B-4B130D357FCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b39e2ee346e3c81d399a37ca311f64ab2c068763","datavalue":{"value":{"text":"State explosion in almost-sure probabilistic reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q846015$54D0DD16-00D2-4BA3-A127-37FFF767514F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f96e504ab014ea7fce1f1a23422823cdb11971a","datavalue":{"value":"1184.68318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846015$29129C10-C1C2-4D7E-9C62-0A1E4D2D888F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846015$AA10E66C-EE39-4D8C-B0B3-79F8B468A5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef644520868ad4c5cf8cd65ad73911c814055439","datavalue":{"value":{"entity-type":"item","numeric-id":846014,"id":"Q846014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846015$4B7E5273-3508-4640-8E33-28DC090DDB3B","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":"Q846015$ECA7C429-7569-4C46-A00D-0083661C7BF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q846015$51BC5F3A-478B-4FDB-A9FA-8E2D4F293650","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846015$8FE9156C-0FEF-4C82-A737-439F4609BD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846015$9DBA100C-2FB4-4CAD-8F21-B0174AC374B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846015$D7048305-33BB-44DE-BE67-631A7FE38F92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"951eecc07b993b177069f7e77946dc58520b1352","datavalue":{"value":"5664812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846015$CEFA201C-6C87-46F1-8E05-49780663A709","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c47dec4220d9a6b5b780b7cd50a4fe76e3881","datavalue":{"value":"probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q846015$13DB92CB-EF65-494B-BC17-FE1D709951B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q846015$8F356002-9258-4727-9B7B-B6C86129D49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q846015$FDD8DE3B-1857-405F-84F4-0D7721EB6F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q846015$2E16FD97-B8CA-46F0-A325-6E112A952A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q846015$AD835A3A-28B4-456F-9B75-1761C1AD0ABF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846015$3DC94F32-E0B5-4259-8C99-B440A5CF966D","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":"Q846015$A1C93B6C-A226-4607-ABF5-A0994FD28D72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9b03f0fa0563fffae9f349725df356d5f614b47","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2007.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q846015$8B9DDD66-C604-4F0E-994D-77E412819D60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e7440b3552a49a0b516416bad81144a25634f02","datavalue":{"value":"W2028222307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846015$D39D2857-FCB4-47A7-A207-39DEF435972B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1dc43fd27ca4723016dfb00aa294217a66f3402","datavalue":{"value":{"entity-type":"item","numeric-id":1858436,"id":"Q1858436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846015$734E8DF9-E1ED-4198-9CE0-E880C20C681C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846015$6D051ACB-30FA-441B-86BD-550A933F9776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846015$7D06ECB5-C926-475A-9480-0745FEA202EA","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":"Q846015$46B014BE-32EA-4DA3-ADBE-BECE87A1B931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa696feaabd4bd394b2480e10c573c4753acee86","datavalue":{"value":{"entity-type":"item","numeric-id":4270052,"id":"Q4270052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846015$521E59BB-5F92-418D-B651-FBD09837BF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846015$A311AB40-7A48-4F98-9769-7A7527600734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614c6e62be4436a6012854ed27b0876322223f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5528211,"id":"Q5528211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846015$31337CA7-3BED-4F9B-AA68-934D71D0F2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846015$03AFF142-853C-4CE2-936C-D0BAA581D5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b0c20225553192aafbc4437494eef2dc3c5319","datavalue":{"value":{"entity-type":"item","numeric-id":4508303,"id":"Q4508303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846015$12D33996-D410-4020-A6F7-7622A28C2440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"278018e2bacb6d8ea592fa12a67c371e077b2897","datavalue":{"value":{"entity-type":"item","numeric-id":1229833,"id":"Q1229833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846015$D72701BB-6590-4B87-A2E9-D45EDE7ACB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846015$76A3436A-8C32-4929-99A1-5CB6C85AD4DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50749728eaaaf0936a4168ac796f7e3bcc91818b","datavalue":{"value":"10.1016/J.IPL.2007.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846015$41E31B1B-2FD9-40B0-AF0D-CF9C3642D123","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c091b590b782bd3df6c25b801aec6df5df4fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4791267,"id":"Q4791267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"716868d6103f5149e0a70dbfd2005ede78d024cc","datavalue":{"value":{"amount":"+0.8015649318695068","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":"Q846015$E2ADCD37-FF59-4460-865B-ED0E47711399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42fda845dd1b0e66bb4a54d009dcbd25f755874f","datavalue":{"value":{"entity-type":"item","numeric-id":3100947,"id":"Q3100947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7957dfdc5ef9ea4c19d38287c23500fea855832","datavalue":{"value":{"amount":"+0.7839820981025696","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":"Q846015$795239E6-BAE5-4F92-92D0-49B2C02B4B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968c0e7a3dfa5fad87f28139ae9457617e795d64","datavalue":{"value":{"amount":"+0.7676381468772888","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":"Q846015$0C15F0B7-90CD-4A6D-9515-35944C9FB819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684ae8713c9dd9a87dfbc129bc87879be0efd8b6","datavalue":{"value":{"entity-type":"item","numeric-id":1853732,"id":"Q1853732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a6a63f7cde56e408939fe56c81cee7be769c64","datavalue":{"value":{"amount":"+0.7650045156478882","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":"Q846015$10ACA30D-C911-446B-A410-2D7BF088FC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a540b391114ecfc41681dcee8da785ecbfa0e800","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868633f3bc92a80b3a29b2bb1f7c773225394dcf","datavalue":{"value":{"amount":"+0.7599162459373474","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":"Q846015$090A6845-5B64-4577-914A-F47B336CA8CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"State explosion in almost-sure probabilistic reachability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/State_explosion_in_almost-sure_probabilistic_reachability"}}}}}