{"entities":{"Q3526411":{"pageid":5556315,"ns":120,"title":"Item:Q3526411","lastrevid":88464452,"modified":"2026-06-04T14:35:40Z","type":"item","id":"Q3526411","labels":{"en":{"language":"en","value":"Some Algebraic Properties of Machine Poset of Infinite Words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5346810"}},"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":"Q3526411$5C5DF431-5324-4A5D-B3D3-0652B18FD6EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14e83f7ee255800b259f8d16c028eb8cd7a53ae7","datavalue":{"value":{"text":"Some Algebraic Properties of Machine Poset of Infinite Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3526411$F46A628D-1A0A-4E23-8797-016E8D828B37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d003421421df4d3a032bac6024b1c5a74b07cfbe","datavalue":{"value":"1167.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526411$22098EBC-2D76-47A7-AE6F-D52B5DF4D154","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19adfddaa1ef1051e3d3a7b9386de6dd9d6e5f17","datavalue":{"value":{"entity-type":"item","numeric-id":488053,"id":"Q488053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$D0DE077B-25A2-45B6-BDE8-D4D53D07AE37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$FED25378-EA0D-45FC-BC4A-AD03635A2C4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3526411$43A3E12C-539B-46F7-B98A-D833A626B7FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36194c6b55567a376c3a4da10923145980eeb419","datavalue":{"value":"https://eudml.org/doc/92881","type":"string"},"datatype":"url"},"type":"statement","id":"Q3526411$77DB60F8-A88A-438C-8BC7-995ADD79CC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"bee4d0f20f4a4c63ff666fb3052e3fe9d05537b7","datavalue":{"value":"https://semanticscholar.org/paper/5017bfbc235b470812b23c37766cd49e2ad8b0ea","type":"string"},"datatype":"url"},"type":"statement","id":"Q3526411$B38AAC06-DD7B-4A1D-BD28-4B851D1C6332","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526411$F118C7D6-6480-4F8F-9816-03D035B20E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526411$1B92709A-023A-425B-8A92-7F93B1D083E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526411$5BD32D7A-51EA-474D-AAA5-C3E935492AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526411$D6016BB6-744B-4513-BB5C-3616BEDB9D86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20f57a2b02e8ec2f70776cf5ea514f041bcb1f00","datavalue":{"value":"5346810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526411$290BA07F-8257-4E11-9328-075F3CE787E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ba1b10cfe4dc32a0e809821a48ba8abdcfdada4","datavalue":{"value":"machine posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526411$880A6FF7-32B8-4542-95D2-D11695D54840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"336f9cc1f5ba0f2bec287498f43d766f7d2511c5","datavalue":{"value":"Mealy automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526411$676EB94D-C732-4D5B-8BD9-CD1D4841F143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8967d0a934eaa6194b5afbe1fbb4e78c8127645d","datavalue":{"value":"combinatorics on words","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526411$893D84D7-879D-4071-A94F-8A5EF64DB748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a51e7207eed8d4d42ff2071d5d6e27651ac5db13","datavalue":{"value":"applied lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526411$9F4C5842-EC5A-4B92-90B7-C212963922BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3094ee7c111e0e36341f2355a291713300ca3be3","datavalue":{"value":"applied semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526411$3618ABE6-1F8E-42F2-8004-91B1DA3C95BF","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":"Q3526411$C9DFAD7E-71FA-4D4F-8FD5-6CADC369C134","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bb9b87e10ae320969e40fbf15c31ab74f29cf72","datavalue":{"value":"W1963878263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526411$392AF192-92C6-435B-814B-1AB82EF86D3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d5cd07335ecb67d28a8c3d2a5cc3e18a3e8b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3395963,"id":"Q3395963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$F670E633-F551-487F-918C-DCDEA4FBEB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397be92cf386495b01e7f130431f6e079700dc4a","datavalue":{"value":{"entity-type":"item","numeric-id":3939240,"id":"Q3939240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$AD7BD4C6-1E51-4912-BD0F-A46090EC0CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$9A496686-4804-46CA-B446-80978283257F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec063e97134a956b4adef0cc993fcbb16c7d0af9","datavalue":{"value":{"entity-type":"item","numeric-id":5340253,"id":"Q5340253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$658E0090-A12F-41A6-AF84-60B3FB12E9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d481d751cf827e9d7a71d4e9b89ab9decbfb07","datavalue":{"value":{"entity-type":"item","numeric-id":5535414,"id":"Q5535414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$D6659169-819C-45B8-9756-F08BAFD59DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$F05BABE9-9D8C-4760-A645-87332171E782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$22228DF1-67A3-422F-A0AB-47CDE63771AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fea077c0ae37398b1d4231141c91b106d4927c5","datavalue":{"value":{"entity-type":"item","numeric-id":4231020,"id":"Q4231020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$C7719E78-2608-4411-8229-FC8C2C083C30","rank":"normal"},{"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":"Q3526411$86EE100C-408B-444F-B7E9-78573AF662F5","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":"Q3526411$B202FD8E-993F-4155-8632-528E2C34679C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e90f5931d4c1761d74826f3137c6c5216e47c6","datavalue":{"value":{"entity-type":"item","numeric-id":4858384,"id":"Q4858384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$26657FE5-6D32-49F5-9729-3C67ACA60DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$8FBBF8A8-47FF-4723-BE49-F84F91AA400E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3183fe1b285e34ab4afafe2135598ac868bd7630","datavalue":{"value":{"entity-type":"item","numeric-id":2520837,"id":"Q2520837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$6359DF16-718F-4919-8C91-A5783677E9A6","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":"Q3526411$EF37F5CF-0637-4E0C-8ECE-937AFB8ABDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694d6d3c84e58c9e02eab9c2417bff9916e4db26","datavalue":{"value":{"entity-type":"item","numeric-id":3741058,"id":"Q3741058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$3D0EECC0-F5B9-4422-8C34-66F0FFF8B863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f4afbe6cc1ef59114c2e528385e7f101c5f750","datavalue":{"value":{"entity-type":"item","numeric-id":3347307,"id":"Q3347307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526411$ADBBF406-EDA8-4C79-9ED3-99BA848B44E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca69131ea74a878595eee9ec01364b7295c796f1","datavalue":{"value":"10.1051/ITA:2008009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526411$8AA98AD0-45D4-4A03-88FF-108B9ECB0B7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52eec92aef8fb91ae5b749bd3c3d18114ea52d4","datavalue":{"value":{"entity-type":"item","numeric-id":5442202,"id":"Q5442202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1190bbf8c48431b7125476b33422f551607e0b3","datavalue":{"value":{"amount":"+0.88986856","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":"Q3526411$977E3B76-CD51-47F3-8397-ECC7E1AF2420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31b48f8c4ba2925b7d8a0c5dbac226af3801866","datavalue":{"value":{"entity-type":"item","numeric-id":1917528,"id":"Q1917528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd73516224577a4f393810fd7ff0b63b53debc17","datavalue":{"value":{"amount":"+0.8864164","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":"Q3526411$C185D430-687B-45C0-A412-81DCD391F291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcde7889aeb3cb0dac917664941249968133dba","datavalue":{"value":{"entity-type":"item","numeric-id":5096141,"id":"Q5096141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28dad3925f264e29c23bf253a74885d3c10aeb8b","datavalue":{"value":{"amount":"+0.8750345","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":"Q3526411$C9CA79F4-71D2-4914-A250-ACBF14D4CE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0c44af64d536a83a1e6554274def0a6b325194","datavalue":{"value":{"entity-type":"item","numeric-id":1917485,"id":"Q1917485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc4637a79547ff5c801ef18e89f502ef118da56","datavalue":{"value":{"amount":"+0.87303483","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":"Q3526411$862D86E1-76DC-4E81-8D9B-047592379C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ed4e1ff19bcf037fef4b7559cf48801b057a5c","datavalue":{"value":{"entity-type":"item","numeric-id":3839000,"id":"Q3839000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e37067ada16e657af680c3c0b1d6e9a54f026a","datavalue":{"value":{"amount":"+0.87084436","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":"Q3526411$4CD89F81-4D33-4EAD-8F12-4BFD060F8801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d065dec723107b74728484af70548c6ac021a769","datavalue":{"value":{"entity-type":"item","numeric-id":3472309,"id":"Q3472309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1bc9ab4f940265794bd3c056c437027dd9f5d5","datavalue":{"value":{"amount":"+0.86427283","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":"Q3526411$97C0A778-A4B0-4CEC-B4E3-F872A4E134E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44b858d127cccce519ea7d7ad49e395175c5a7e","datavalue":{"value":{"entity-type":"item","numeric-id":4680742,"id":"Q4680742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9c1cb0403f820bf58478c1cb95c79d13b887b3","datavalue":{"value":{"amount":"+0.8627261","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":"Q3526411$4B0BBC0B-05EE-4F65-B54F-541D142971BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4738a4313654c5ecf6b3e0724b4fa7d9356c11c5","datavalue":{"value":{"entity-type":"item","numeric-id":1823322,"id":"Q1823322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd6cd99d26d97e6086af96d8f54cbf81e7916c6","datavalue":{"value":{"amount":"+0.8620077","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":"Q3526411$1BE0D634-41F4-442F-827B-425F52FCA1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69997127b6f087154010e5ff0d114140da1cab01","datavalue":{"value":{"entity-type":"item","numeric-id":4621173,"id":"Q4621173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ab6046941fa2ef820a4cef2d65208b43558579","datavalue":{"value":{"amount":"+0.8579955","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":"Q3526411$5C7A570E-611D-477C-8E2D-C02C3148D4EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some Algebraic Properties of Machine Poset of Infinite Words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_Algebraic_Properties_of_Machine_Poset_of_Infinite_Words"}}}}}