{"entities":{"Q5310649":{"pageid":7340223,"ns":120,"title":"Item:Q5310649","lastrevid":41783847,"modified":"2025-05-08T07:13:28Z","type":"item","id":"Q5310649","labels":{"en":{"language":"en","value":"Model Checking Probabilistic Pushdown Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200119"}},"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":"Q5310649$3D67FAA0-D7E0-4594-B309-05F237CD4C72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"662f9790dd705948bcf321d99f707892d4647b9e","datavalue":{"value":{"text":"Model Checking Probabilistic Pushdown Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310649$65F5585E-EB88-4E1D-84FF-DBAACB484F3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8898ba1fb2a3119935eab2f9e645d6e5aa933d49","datavalue":{"value":"1126.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310649$6D2B5BE8-174D-4181-A788-3719BDEEDCE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b2c9a1797623693fe20d6a3895bcbc8c18e5c09","datavalue":{"value":"10.2168/LMCS-2(1:2)2006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310649$9DECB7B2-2031-4273-9C3D-9A5F33A2C467","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310649$048F0882-CC01-493E-B133-50EE075C88B6","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":"Q5310649$89800B97-BEB6-4CE6-BDA4-3443BE446E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310649$4D8FA683-114E-447D-981B-6410A5D85D45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310649$76D278AF-DA27-4B83-A90F-B5040B5A0FCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310649$F605BDD8-41B5-419E-BB90-79594C99216F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310649$8FEE771C-3823-4071-A075-737E64E04DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310649$26018039-10EE-4233-A686-8CAFE1518E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310649$7E5941D8-FC7C-43E3-97C2-18175E0891E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d4d5231fd134bff2bdeb043cfd15374423997c8","datavalue":{"value":"5200119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310649$674DC522-87F0-4EC5-B175-649D6A913D1C","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":"Q5310649$95334C79-AEA1-477A-99A4-8A0BB6DAC04C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"903501f911bc9238e435b337f482127123a65277","datavalue":{"value":"https://doi.org/10.2168/lmcs-2(1:2)2006","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310649$04110F0E-7860-4452-A283-910C49100049","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6fe5637b008a96ee04557f45d8cd4660246f2a4","datavalue":{"value":"W3099666054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310649$0C6F05CF-4B9D-4FDE-8710-95F12A6F4A5C","rank":"normal"}],"P1643":[{"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":"09af61870056e8029018b789c23fba0737b9d3fe","datavalue":{"value":{"amount":"+0.9490862","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":"Q5310649$D13BE6EB-D187-44DF-9CD6-38E9AA051590","rank":"normal"},{"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":"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":"Q5310649$485C788D-A7CF-4648-9BDD-5B1198B9139B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c04375693d462050ab186ef4ec2a834e9b9c877","datavalue":{"value":{"entity-type":"item","numeric-id":394999,"id":"Q394999"},"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":"Q5310649$39897C81-3E18-4E53-98FB-622F8EC8F350","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":"9012314021b91eff9cac77d117b59d456afc9362","datavalue":{"value":{"amount":"+0.9329649","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":"Q5310649$05047DDB-4AC0-4E6A-AC31-805CD31CD12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb54c6371a1e6178d7b119dc9dd1c73e309ed08","datavalue":{"value":{"entity-type":"item","numeric-id":2766628,"id":"Q2766628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fef8cc0f8446426038521954d06139c040ffd0c","datavalue":{"value":{"amount":"+0.9323293","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":"Q5310649$D4DEB82C-B08D-4CD5-B6BF-602D2784E36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77787baa39ef44cc2b5b445b518f21acb6317e3f","datavalue":{"value":{"entity-type":"item","numeric-id":989292,"id":"Q989292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48aed16c048b524f8a8fa5951e5667b4a47aaeb","datavalue":{"value":{"amount":"+0.92486095","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":"Q5310649$6FCF65E9-3635-49A5-9BFA-4828000B21CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead46fe87049dd32c232713cb4cc633dafa0dc82","datavalue":{"value":{"entity-type":"item","numeric-id":2248071,"id":"Q2248071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab30fb2ce7e1b443ddd5e11f0f4b1550ab3eb48","datavalue":{"value":{"amount":"+0.9238416","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":"Q5310649$13557832-5617-4F9A-83D7-68266B61122B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4947bf0221aa37049a819bdd1edcd87053e9cdb7","datavalue":{"value":{"entity-type":"item","numeric-id":4635859,"id":"Q4635859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d829f3c0166613faa27b9acc16e61fdef18cd38","datavalue":{"value":{"amount":"+0.9218882","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":"Q5310649$35B65251-68A0-4408-B215-AEA0135634B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345ce6084d877d4521444930d1628629a7e3a3b5","datavalue":{"value":{"entity-type":"item","numeric-id":2946660,"id":"Q2946660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dfecc667c8b49b394e7c03fc8ebf9470dd6367e","datavalue":{"value":{"amount":"+0.92080504","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":"Q5310649$26FFD542-85F5-4415-8543-03BE8C0266B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55647dbfb113495c09084b21935637528ec7caa6","datavalue":{"value":{"amount":"+0.92053837","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":"Q5310649$1C445003-6B29-4F23-8BF6-5CA4C6CFC43C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310649"}}}}}