{"entities":{"Q1068544":{"pageid":1079296,"ns":120,"title":"Item:Q1068544","lastrevid":66205779,"modified":"2026-04-12T08:15:12Z","type":"item","id":"Q1068544","labels":{"en":{"language":"en","value":"Determinacy of sinking automata on infinite trees and inequalities between various Rabin's pair indices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3932393"}},"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":"Q1068544$91C3A9D5-C5B5-4736-B14C-A75F43FD484D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5343d450fe25f0552b5fa5c9211f8b386bc17b66","datavalue":{"value":{"text":"Determinacy of sinking automata on infinite trees and inequalities between various Rabin's pair indices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1068544$D7B586A5-919F-44F3-A43E-CB85BD70D915","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"170ffa66af3d35fd27c5724a782f779b4702263a","datavalue":{"value":"0582.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068544$1D665B0E-3342-44EC-AF27-504A4C9D06F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d8f57b87ca0a8d7ab10bf5ce3f6e44143a60774","datavalue":{"value":"10.1016/0020-0190(82)90097-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068544$1626A3C1-70D3-4FFF-8D0A-169FF92CF08A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e8170104535c441d8e1d6bd57a388363c0f3ef","datavalue":{"value":{"entity-type":"item","numeric-id":1068543,"id":"Q1068543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068544$76940CF5-F5A2-4FF3-A323-AC7175557477","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068544$30876033-6A55-4C7D-87FA-9E14B330F3F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1068544$7D018AD9-2D48-4E89-B55B-9BB8E50B8398","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae526a3d615728260bc9056059488789ba41240a","datavalue":{"value":"Let a set of infinite trees be accepted by an automaton. We prove that then a deterministic sinking automaton accepting the set can be effectively constructed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068544$6C4D43AF-6371-4C0D-BF8A-14950FC8F898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068544$AA36123E-7C7D-4DC2-BADF-9C77EA397D8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87a0666e27b67e5a4f7c4fae14971226e69e14dc","datavalue":{"value":"3932393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068544$60908F33-B8E7-41F2-B824-BF243CF8D055","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b85971d18c99fac3967ba04be3e8055d0fa69047","datavalue":{"value":"deterministic sinking automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068544$93AD6BF3-5BE4-4C4A-97AB-702E03E50D1E","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":"Q1068544$C6A26CAC-95F6-4BD9-B9DB-EFFC76581CFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"724ff26ac7c8274a795a3e8f8322b54ad7a5c414","datavalue":{"value":"https://doi.org/10.1016/0020-0190(82)90097-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1068544$BDA7E001-B4EE-4AE5-AAA2-44CE2C553598","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9212487d8752823905a01c1c2c6c5bdd8fe500a","datavalue":{"value":"W2167227381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068544$40E71263-AA09-4887-8A57-E13C1DBFAE0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068544$0CD58215-A2FB-4A07-A0EE-D4F545EC1905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba21cd1ac825900e65f895a19d540fb809eec121","datavalue":{"value":{"entity-type":"item","numeric-id":3922660,"id":"Q3922660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068544$05106DE5-79CC-46C0-8994-758F1785797D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068544$B6111146-62ED-4CF9-A39A-EE94B26B1AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46cecdac5a8fc71dede3e166189f135ef510fd6a","datavalue":{"value":{"entity-type":"item","numeric-id":5632564,"id":"Q5632564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068544$183B58B7-B5B2-4406-9A03-08288CEDC4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59293eeb5b02bf53fbf8f0878a16024c278a1bec","datavalue":{"value":{"entity-type":"item","numeric-id":5592253,"id":"Q5592253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068544$A0F396B2-A8D8-46AB-AFF4-B7AF82CEA64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1e092eb099a32d4d756ee9e4c56322cfbee0af","datavalue":{"value":{"entity-type":"item","numeric-id":3873568,"id":"Q3873568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068544$5DF78B19-E847-4FA4-B3FC-021194AD91D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Determinacy of sinking automata on infinite trees and inequalities between various Rabin's pair indices","badges":[]}}}}}