{"entities":{"Q2957522":{"pageid":2968241,"ns":120,"title":"Item:Q2957522","lastrevid":52730381,"modified":"2026-01-23T09:19:12Z","type":"item","id":"Q2957522","labels":{"en":{"language":"en","value":"Verification of open interactive Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678474"}},"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":"Q2957522$02596A9C-7548-475C-A245-777E310F5729","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a62cc1f6827e829c7d30f7f194c6e767544db454","datavalue":{"value":"1354.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957522$0EAB0A62-7A6E-4CD6-B10E-BC9DEC709C5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90164f212d81b9976368c619f577477b4b6d4fba","datavalue":{"value":{"entity-type":"item","numeric-id":340567,"id":"Q340567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957522$6745DC27-7FD0-40D6-AB64-E0A10C2A9BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957522$F96234AC-EDC3-47E0-B382-72ECBFCDB59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a1503036b580a7920e1816521ceb8e07b853d6","datavalue":{"value":{"entity-type":"item","numeric-id":1951599,"id":"Q1951599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957522$401F6C33-F152-457C-AE08-A75F63812BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957522$1B66CABC-695B-4CA7-9468-2DE88AD64BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df947b76f92cbda5e54e048fb6e7e1d050d26bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1006889,"id":"Q1006889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957522$19676672-8B20-47A6-9FA4-62C771A17AD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce03103194246a3df27ce58b06ab6f4262232789","datavalue":{"value":{"time":"+2017-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957522$3612E465-A32E-4E88-A1D5-7F1A93072133","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957522$25735434-63E1-4261-93AF-DF2121A38433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957522$EA303ED2-A542-4A08-B137-9564961310EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bfd44d39fc48f1c1778c5522f250d3165ba32e9","datavalue":{"value":"60J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957522$3AA99A35-77F4-4C5B-AE39-84DEE4C7869A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957522$CA28765B-D463-4166-90D0-FFB44D4B41A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42167382d4600e9508501ed2b4301019713f6737","datavalue":{"value":"6678474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957522$5BC5E098-88E3-4B04-AE86-CBB1A79D5F8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd1272ef5fb66e0112fdadac3b13cbb28185d6a","datavalue":{"value":"IMC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957522$0AE145B8-AA45-4352-94CE-F71ABCA93C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957522$4E0DE240-EE81-4533-8DC1-BDBEF5550D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957522$5DF651A2-8F88-4B11-8FA4-678DE6EF68E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22dbfaa47aa18352f6564bd42822d68a1d90e32f","datavalue":{"value":"time-bounded reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957522$EAA30CD7-6DB2-4AAF-B658-C5976662D198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a1864ca0d237847813dca5b1f5ea470fc8b5a0","datavalue":{"value":"discretization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957522$2B7C33BA-62A1-417A-884C-DDC82CD8A5B7","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":"Q2957522$916F4477-F747-4AF8-9443-8DD4BB23D546","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65c2862963449e928f543cbfd895ab96b7535d06","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3882/pdf/43.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957522$B49EBDD8-4634-498D-BD76-71D60189292B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15c686630564de5f38a01f6beeb8063f897bf067","datavalue":{"value":"W2243362255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957522$E1BAB3BC-4EE6-43D1-8E19-6E45D7A36A15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72e67f6bc9d87976ea5c626f292bb1f7fac80b93","datavalue":{"value":{"text":"Verification of Open Interactive Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957522$5EF3D32A-1521-4088-BD1D-99B9CDCFAE9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"971bc328a7ab20505b1880afa38574049d8c2d1c","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2012.474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957522$803932C7-383C-4643-996A-84B129914B2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee715e587f3b38e40866e1cb19df1dea84016d7","datavalue":{"value":{"entity-type":"item","numeric-id":2842120,"id":"Q2842120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2754f84559f07276bcac29ff76c604aae4e5c35e","datavalue":{"value":{"amount":"+0.892693817615509","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":"Q2957522$9C444F66-0339-4CE6-9C3B-80C73A4C26D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61832110239ed7373c308c3d0562a9d33ee6400f","datavalue":{"value":{"entity-type":"item","numeric-id":3557065,"id":"Q3557065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763c4bb9e1a4c9b3ac4a32d11b28e082728e091a","datavalue":{"value":{"amount":"+0.863334596157074","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":"Q2957522$A8323C87-E3F2-438E-8898-C694B25F27DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e78293d3952d2e142ca43e1e02bb92287cc54c","datavalue":{"value":{"entity-type":"item","numeric-id":3066128,"id":"Q3066128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eeebe35a490e410181028006d2ebfc923825841","datavalue":{"value":{"amount":"+0.8468241095542908","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":"Q2957522$1450262E-C6AF-4EF3-B39D-B6EB20D5A2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b59255fa271598cacd0ca41aecd5d8c01076dced","datavalue":{"value":{"entity-type":"item","numeric-id":4936893,"id":"Q4936893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d51681cf6c1b284a811cf0444368da130831af4","datavalue":{"value":{"amount":"+0.8250500559806824","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":"Q2957522$3F9176B5-96BF-4045-B932-64DA7E87FE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f71e30e4d78727581ead3703ac5817c399d95b","datavalue":{"value":{"entity-type":"item","numeric-id":2937729,"id":"Q2937729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3986cca4d0f993196a6264bb32c8bf021b9a5381","datavalue":{"value":{"amount":"+0.8095827698707581","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":"Q2957522$3EE5E8BC-CC86-4923-A354-0E664652A7B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957522"}}}}}