{"entities":{"Q1098325":{"pageid":1109077,"ns":120,"title":"Item:Q1098325","lastrevid":42875125,"modified":"2025-07-15T15:09:25Z","type":"item","id":"Q1098325","labels":{"en":{"language":"en","value":"Alternating automata on infinite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037261"}},"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":"Q1098325$0CB0CA95-BFF7-4F99-8A6C-6F5D94E42FD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3f50063a4a6fe085814dc7584227749c1ea2afb","datavalue":{"value":{"text":"Alternating automata on infinite trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098325$F34BC8E9-8098-4CD4-BAD8-8ADB0E4BBF7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06f1e1ab12de7685dc56f6645fcca9baef923eea","datavalue":{"value":"0636.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098325$CAAA6F14-660F-4A9A-99CC-BA31A0695E80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e60cb59a7fbc47ff5054c24cb2b2e2ecd52321c5","datavalue":{"value":"10.1016/0304-3975(87)90133-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098325$31987038-D6AD-4F9B-86C8-3ED21E5CA9F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d8423f1327302bd91c424093d3752a15cfe97d","datavalue":{"value":{"entity-type":"item","numeric-id":673777,"id":"Q673777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$BCFA282A-08B6-4382-B55A-ED98D80DB322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"698bc4fe65f79b85d517df655a1aca4a01c66cfe","datavalue":{"value":{"entity-type":"item","numeric-id":444387,"id":"Q444387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$AD37E577-251F-4E1C-B4F9-80AAC7B582AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$A3EA218C-7F0E-4F2D-96ED-B007964CFDB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1098325$6CA083A5-F793-436C-99B2-8EA2C7793D0C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93fa95b4946034f8879ccdf0ce1ae6d34906d862","datavalue":{"value":"The conception of alternating automata on trees is developed in the paper. In the considered model of automata the transition function is a mapping from the state set into the free distributive lattice generated by all the possible pairs (direction, state). Languages (trees) accepted by such automata are investigated. A special attention is paid to the complementation operation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098325$8814424C-D349-4110-9C12-205A8768F1AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098325$1DDA0B8D-A072-4C4F-96A5-E933307A3508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098325$7438C08B-B765-4E03-9CC9-DE4B256F564C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8afe84ed2239b91ce363ad10a71c8cc27bb9bbb0","datavalue":{"value":"4037261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098325$A5C2ABFA-F636-4C31-9A6D-B8EA8EA4B09C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aa5351dc33b6baae3be67bab3e751b18d60b9b5","datavalue":{"value":"completion of nondeterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098325$33F356AD-A20A-4F99-92E6-297B58221B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098325$D9F247D8-5F06-4825-882F-023A9B03E4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"739681f7fda444cf0e8835cb89511af024693578","datavalue":{"value":"alternating automata on trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098325$D1F2EE20-A00F-4C63-A43E-8F262243925B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"377196f0936f14c5f40316c205cbb7535714207a","datavalue":{"value":{"entity-type":"item","numeric-id":585662,"id":"Q585662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$9D01679F-3208-461B-B8BD-B0C674F1BF4E","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":"Q1098325$4BE29A0F-6449-45C7-B3D6-BC315C5F9E69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"814e5df31ad0ac21b8b2a3317efb6b51e58aa3e5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90133-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1098325$48EE1A41-6263-412F-B32D-879E4E3083E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3afe5a18622d16c76be7acbc9e6f26dfb3f89eb4","datavalue":{"value":"W1996207810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098325$0E890F00-886D-4B4E-A141-E47A590F034A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$36EA60D0-1E30-480D-AE1A-0C3EAE3EE439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75546c5a0b51849c4db1e7441577e6385b49875","datavalue":{"value":{"entity-type":"item","numeric-id":4143272,"id":"Q4143272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$E6054782-E21A-44AE-89D2-7AEEE800F244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5533d056fe8b5f03876ad0811b874f1e1fe1c396","datavalue":{"value":{"entity-type":"item","numeric-id":600253,"id":"Q600253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$FC00657F-D345-4B48-B5CC-8ADD827456D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$580727E0-0D57-4CC9-B67D-A2C8EDA5C5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9940c0e06b26b1101c84817c76f74d0dadecc1","datavalue":{"value":{"entity-type":"item","numeric-id":5817866,"id":"Q5817866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$474EA750-DB29-47DA-8D8A-0A9552F379D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534913bd52f8bff798206f4217803778d1e40622","datavalue":{"value":{"entity-type":"item","numeric-id":1088417,"id":"Q1088417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$9461C89A-1E6D-48E5-8EF8-2D0EEA09FAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43fb26a4a583966fa9c4a9866625c3e9dd812a52","datavalue":{"value":{"entity-type":"item","numeric-id":1109572,"id":"Q1109572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$5876960D-92B6-4436-AC80-03E4CC02B1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$35267121-08F3-492D-9D45-6C7CB9A10BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f4c06f8a04d278d8b2376a4f43f5bacc871002","datavalue":{"value":{"entity-type":"item","numeric-id":4722064,"id":"Q4722064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$421A4DC0-BE12-42A5-959D-4E45D1820B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$24645876-5C7D-47AB-AA59-1925F1532F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$F8A227B9-259C-43E3-948D-A49CEB9DE5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676e0d168e75a8c1494a4e34b5d529a073c874bb","datavalue":{"value":{"entity-type":"item","numeric-id":3748266,"id":"Q3748266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$055BE076-BCAE-4645-80E0-CF13FE53309C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7161985b274b14fb28a3ad2e286151fe52dcea0","datavalue":{"value":{"entity-type":"item","numeric-id":4726235,"id":"Q4726235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$ACE335E6-0C33-4FB0-94D1-269724542D26","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":"Q1098325$3CB29B27-9A22-4FF9-B88F-74B3E693F694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098325$097F500F-2AED-470F-AC68-B7D3F5876469","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c753c45c6307636e61f8babfeefb3a9a3255a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2074210,"id":"Q2074210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b439870b7afb41aa5340de4dd1f1f08bf5d6731","datavalue":{"value":{"amount":"+0.9598131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098325$6C5A24C0-E988-4E7D-94C4-B95CD2A01465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eda6c78962043f244ba2daf061117aab3597e13","datavalue":{"value":{"entity-type":"item","numeric-id":3746905,"id":"Q3746905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9218b6dbfa40082b345c694e4259c93e8625cb11","datavalue":{"value":{"amount":"+0.9477864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098325$34E2DBD9-7936-4E30-A22C-80FC93382B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec3461ed6a5a7ef868902fdee0ec79108facc80b","datavalue":{"value":{"entity-type":"item","numeric-id":5452188,"id":"Q5452188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5ac610b7699214545ca1e13fc175f1dd9ba7d3","datavalue":{"value":{"amount":"+0.9472101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098325$DB209E51-BE31-4586-BB7A-CB29C5840404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9873ff86ed7854fea58f938136888f9bb766d763","datavalue":{"value":{"entity-type":"item","numeric-id":1186604,"id":"Q1186604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8713a5e0285746ff6c4e6893358714ea9c9301fd","datavalue":{"value":{"amount":"+0.94496405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098325$B081D18C-43A0-4530-B988-B800060DD3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76884062c59a89d0292088b343b1c0ac8539686","datavalue":{"value":{"entity-type":"item","numeric-id":1077932,"id":"Q1077932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf66876ddf85d1c628b645d7e8a66e2aebe6626","datavalue":{"value":{"amount":"+0.9383876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098325$36DECF58-B238-414B-9124-B848D311FAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ab7b04b44474d5aaeb2d9d8749129bcd852ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5044742,"id":"Q5044742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df285a37252e79b86f50ee0b512f03731716a3c","datavalue":{"value":{"amount":"+0.9367765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098325$D9D877CE-E2CE-4846-B8A4-31A1BAB9FA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447fe2e269d7fe02738482df3cf0ade21543912c","datavalue":{"value":{"entity-type":"item","numeric-id":1898484,"id":"Q1898484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df285a37252e79b86f50ee0b512f03731716a3c","datavalue":{"value":{"amount":"+0.9367765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098325$1655026B-E89F-48DC-94B0-85A3C85D159D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee16c4da9d8a110453b73af45735ab0804b672c","datavalue":{"value":{"entity-type":"item","numeric-id":2074209,"id":"Q2074209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64998e09d43f36b91d43ce9ec1295630b4a7a4d","datavalue":{"value":{"amount":"+0.92394435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098325$89DF1CC0-36C1-4D12-B5F4-D8249BA62893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665b26535a28e80a5a4dc0facb8c4dd0c582d46a","datavalue":{"value":{"entity-type":"item","numeric-id":4695499,"id":"Q4695499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f090ba8cb55040f3dac4027ae8345b397ddaf09","datavalue":{"value":{"amount":"+0.922969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098325$AA601C93-8330-415F-B667-B663144E0BED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1098325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1098325"}}}}}