{"entities":{"Q2946660":{"pageid":2957380,"ns":120,"title":"Item:Q2946660","lastrevid":52347314,"modified":"2026-01-22T10:12:08Z","type":"item","id":"Q2946660","labels":{"en":{"language":"en","value":"Model checking of recursive probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483166"}},"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":"Q2946660$985728A1-1F51-4890-9A80-B5A29BED349E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"760b71ca0e2a567f22448b1034af264449c7c95b","datavalue":{"value":{"text":"Model Checking of Recursive Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946660$FBE6FE86-2037-4AC4-8B55-480F98FE3A22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e611ff61bd263fee7db30ebee89bfd21a1b1109","datavalue":{"value":"1351.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946660$FB5D39AC-2DA2-4DA2-B9DB-8885998FE111","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6aca053650cc350582f0a6b274a458d8413facfd","datavalue":{"value":"10.1145/2159531.2159534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946660$64427A48-D8D8-4EAE-BD62-39DDEA7372A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2680b29e301ca65d036ea477d294af6c3aa1eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":294840,"id":"Q294840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946660$2DD2584B-5145-4AC2-887C-983C189286CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64789e48fd3ab0a44b5ae0aa6d85c1c024312026","datavalue":{"value":{"entity-type":"item","numeric-id":458479,"id":"Q458479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946660$6B50D45F-9E4D-4DAA-B834-2821D59700DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946660$E4CBBB89-4C6A-4598-A276-231FFC14B7BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946660$4A2651B9-3067-4F12-A2C6-58B8675DB78A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946660$244931AD-9213-49AA-BF30-4AD0BBCD392C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946660$DFB400D8-33F3-448C-8FDC-FAC924ED8ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946660$247D9B89-942B-483A-9FD1-1377D5C7E658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946660$2CF445B1-EF03-4C9B-B14E-DDD0A30F1474","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea0cf06266fdf81b2c4704ce471575eba945c10e","datavalue":{"value":"6483166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946660$CB12D99F-1D18-4D3E-9F55-46AA812BCC8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946660$3052E7B8-DB12-45CD-AE8E-8C21823B1B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946660$B02B25E5-5C8E-4508-8D43-8F71070835BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946660$9C9918A0-3A30-4B46-A4D9-98D5F8916471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c47dec4220d9a6b5b780b7cd50a4fe76e3881","datavalue":{"value":"probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946660$DC631CDB-6EA5-48D5-B306-CCFC241B4967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946660$B8183BB0-EE6B-4675-B9D7-AA20CEE99CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd9fcf6234df2e490f28ac88e940db66bf15a135","datavalue":{"value":"recursive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946660$D6D35B6D-FC7B-46EF-98EF-357F80FE42D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4016889ef417675ac261cdfb9d5c6b33c74af23f","datavalue":{"value":"stochastic context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946660$D3AEA9B6-49C8-4920-98F6-B5CD85D565C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946660$2964C91D-61CD-41AC-85AD-DC28FBA6FDFA","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":"Q2946660$3BDC92DB-747D-45C4-A8FD-31B777208F72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c8812600c39caff931c5b2819e650b4e11582f6","datavalue":{"value":"https://doi.org/10.1145/2159531.2159534","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946660$E6FBACED-CAB4-455A-9BFC-8CF56DB1A185","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8ed02b5d6b83773fcc6be88c7ddb101464e92bd","datavalue":{"value":"W2142921329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946660$522EB666-4CFA-4315-868A-58BF2CAD14E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60551692e600e110ca5b90f3a1d772a55d43c8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5703763,"id":"Q5703763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03be422cd47f658643cf948d151b94fd83017a97","datavalue":{"value":{"amount":"+0.95479816198349","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":"Q2946660$4C15FF4F-1148-4B32-9174-50EC5DB02EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1d94fc18b7d2f4e540be7082c24a45f818af0b","datavalue":{"value":{"entity-type":"item","numeric-id":3452195,"id":"Q3452195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5945ceaa4d2975e66e3998c3302bf66984470f81","datavalue":{"value":{"amount":"+0.9028364419937134","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":"Q2946660$AAF2EBEA-87D3-40F6-9676-6B0FB9BFD562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f51c6d54fe1e5d2595c0c8ec47c30a92e6e54446","datavalue":{"value":{"entity-type":"item","numeric-id":5710687,"id":"Q5710687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544e2f3a323062692c379fb5ffad36bf727f3ff7","datavalue":{"value":{"amount":"+0.8976935744285583","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":"Q2946660$15022166-0E04-49D0-BEF6-051AC8B2CF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bacba585d51ccac48955f8a0b480b51110cf61","datavalue":{"value":{"entity-type":"item","numeric-id":5716837,"id":"Q5716837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7386d2afdf647fa3d8768683bd0598b1654b095f","datavalue":{"value":{"amount":"+0.8813519477844238","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":"Q2946660$9FFE5DC9-D222-459F-BE09-20875798F1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee755c289f87844c00ec59e1d5c21d6e5e58ecc","datavalue":{"value":{"entity-type":"item","numeric-id":3602797,"id":"Q3602797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15067e7be4592394f7a6efe8612bb635e93c5393","datavalue":{"value":{"amount":"+0.8799923658370972","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":"Q2946660$E377933B-FD72-414A-BFC0-3698199704EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946660","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946660"}}}}}