{"entities":{"Q4914007":{"pageid":6943586,"ns":120,"title":"Item:Q4914007","lastrevid":51695036,"modified":"2026-01-19T12:53:02Z","type":"item","id":"Q4914007","labels":{"en":{"language":"en","value":"Decidability and complexity for \\(\\omega \\)-regular properties of stochastic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6154952"}},"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":"Q4914007$7B87ABBD-C8F7-411F-95ED-5AFEEC0F47BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f8002f85c06cfa5adcac65f8095d8c857e12057","datavalue":{"value":{"text":"Decidability and complexity for \u00a0-regular properties of stochastic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4914007$8EE2BD35-A1D3-4B27-9CA6-EC308BA598F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a324364101d8254b9fcfdc0e1b487cbf0e5a30cd","datavalue":{"value":"1277.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914007$288CCAEB-6402-4C2A-89DB-9BBB0ED1127A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad757aec17a8570e2102d57df4c93baefd6019","datavalue":{"value":{"time":"+2013-04-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":"Q4914007$08D5652A-ADAC-4249-89AB-3337304E90BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914007$41FCA2FB-F957-4F2E-99C5-C44EC70A9D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914007$DE143906-0E90-40B4-8B1F-0AD20A4B74DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a5c73d0f2a3e31ce9ffb08342d3033d4ebd6057","datavalue":{"value":"6154952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914007$CB727B7F-ED65-4C4E-B1BD-4765A576A18B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8584c6e1f30022e38b3142ba97a768d1f1ecb116","datavalue":{"value":"probabilistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914007$1C8C39F9-C231-4B39-A4FE-F680B21E8138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914007$72B1D398-2FC3-45A2-8F98-81D9CC503233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914007$FC6BC1A9-9BD8-4EEE-8ECA-631350CD4A57","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":"Q4914007$2CF3C3A8-DB2F-4416-A3B6-0C81791490A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7e5cf3ba9be40183ef26573fbfae66155262854","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzr054","type":"string"},"datatype":"url"},"type":"statement","id":"Q4914007$2723B215-8C0E-40E5-9726-C6D2FF34A417","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f00c247dac0967905a8652ed5c25e275fc1c9df","datavalue":{"value":"W2036947848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914007$76CDDCE9-DAB9-408B-B87E-72076BCB48F0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1ad6e25002d3e269c241c7ab425a69b31d82befe","datavalue":{"value":"Q59196661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914007$EA1AAF0A-61C0-49EA-AB27-04E0168B4B4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3088bfad151ed46191813ba25e3f76fe0c16438","datavalue":{"value":"10.1093/JIGPAL/JZR054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914007$C723A0F8-5432-4485-9562-5200632EFCC9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"09d6ead0863bf1986dcf6b4730cf021f2e00017b","datavalue":{"value":"journals/igpl/HenriquesBBM12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914007$1728297E-A6D1-4AFC-9A2F-81074BF26A14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914007$D9F2A720-A3C6-4C74-A6A8-65B5E7B345F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41f1a17c84a20e42684c096b88b1ee9405cbc0f","datavalue":{"value":{"entity-type":"item","numeric-id":4635861,"id":"Q4635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cb71fba07017eff3ef493ec3110393a9192fd4","datavalue":{"value":{"amount":"+0.834276020526886","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":"Q4914007$4E05C3C6-B657-48E9-81C8-9E7FA786117F","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":"1506c5ad77b4742c3229bcccb2935c78c386b36e","datavalue":{"value":{"amount":"+0.8050858974456787","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":"Q4914007$78A2B14D-28B2-4EB9-A991-89F1C6F7A1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25233e7eb47f7098522faf6316788821040861b","datavalue":{"value":{"entity-type":"item","numeric-id":5009450,"id":"Q5009450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a972bf75bbdbfc46f9c2a5d177c9ae756ef6cb7","datavalue":{"value":{"amount":"+0.7971628308296204","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":"Q4914007$85C2DCEA-214B-40B0-88B2-FD4FDB23CE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6145a40c5d2afbcd19d7b48b52bb00296d6f75b","datavalue":{"value":{"entity-type":"item","numeric-id":4722046,"id":"Q4722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3373622c9fbca43e7e0b4e895ea9ff0977620885","datavalue":{"value":{"amount":"+0.7970340251922607","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":"Q4914007$7120A754-E723-4649-84E1-C039F1390867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab49dd9b477f3e4628229a95f94a5c17244fc7d4","datavalue":{"value":{"entity-type":"item","numeric-id":3400533,"id":"Q3400533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf6a12593d70d130a992dc322157d04af1ce8db","datavalue":{"value":{"amount":"+0.7780754566192627","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":"Q4914007$55B4C3C8-172C-4AA3-A5A0-16FA938C3B96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4914007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4914007"}}}}}