{"entities":{"Q5389978":{"pageid":7419552,"ns":120,"title":"Item:Q5389978","lastrevid":51452189,"modified":"2026-01-18T07:36:36Z","type":"item","id":"Q5389978","labels":{"en":{"language":"en","value":"Qualitative reachability in stochastic BPA games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027217"}},"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":"Q5389978$4BA4C4D2-AA47-40FB-AF8A-A2E96CE55795","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a19fa649112ffbe5b0b8ed6a579c9613d34e658","datavalue":{"value":"1236.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389978$66F25C27-A905-4A79-ADBB-040AED7C9CD9","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":"Q5389978$D788B31D-6C70-49E8-9CC9-2471833E952B","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":"Q5389978$F7CEA375-E236-4204-8F8B-F66EFEC17B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eaf352a32aa38da3c724a04881fe6df68b2c948","datavalue":{"value":{"entity-type":"item","numeric-id":281931,"id":"Q281931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389978$FAF40CE8-7F54-4242-995C-05AF88C17FB8","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":"Q5389978$B8A0AF6A-87A3-43F7-85F0-291F24AE71CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85ed9f287d2ea9a2dac92419860840c9949df976","datavalue":{"value":{"time":"+2012-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389978$8641AA93-C95D-4A98-B746-E89F2836B0CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a5a4b274071719601a6752e7ec8e7f152f9ac2d","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_c2ff.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389978$BA46B572-81C9-4962-B7AF-F3E372A53F31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389978$F88816BA-8EBC-4B89-959B-6211393C607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389978$77908298-46A2-462B-AAEE-5ECBC9B275CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389978$F9ECE0F1-1484-4476-B138-A67514ACFEC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e56d6e20aec7c61dc090d13029065c2f42bdec60","datavalue":{"value":"6027217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389978$2AF56295-41A7-4986-A8AE-4CD1572D128E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5946a51a5884d5e86db7472d96ff43e6ea9b65f","datavalue":{"value":"stochastic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389978$8DDA0783-85BB-4B02-9520-972BFD0D7B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389978$EF22A312-CFD0-424D-9308-926D9B3707DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389978$7160B420-4670-4E6C-9B2A-790D2FD16BDD","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":"Q5389978$127F9D7C-2D45-490C-B2E1-99E5AADDFB73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87c722ab03791b4d64a5da4c84e814d44d25746f","datavalue":{"value":"W2243301700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389978$DE7D1509-52D3-4DD3-8217-7D6B27D1C3F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66a03db7bc8573a5d679669c9b48d0641987b714","datavalue":{"value":{"text":"Qualitative Reachability in Stochastic BPA Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5389978$149FBD76-8946-4DF5-825D-A3851996DDB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b2d323ad0adc3fb857c12e0a0cff14b5ac3c3bb","datavalue":{"value":"10.4230/LIPICS.STACS.2009.1837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389978$B12C170E-4A76-4AC5-A589-C28D152609CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5054cd88ae19e97978a2828c27953f9c7d3d095","datavalue":{"value":{"entity-type":"item","numeric-id":719240,"id":"Q719240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7bf150f2948e22a1eefd610aafa895db7157dce","datavalue":{"value":{"amount":"+0.993568241596222","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":"Q5389978$9CBFD18C-EBC2-4513-9487-558CC9CEB0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a31af8b605972648cf6baac9941525df63eb0a0","datavalue":{"value":{"entity-type":"item","numeric-id":924718,"id":"Q924718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fbfaf968e0bae940b6a95dd77d532dea3a908db","datavalue":{"value":{"amount":"+0.851237952709198","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":"Q5389978$FA5964E4-0369-485B-90BE-C1E93E7FFBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b3073c1696d5786906b7f56b0ff38b9cca77c9","datavalue":{"value":{"entity-type":"item","numeric-id":5756595,"id":"Q5756595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba7bc466d5a7c6653bb9586be3306e6bb43dfaa","datavalue":{"value":{"amount":"+0.8448919653892517","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":"Q5389978$FB8D4097-E23E-471F-8BBF-DB9010F9CE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f43977c75ecd0c35bb51ff66c0bcca2f8178c8","datavalue":{"value":{"entity-type":"item","numeric-id":3060981,"id":"Q3060981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6807fec08b53948573fdf776317d39cea3202a13","datavalue":{"value":{"amount":"+0.8443121910095215","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":"Q5389978$C53ACA89-8ECB-495E-B800-4F79E90F4E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a096dc4a3a4752f5e6684b999d1f25557a6dcd2","datavalue":{"value":{"entity-type":"item","numeric-id":5170272,"id":"Q5170272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ebf23ac1b8d42fae2c7d488fcffc3f69843718","datavalue":{"value":{"amount":"+0.8407865762710571","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":"Q5389978$A6ED8486-84C7-4D03-9AB1-9BC018F3372C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389978","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389978"}}}}}