{"entities":{"Q2986795":{"pageid":2997519,"ns":120,"title":"Item:Q2986795","lastrevid":58091244,"modified":"2026-04-03T18:40:35Z","type":"item","id":"Q2986795","labels":{"en":{"language":"en","value":"Decidable problems for probabilistic automata on infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718078"}},"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":"Q2986795$125D9ABB-9A29-4FB8-A5A5-A3D557E432B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bce6653a7c722aaaa9bd64a86087433166afaaa","datavalue":{"value":{"text":"Decidable Problems for Probabilistic Automata on Infinite Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986795$122093F1-560F-4312-A6DE-7FB8680636D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78560e0ada394e612ea01be0818ed1c8a4663ed2","datavalue":{"value":"1360.68546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986795$EDFB1D24-E02F-427F-9157-71473D2183A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c94187762dfd6a993db497aea56d454dffd0975c","datavalue":{"value":"10.1109/LICS.2012.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986795$5AB099EC-75C1-4572-9791-551227920A42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986795$88852F1F-57A3-45D6-BA7D-06363926AF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10fdeaf8c5c518e519257bb6e50b10a568d43808","datavalue":{"value":{"entity-type":"item","numeric-id":269508,"id":"Q269508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986795$543643FE-A89D-4937-AB5B-B6BB93D92766","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986795$2CA04CB3-E52C-4FF6-9C8C-4BA9E174C6FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986795$4BD9E681-6025-47EF-8F57-60E1BAB0FA0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cd11df4f1fe20671068bc1abd84761d718de854","datavalue":{"value":"https://arxiv.org/abs/1107.2091","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986795$D6D1F1B3-4D7C-4237-80B8-12AF7DBE0657","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986795$D2A2DDD9-050D-4D49-AE17-71AB3093D5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986795$2D388C2F-B9CF-4F9B-958F-CB31FFB2C03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986795$C2BA8175-A063-4597-9993-3BCA6BC2A9C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21d8d5f1819ed313258f7971f4150487ff5e2307","datavalue":{"value":"6718078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986795$41475292-9631-4939-918F-4C258E1A43B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986795$33398AFA-8E9E-4239-96AA-09A7C22FD70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986795$D50307EA-5436-4525-91B1-BB4FA541B6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986795$63596EFD-B3A9-4DF2-887E-74D23BB52819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efd6da8f67c124968965f5a632926cb66e6b20b9","datavalue":{"value":"parity conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986795$F05BC9FE-7FC5-43A1-96C8-940B37B034B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986795$7DBE20D8-0ADB-4186-8C49-5BA23DE44D01","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":"Q2986795$C246D7FA-3FFA-412D-A4A6-4B3796043E99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd98f5a88d79f2a82a30560ca7c27826cd7e461e","datavalue":{"value":"W2079852549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986795$76817A5B-E40F-45EC-8583-9A8078754115","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6b5ca5e79a79f1a420542ba62f63f7c50bba8f","datavalue":{"value":{"entity-type":"item","numeric-id":4931278,"id":"Q4931278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25988aea09d0d1be1a4e17ad733284f4022f2cea","datavalue":{"value":{"amount":"+0.950423777103424","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":"Q2986795$D7F3E899-E837-4F33-BB13-0D0E1FD14339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39b75f2b8f92843520046e23b416eeeb1a39e48","datavalue":{"value":{"entity-type":"item","numeric-id":3587465,"id":"Q3587465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f289663b364f01bbe5a38fae047797d195c85d","datavalue":{"value":{"amount":"+0.8717923760414124","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":"Q2986795$2F068F56-6725-4FE1-942B-255DD4D71055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b06f2845e0d0c125183886d192f3c5a5eabaa7","datavalue":{"value":{"entity-type":"item","numeric-id":5146511,"id":"Q5146511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"134afc860dd65ea81aac10c899e6aac1234e069c","datavalue":{"value":{"amount":"+0.8675232529640198","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":"Q2986795$83BF3329-43D4-418C-AFF9-409EE782AE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396859a2f6d9493210e856a96b4b135221f36d46","datavalue":{"value":{"entity-type":"item","numeric-id":5458366,"id":"Q5458366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9956bab19ebd6578077fcfa4781dcd09f7334f","datavalue":{"value":{"amount":"+0.8587667942047119","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":"Q2986795$6F35A01C-9CF9-4EE0-8CE2-35FC3849EE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c69e9f24da660aca51b111a62ab611ef7a529b2","datavalue":{"value":{"entity-type":"item","numeric-id":2946733,"id":"Q2946733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7e39f09dbca01e5ee8e1d33b2a608fcdde5331","datavalue":{"value":{"amount":"+0.8409756422042847","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":"Q2986795$D2FDAFAD-C6E5-42AD-B05F-CAB074D0770E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986795"}}}}}