{"entities":{"Q551167":{"pageid":552934,"ns":120,"title":"Item:Q551167","lastrevid":62689038,"modified":"2026-04-11T07:47:22Z","type":"item","id":"Q551167","labels":{"en":{"language":"en","value":"Recognisability for algebras of infinite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5920425"}},"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":"Q551167$580E389C-35FF-450D-8EEE-B65B1A5907E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a88dfe1885e4e90fa3b0caa273a15bb8173aaa6","datavalue":{"value":{"text":"Recognisability for algebras of infinite trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q551167$90627848-A5FA-45D3-8E34-24666CED98F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2779b6ac6409cfb16e4dd25133ef2ee44a7598ac","datavalue":{"value":"1233.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551167$AECD16E7-3CAB-481A-8CD8-A60666583FE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26358bd283f1431ccbb150a944f50fa9cf84f8","datavalue":{"value":{"entity-type":"item","numeric-id":420849,"id":"Q420849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$AC67A513-113C-4671-B955-45FC147B64DF","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":"Q551167$664023F0-5924-4A88-BACD-C63C0D949345","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cb91b61275a9337dc0b3da1b4e47e94aca6afd0","datavalue":{"value":{"time":"+2011-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q551167$579D4D3D-4E3B-4C99-99AE-6046CEFA10CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6c92486363bca7d9cb4432ed33c4f1a26787274","datavalue":{"value":"The author proposes an algebraic approach to the theory of regular languages of infinite trees that would parallel the classical semigroup-theoretic treatment of regular languages of finite words and the many later theories inspired by it. For this purpose he introduces a suitable class of algebras, called \\(\\omega\\)-hyperclones, and proves then that the sets recognized by a certain special type of such algebras are precisely the regular languages of infinite trees. Furthermore, he presents some closure properties of these algebras from which the equivalence of recognizability and second-order definability also follows.","type":"string"},"datatype":"string"},"type":"statement","id":"Q551167$1F85C973-997B-4212-8137-553025FFD37A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$4927ABA5-1CD5-45DF-828B-090FE67E813F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551167$FDB61D28-4EBE-4858-80B8-B0BA37FA1904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551167$F417CED6-190A-414B-822C-49C1BE1874CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551167$96029126-C3A8-4A4C-A456-79F0B8DF4BD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b24f28d867fb45e45cde8d8bdbc756da62cf6192","datavalue":{"value":"5920425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551167$A94CBA0C-B767-45E1-863C-6C3C57DB575E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q551167$C5082B90-EFBB-47C9-8CD4-724118B936CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q551167$A27E47AE-24FE-4E3D-83DB-FE2A555CE394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b34c8c365c0a2abdd28763f4c071a239c7447572","datavalue":{"value":"recognizable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q551167$C76BF35B-2B64-4B70-B1D7-28996902A138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q551167$A6DA18D7-6066-493A-86CE-6FAE1590FB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q551167$170D5452-B9AB-4461-947A-8A1D84021ABB","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":"Q551167$A1A2FEF9-5E45-4FD0-8FE6-C9449FC1064C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7b1ac5f94310314e1e43b470dfc3832f6a0d634","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.02.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q551167$658DFE81-E344-45AE-AEF4-285C44AF4BF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62e6323d1e173424fb5ea26d76193ead68e1707f","datavalue":{"value":"W2011892490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551167$B2F89B2A-B800-440A-A37E-6F27A8B68EB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d5b9e4e67b254e6ef0f1ef17af49db621b03e4","datavalue":{"value":{"entity-type":"item","numeric-id":3615303,"id":"Q3615303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$1892284E-CAA6-4F51-9796-BF9C1C7055D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3814647039d13586ae73cc14259632ef0306780","datavalue":{"value":{"entity-type":"item","numeric-id":3184670,"id":"Q3184670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$6D6A8937-4424-4AFA-BB95-E11EFA832678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe720d0cb67ddffe3f3fe4171b6d2532feaa0792","datavalue":{"value":{"entity-type":"item","numeric-id":3086921,"id":"Q3086921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$747E8D01-5F2F-483F-9ABD-362F82C6496A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59efc6b09788c19ba98a8644ee7655fc7010af2","datavalue":{"value":{"entity-type":"item","numeric-id":2770673,"id":"Q2770673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$E261E37E-D4F5-4F46-9488-DC68467F851E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c387169e062602013ac14233610bba5c7df9de4a","datavalue":{"value":{"entity-type":"item","numeric-id":2490815,"id":"Q2490815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$EBF736D3-7258-4555-9F32-0DB738C4A426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de179ec763f41376ac0bad9ff235d2aff5aedab","datavalue":{"value":{"entity-type":"item","numeric-id":2484441,"id":"Q2484441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$EBBDAFA5-16B5-46ED-93B1-FD94C501EA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5009e590f6447b662f4e206d69b032cde5271e","datavalue":{"value":{"entity-type":"item","numeric-id":3561120,"id":"Q3561120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$D4D129B9-03FF-41FF-BA28-9785A30BF376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$E3255F16-C5B0-4D0B-9CC3-1EB4214B1D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2606f01a9d8a3f8548d5046536818e5b805065c7","datavalue":{"value":{"entity-type":"item","numeric-id":2576866,"id":"Q2576866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$2C9AAD37-BCBD-4D92-8F57-487D4CD0C2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf727cc718156fc5f1153bfcd6c04a9fcecfbbc","datavalue":{"value":{"entity-type":"item","numeric-id":884456,"id":"Q884456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$862A56C5-78E7-4C0B-A13D-2AA28A943A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fec600de70ce569ad0cf91b1069c03e617f65b","datavalue":{"value":{"entity-type":"item","numeric-id":4273660,"id":"Q4273660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$A52DF796-D1E0-4DE9-B51B-5569A7633C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20484ddb6260b6177951a1731b3fa6574e17981d","datavalue":{"value":{"entity-type":"item","numeric-id":1275067,"id":"Q1275067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$EA95139E-48E9-4ECD-B154-25941339C173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609ebe15d640263b3a0c8e575473fbb24fb11674","datavalue":{"value":{"entity-type":"item","numeric-id":4630273,"id":"Q4630273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551167$22CAB6AB-D76F-4BE3-A16A-CDDA64C36E38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e48a2ddc8e945c9aa64a7bda3d418db93d5d2add","datavalue":{"value":"10.1016/J.TCS.2011.02.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551167$AB1B1315-9E51-48E2-9F0C-10EA3BC199D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4a39713f0938f63e98598a03ec20a18c5dd2ff","datavalue":{"value":{"entity-type":"item","numeric-id":5207048,"id":"Q5207048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45611794e38fd04eb99b15bbf8bdb8e8a076cc4d","datavalue":{"value":{"amount":"+0.8769978880882263","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":"Q551167$9B8E854A-4F33-4922-8A57-2755D81EC6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f315868518017bdd409cb8b89e7f60aad6c55b","datavalue":{"value":{"entity-type":"item","numeric-id":2484441,"id":"Q2484441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac3261ae739aa11ccae1762ffab443f45564cc3","datavalue":{"value":{"amount":"+0.8361127376556396","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":"Q551167$122078E5-55E9-4980-9D9D-12FE8E5003D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a09d2e5de03655c892d2a2774ea781d30aabb1","datavalue":{"value":{"entity-type":"item","numeric-id":1951555,"id":"Q1951555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372a8d12fc84c8e19517bb13a0f998c3e6a2e3fa","datavalue":{"value":{"amount":"+0.8162668347358704","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":"Q551167$6B28BCC7-179D-4438-B8C2-556A2FE1B41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5281d7da40561007752148890a3ebcf1842fd85","datavalue":{"value":{"entity-type":"item","numeric-id":2759833,"id":"Q2759833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca1ed63b02f0eca18011cbd41c5d385d6c71462","datavalue":{"value":{"amount":"+0.8024618029594421","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":"Q551167$6625C8A9-FF68-4DAD-BD28-E71354AE2C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a79dfef8eb01667f02449676eaf23232385832","datavalue":{"value":{"entity-type":"item","numeric-id":3365845,"id":"Q3365845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d82b74c815b8001869e544800e1b6b704fbf29","datavalue":{"value":{"amount":"+0.7940307259559631","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":"Q551167$27AA616F-5DC2-4BB2-9516-0AD46D8A4B1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recognisability for algebras of infinite trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recognisability_for_algebras_of_infinite_trees"}}}}}