{"entities":{"Q1589437":{"pageid":1600177,"ns":120,"title":"Item:Q1589437","lastrevid":72267018,"modified":"2026-04-14T03:45:04Z","type":"item","id":"Q1589437","labels":{"en":{"language":"en","value":"Restricted ground tree transducers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1542266"}},"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":"Q1589437$81B46A18-9F5E-4817-AC8E-CE406AACC966","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10f70892562bc2071690ef3a14dee7c36e661458","datavalue":{"value":{"text":"Restricted ground tree transducers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1589437$8F285D42-38D2-4CEC-80E9-274D5902EE41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6ed2452606d68d33e20d5c434a7d04164a7db5e","datavalue":{"value":"0952.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589437$B397A9B8-3574-4343-B9A0-1AA3F8109806","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5400e02daf5e26b6e1ac065e7b5fd0cc109b40d","datavalue":{"value":"10.1016/S0304-3975(99)00135-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589437$64ED343F-34F5-4F5F-96CC-B00454297F3C","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":"Q1589437$EB16EF0A-95F1-44AA-8B83-0234D56F5C9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fc98fd02909f39fc4d6749553781a25cceed046","datavalue":{"value":{"time":"+2000-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1589437$62B72545-2B75-43C2-960A-9E5E0C5F964B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3bf6220770656267ed0002afe30cf9288127783","datavalue":{"value":"We consider restricted versions of ground tree transducers: total, deterministic, and symmetric subclasses and all other subclasses created by applying any combination of these restrictions. We present the inclusion diagram of the tree transformation classes induced by these restricted ground tree transducers. We show that the following four classes of term relations are the same: (i) tree transformations induced by symmetric deterministic ground tree transducers, (ii) congruence relations on term algebras induced by reduced ground term rewriting systems, (iii) congruence relations on term algebras induced by convergent ground term rewriting systems, and (iv) finitely generated congruence relations on term algebras. As a by-product of our results, we obtain a new ground completion algorithm. Moreover, we show that the following three classes of term relations on term algebras with at least one non-nullary function symbol are also the same: (i) tree transformations induced by total symmetric deterministic ground tree transducers, (ii) congruence relations on term algebras of finite index, (iii) finitely generated congruence relations on term algebras of which the trunk is the whole set of terms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589437$120BBD70-E990-40BF-B5BB-6552DAAF93E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589437$F1074B6D-2460-4D27-BB4C-A8EB1E2A3C78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07c7afad48e6b86ff63428f963af58e2e6afc36f","datavalue":{"value":"1542266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589437$D686FCF4-6FCE-47E2-856C-55D3590D7017","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a2a0c773dc4866283c05c41e733ab9deb33c4d","datavalue":{"value":"ground tree transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589437$D98F05FC-A591-4AAA-97B3-B34FD4F3F42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e7cad4cec34406fd46ea9b83ddb2a0879a9a66","datavalue":{"value":"ground term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589437$6D8D11EC-F8D9-44F9-8611-7A4DA3C16B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589437$BF2F2162-09EC-447F-94D4-0A5ED1A52732","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d00fa627735b22d11a5ec2028150137b2160228","datavalue":{"value":{"entity-type":"item","numeric-id":404009,"id":"Q404009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$09328AC4-913E-47B7-8DDF-FB126A735190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1be1e97a61ec61b6b5428ec7bf911ab8a63c8c39","datavalue":{"value":{"entity-type":"item","numeric-id":389935,"id":"Q389935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$0FCBDABF-334D-41A7-9826-CF17E9F74BE9","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":"Q1589437$D09C77C0-CF10-4F20-83DB-09631ABF1B87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$D659F984-5246-41C0-AB3F-C0DD3B536C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae9f2e8b71d939ae0323423011a38c781ecf5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5556444,"id":"Q5556444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$D8D67185-8821-4616-A346-A8A996E2DE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbc318032cec747535bd0c6935dca630a9056d4","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$2AC182A0-232F-48EA-924D-AD16733A8563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e310bdefc632226addc0140a1d43ec89695721f7","datavalue":{"value":{"entity-type":"item","numeric-id":1854289,"id":"Q1854289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$10204ED0-9F1B-445A-A54F-2E2DE3DC41F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7db4db251e3d87193c566492f0c67068165932b","datavalue":{"value":{"entity-type":"item","numeric-id":3468622,"id":"Q3468622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$74FF3490-9B3E-488C-8A17-1463292624FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d230b16e1b0f6cbdb78aca3f14c9e2b7e4826ba4","datavalue":{"value":{"entity-type":"item","numeric-id":4005178,"id":"Q4005178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$FE8E28BD-C772-4544-BB7D-C222559486C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0fd394945ef755de9678bb41619ba37910bc2c","datavalue":{"value":{"entity-type":"item","numeric-id":1901719,"id":"Q1901719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$A9AFB995-A825-412B-97E9-F9C676FC6312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0079b0c7d694a397659be503d6216c85129b1bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3323279,"id":"Q3323279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$B574DCC8-EF52-42B3-89DE-8D25193264AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff043886c15344e26a5762a58f1c95f9724f12c","datavalue":{"value":{"entity-type":"item","numeric-id":4594216,"id":"Q4594216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$01859D0D-3C57-4EBB-98FD-6B816CF408CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a2161d61de39868eace75d44b99156e6623a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1100890,"id":"Q1100890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$8E6114E7-5FA2-4CA6-AE37-AAA4381E6360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda45515c8d113abab4b261c568e2d4dc9ee55aa","datavalue":{"value":{"entity-type":"item","numeric-id":1917087,"id":"Q1917087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$1A9FC213-E9B4-4D21-80E7-20E08106682E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43100b0b89e84ae15de5bd59f77843bd112a2574","datavalue":{"value":{"entity-type":"item","numeric-id":4182566,"id":"Q4182566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$AE0EC4C0-1594-41BF-B85E-612452017DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5ac5e87b7bb20051a97cb3e5d95d9b6576112f","datavalue":{"value":{"entity-type":"item","numeric-id":689111,"id":"Q689111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$4C1CA0FF-C7D4-4516-925B-0BADE06A1381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1d8724349482f262799d2831e961f6c9a0126f","datavalue":{"value":{"entity-type":"item","numeric-id":1261478,"id":"Q1261478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$0946D795-7BFD-4662-80B7-4C147441F9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f8cd9f1455728a1005c1b1e530248db89dd177","datavalue":{"value":{"entity-type":"item","numeric-id":4264118,"id":"Q4264118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$B4764B12-4F6B-4531-9E4E-E2698FCE19E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2feea16d8b47c1a6fe48a821fb7a9a2005c01021","datavalue":{"value":{"entity-type":"item","numeric-id":1575250,"id":"Q1575250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$270D822D-E8EC-4B33-9EA2-B041C7FCA305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2f47f5d3f0ebe803b0e573a2cbf0f9d59e17e7","datavalue":{"value":{"entity-type":"item","numeric-id":3842797,"id":"Q3842797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589437$43BC66A7-F67B-41E2-B0A4-CFE9CA14599B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984060b406d4df4f84fe8efa91f1ec167f66636c","datavalue":{"value":{"entity-type":"item","numeric-id":1019744,"id":"Q1019744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13bc6706d30da88b69df5f5f904d5d8b7a1f282","datavalue":{"value":{"amount":"+0.8274717330932617","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":"Q1589437$8C5DF474-1AAD-4F82-878F-28E9C187EA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4dfd4ffec607ef117fd52ed235715c1269c5708","datavalue":{"value":{"entity-type":"item","numeric-id":1401416,"id":"Q1401416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a9648f84804f04e384d3d5c03ad21dd57a97ef","datavalue":{"value":{"amount":"+0.8082723617553711","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":"Q1589437$9BFF5D1B-9E35-4660-8381-B10F68507170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e3ae6c46c3a31051d5dc3eb3ddd4e2d77db0c5","datavalue":{"value":{"entity-type":"item","numeric-id":807029,"id":"Q807029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8034d15d4eed359b53e29d64b9ce904bbb860599","datavalue":{"value":{"amount":"+0.8031250834465027","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":"Q1589437$E35BA044-C5EC-45F8-9876-D20B5512188B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e502e7d343be0687628e87e4bdc9e8d406190f31","datavalue":{"value":{"entity-type":"item","numeric-id":1401322,"id":"Q1401322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483b627cf54a38cd6f98dabc1da73a073e8ea69f","datavalue":{"value":{"amount":"+0.7607153058052063","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":"Q1589437$F415EDEA-6814-4BBB-9F8D-AB9FAA713750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2b88410021d48363b1e1db9f584ebafe1ae666","datavalue":{"value":{"entity-type":"item","numeric-id":557898,"id":"Q557898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d2372adfe5c6c390416edc9985c54efba8204e","datavalue":{"value":{"amount":"+0.7517393231391907","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":"Q1589437$BF51F259-03EE-45D2-BB86-7CA98D259412","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Restricted ground tree transducers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Restricted_ground_tree_transducers"}}}}}