{"entities":{"Q5263763":{"pageid":7293339,"ns":120,"title":"Item:Q5263763","lastrevid":92161661,"modified":"2026-06-05T01:01:32Z","type":"item","id":"Q5263763","labels":{"en":{"language":"en","value":"Decidability conditions for problems about automata reading infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6459999"}},"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":"Q5263763$DC846F98-06FD-43E9-9495-C0EEAAFFDB60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bd08f18d53f6454ecbec2f75453a8e256f56e19","datavalue":{"value":"1324.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5263763$2A2441FE-80C4-41C7-B70E-43CE325741B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d49f378e2465d1970cba7813573d5786a27fb77","datavalue":{"value":{"time":"+2015-07-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":"Q5263763$5DF0F393-CC51-4E32-8318-59ED449258AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05f179eabb20279dd4e9f986750fc0a53690561a","datavalue":{"value":"http://mathnet.ru/eng/da679","type":"string"},"datatype":"url"},"type":"statement","id":"Q5263763$201CD462-FB6E-4FC3-9BD9-B56A134A88D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5263763$12A772D9-D665-480F-80A1-B8756DD1BC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5263763$C731AEBD-F3E3-4BBB-B88B-232698EF9677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5263763$B078E69E-18FA-4CB1-B544-5DB6D31D76C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f351726d1dc7dd5c02d0f53b45f8e34dcb19289b","datavalue":{"value":"6459999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5263763$2396D7BF-5DED-4712-907F-ED6A089A4499","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6aea74805372306aa7931b27ff14af9d95c3dff","datavalue":{"value":"infinite word","type":"string"},"datatype":"string"},"type":"statement","id":"Q5263763$A2610646-58FE-41C8-A49E-4512FEEFCC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5263763$1AABF06E-C675-45C3-8FD7-FAD2C3E05B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2157b73def31f37a018efe23ba33e9eaf88ddaca","datavalue":{"value":"algorithmic decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5263763$99EA2AE1-2062-441F-99E0-C87BA319F6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3cac355ddaf84702bb851e1974a646f351536a4","datavalue":{"value":"monadic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5263763$9E001F2F-7C33-4E77-A425-BFB2929489DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4781c854ef97669948e26e2788e10bf82c22e071","datavalue":{"value":{"entity-type":"item","numeric-id":943843,"id":"Q943843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5263763$A092A98C-125E-47B9-AE33-B4D5E10660C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d42ccf8518c1e1d485f14086f9492d8f8be1ab68","datavalue":{"value":{"entity-type":"item","numeric-id":832957,"id":"Q832957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5263763$F7D28F47-CEE7-491F-9991-A9BA91AF014A","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":"Q5263763$787B990B-820B-4D87-BA32-83B73998F409","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":"9f8e902fb10f24a83bf71c48a36dbdac31dd7854","datavalue":{"value":{"amount":"+0.8146904110908508","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":"Q5263763$55779D0A-F73F-4D57-BF46-51C307FAD603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b1063164453303155d4ffc7852f6d8e299fdd7","datavalue":{"value":{"entity-type":"item","numeric-id":2986795,"id":"Q2986795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c00c11af30704233ac03a5970212833bc7d0ab5","datavalue":{"value":{"amount":"+0.8040143251419067","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":"Q5263763$2E2AD280-DFFB-4516-A950-F822C4EC2AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1aea3af665ad1eb05780fd2e640ddc459392e30","datavalue":{"value":{"entity-type":"item","numeric-id":845856,"id":"Q845856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f563d10bcc3958137b0b3a818eb14d77d6fce57","datavalue":{"value":{"amount":"+0.7700566649436951","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":"Q5263763$3CEDC1CB-6B75-49EE-9F6A-2FC5E734E3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673da81181b243405af450a6899ceec2ece9d6cd","datavalue":{"value":{"entity-type":"item","numeric-id":1061501,"id":"Q1061501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db24cfb07da1d0542a77537000b603a3a178554","datavalue":{"value":{"amount":"+0.7699922919273376","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":"Q5263763$AEF7E6C3-E3F1-4293-B666-67C32988C22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc2ae1a90f450fa5d86d225cb8b555e53270f27","datavalue":{"value":{"entity-type":"item","numeric-id":3738559,"id":"Q3738559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21d8142d44f07d89cfa5421f8e1466d6fb1fdb3","datavalue":{"value":{"amount":"+0.7684968709945679","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":"Q5263763$EEAAB892-D02D-4520-B0BC-37683C925A80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability conditions for problems about automata reading infinite words","badges":[]}}}}}