{"entities":{"Q394999":{"pageid":396766,"ns":120,"title":"Item:Q394999","lastrevid":61549029,"modified":"2026-04-11T00:04:54Z","type":"item","id":"Q394999","labels":{"en":{"language":"en","value":"Branching-time model-checking of probabilistic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6251115"}},"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":"Q394999$0CAAF73D-BCC4-4C51-9C68-9A5B74F06159","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fe3dfe3f64fd3101f357343a431dbca02d235ca","datavalue":{"value":{"text":"Branching-time model-checking of probabilistic pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q394999$4B7FCA98-6545-4083-A83A-95B3419C74F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccc1e51620cbcf35f1e2fe0efe6880104a73a323","datavalue":{"value":"1311.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394999$728DF690-9D35-4E42-A24A-2DBA750EAD33","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":"Q394999$D9CE7664-F29B-4A05-97F6-F20714FFBB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e225f798ff5e7614b09b8c51599bcf33fc63cabe","datavalue":{"value":{"entity-type":"item","numeric-id":391113,"id":"Q391113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$2B5C9134-1E43-4EB6-94BC-B1D56ADC9A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d285282e4a9951aa1b8c348642148d118ee6e0","datavalue":{"value":{"entity-type":"item","numeric-id":278753,"id":"Q278753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$17263B0C-E043-4CAF-B476-38B67F1B3588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$E01D0EF7-5D2E-4DAF-966B-334482606E2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$34D9DA94-B8ED-4437-9443-91946672EAC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa587b851cf8f75882b7d22be7aeb7adf95646a","datavalue":{"value":{"time":"+2014-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q394999$EB4E836E-FE97-4042-8255-9E4EF316B067","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394999$CCC667A8-D09D-4A25-9915-79B77E62FC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394999$2DB5B08A-765D-49D8-8865-E9C05C94B0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394999$870ABBE1-25E6-4340-A7F5-E01CA36C73C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86bcebaa298ea7e603e07e4b0478b0db14ff8aba","datavalue":{"value":"6251115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394999$AFCF03DD-570A-4838-B5B8-CE62641A58E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c47dec4220d9a6b5b780b7cd50a4fe76e3881","datavalue":{"value":"probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q394999$380BAA0C-1F45-44F6-8D20-DD8E1F0B8921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q394999$63C63F51-1321-4ED3-B97D-DE28F6414CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e096d272ef87e4397df5fbd94c5f3b5a59c61e","datavalue":{"value":"branching-time logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q394999$DA72ADFF-12CA-4E24-95E5-D3416BBC6AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q394999$B6D562FC-D78A-4936-9140-D5DEF45B7838","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":"Q394999$9C8196C3-7295-4C58-8909-F59CE89899ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8e631a065afe89cbcdd570cabd6192298ec47e2","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2013.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q394999$3737E364-146E-449D-802A-32BEF0C65680","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fc41c5d7f913d3907585432acaf3a92736c99c1","datavalue":{"value":"W2088970711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394999$9EF061D2-6A30-409D-AD3C-EA57A8A5BA84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f25475fd0a5da8e92445c1e41a319cf02bb138","datavalue":{"value":{"entity-type":"item","numeric-id":4536611,"id":"Q4536611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$9664AD79-3562-4278-8C01-EB91CBB88E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c9f9c418382824d2175732eb97c5ec8a5259b3","datavalue":{"value":{"entity-type":"item","numeric-id":2373715,"id":"Q2373715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$4C4077E8-D84F-4856-AAAC-DDE7D019A9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d7977e2ba9ef5532ca35e44df6fc9c46266c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5505557,"id":"Q5505557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$75A1B55A-637D-4E8E-BAA9-FF80E37F1D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55845186a8aa93134551753376d39f2708562c4","datavalue":{"value":{"entity-type":"item","numeric-id":5417673,"id":"Q5417673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$4018E520-A521-4A27-9BE4-DDDEB9A8C2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ac48e7fbf11ddd3e9ff58274039f67b31bb988","datavalue":{"value":{"entity-type":"item","numeric-id":5179051,"id":"Q5179051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$5CAACE34-A4A0-4664-9F4D-A37F30EE4CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251e10077942cdb86bd338ffde8af79e7fdeacca","datavalue":{"value":{"entity-type":"item","numeric-id":924718,"id":"Q924718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$FC1A7732-D793-4C4D-BF11-4BEDE20CD1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d442c50c1059a7bc330ae88c7e4967fe583aae7","datavalue":{"value":{"entity-type":"item","numeric-id":5389978,"id":"Q5389978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$BCD50BF7-11AF-4646-93E4-714E967D6233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97ae178cefd39644a97e4a992545cd9a018e0bc","datavalue":{"value":{"entity-type":"item","numeric-id":2248071,"id":"Q2248071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$44DB41E5-579A-4DB8-A9CB-EECED4DE8FD6","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":"Q394999$885CDA15-5DBF-4636-9F46-17DABA58F30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ad3f590870ee5c4bb6817717a648be99f36b59","datavalue":{"value":{"entity-type":"item","numeric-id":2388726,"id":"Q2388726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$55DBE4E1-22B2-4F6B-8490-6919C322B985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9d1825e985bd9d3ac22966e44befbddbae3977","datavalue":{"value":{"entity-type":"item","numeric-id":5310649,"id":"Q5310649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$50C1E472-53DB-49A2-BCF7-4E44E58333CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e902457964a312a605389238232d33897eb4c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$401A2D7F-4C5E-451F-8C49-2AD376DE1DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce3da468c7ac65c043f6875e0dadc26c21b6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5703763,"id":"Q5703763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$1765D13E-008E-4415-8930-479BECA846DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1af63d4fb1b182e57889faf02ebb0ec9fbb312","datavalue":{"value":{"entity-type":"item","numeric-id":5710687,"id":"Q5710687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$1D977A37-043F-45E1-A93C-A497C3BB0906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6caf9c4f5f4d778c04cb9948f99bacdf8f1fc5bb","datavalue":{"value":{"entity-type":"item","numeric-id":5716837,"id":"Q5716837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$9EA2D182-C289-4D1D-A441-1FA44082C42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7618dba3c858d60e577e7b915b9ef7225ee18f34","datavalue":{"value":{"entity-type":"item","numeric-id":3452195,"id":"Q3452195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$4A815010-8A3B-46FE-B1C7-AE103E425CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a5997e6e34fa5913f18d9e7ce62958d15fc200","datavalue":{"value":{"entity-type":"item","numeric-id":2946660,"id":"Q2946660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$C0423448-8B41-4F82-BFF3-DF5E41AD14E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$BFD677D9-6AAB-4A38-9FBE-5BFAAFB3AE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$A3FB8D2A-E3C6-41CB-B522-2A35B21FCF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6a71dba194b785f56a46133e3f797603b5dc96","datavalue":{"value":{"entity-type":"item","numeric-id":3322961,"id":"Q3322961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$0CA994B1-B84F-4A7B-8F92-078883539620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ba6ee4184d1e83b23af04ea3e34386770ce9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394999$3281BCD9-ACCC-4413-A869-12EDE769FD22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1ac4c08e8ccf5cf581ffee1ab0108a5645336e9","datavalue":{"value":"10.1016/J.JCSS.2013.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394999$52EF1626-6F6F-4F84-8431-17C04C0DB987","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbeb5be04b71fcbff7e31914cee92c32b38f1116","datavalue":{"value":{"entity-type":"item","numeric-id":5179051,"id":"Q5179051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q394999$4FBBB530-9731-4FE4-A6A1-B72DEE8FA305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bbaef5ac37279165ad2f9f44652ea2f19945a27","datavalue":{"value":{"entity-type":"item","numeric-id":5310649,"id":"Q5310649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd71921e8c2a49b92f6c72cf7eddfcdc4ef5fee","datavalue":{"value":{"amount":"+0.9436799","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":"Q394999$6E15B1CA-4796-4EC3-8CCB-61A8AD715AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b702809e4a0dff96ecb6ad9b3c50adcdf5d6a7f","datavalue":{"value":{"amount":"+0.93462425","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":"Q394999$C3CB8B43-8B4C-4A90-AA91-04BF8066FFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea9ea125d27c953753988458edfd6c4cfa5662b","datavalue":{"value":{"entity-type":"item","numeric-id":2373715,"id":"Q2373715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804040e7b5b9dd61efa1ea953d298aa44ab7ebb3","datavalue":{"value":{"amount":"+0.9226501","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":"Q394999$DC878D8E-699E-45E9-98A3-A358A7AFD332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47a629199f8fe94bb2f0ea4c5130a6c745bf0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5898610,"id":"Q5898610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804040e7b5b9dd61efa1ea953d298aa44ab7ebb3","datavalue":{"value":{"amount":"+0.9226501","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":"Q394999$252565E7-1D86-4D23-81ED-0D84B316638D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6ed82a4e071cebe633b229977f5f8f7434700f","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a5f9718dce343f996485671feb9f60fbcfd59d","datavalue":{"value":{"amount":"+0.9163497","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":"Q394999$AB56CEEC-2B3F-4699-9E3B-DBC8A3A7BE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62bfd735b950b6375c82424663ada2a2ca217409","datavalue":{"value":{"entity-type":"item","numeric-id":5710670,"id":"Q5710670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad7113cab09a4fd66cd5ac4f8602fa274960865","datavalue":{"value":{"amount":"+0.91494715","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":"Q394999$F3C66387-61EC-4593-AA19-B9B725BE28D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b002307e96e21df399a9fc14c164871ba8e9f0","datavalue":{"value":{"entity-type":"item","numeric-id":436316,"id":"Q436316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f8bda886487e71facf11ac19d5017ef54518d73","datavalue":{"value":{"amount":"+0.91393006","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":"Q394999$3800CB91-201D-4426-836A-C4C4C56BDF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2371235f90af57c2890818900547cf62c63924","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db743857eb8781803b55ee31c114818133f70213","datavalue":{"value":{"amount":"+0.912151","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":"Q394999$AF2781A8-F9A3-457D-BBDD-F7557209392F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e054767b216b1b268d6dd1d73c8b175da91c78ac","datavalue":{"value":{"entity-type":"item","numeric-id":5464754,"id":"Q5464754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db743857eb8781803b55ee31c114818133f70213","datavalue":{"value":{"amount":"+0.912151","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":"Q394999$C591E806-568C-47F3-B71C-F6B196ADE419","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branching-time model-checking of probabilistic pushdown automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Branching-time_model-checking_of_probabilistic_pushdown_automata"}}}}}