{"entities":{"Q2577741":{"pageid":2588484,"ns":120,"title":"Item:Q2577741","lastrevid":44398197,"modified":"2025-11-22T16:12:34Z","type":"item","id":"Q2577741","labels":{"en":{"language":"en","value":"Congruence preserving functions of Wilke's tree algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2243885"}},"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":"Q2577741$7EF3254F-6F67-4638-A711-10F24DCA3EEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bba0d89d97dbad1f2e2778f4688ac1488de812c0","datavalue":{"value":{"text":"Congruence preserving functions of Wilke's tree algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2577741$7332CF53-5ED2-4C0A-89D7-DFC4C1F621D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"673c331a972206f3ba082f0e58a4011194041125","datavalue":{"value":"1094.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577741$482B0277-D91F-4A98-AB94-A39D937FB45A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b1c83971d160faa3e32e3b0606692b817762b53","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577741$AD59C346-981F-4798-A806-85E9B989CA12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577741$560A68B5-FAFD-4301-840A-9ECBA330B2DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a28896e5111b14a787c7b95f92ad273263b18f84","datavalue":{"value":{"time":"+2006-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2577741$935776D4-14DA-4C7D-B6C6-8C9330F32A96","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bc2e512fb9a29775d46f72fec1add728c92bb47e","datavalue":{"value":"In the formalism introduced by \\textit{T. Wilke} [Theor. Comput. Sci. 154, No.~1, 85--106 (1996; Zbl 0871.68110)] binary labeled trees are represented by terms over a certain 3-sorted signature \\(\\Sigma\\) consisting of six operation symbols. A \\(\\Sigma\\)-algebra is called a tree algebra if it satisfies four identities that determine when two \\(\\Sigma\\)-terms of sort TREE represent the same tree. In this paper the completeness properties of Wilke's tree operations are considered. It is shown that any free tree algebra generated by a label alphabet containing at least seven elements is affine complete, that is to say, all congruence preserving operations are obtained as compositions of projections, constants and the six fundamental operations. For the operations of sorts ALPHABET and CONTEXT the result is shown to hold in somewhat stronger forms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577741$24F0BC46-792E-44D1-AEDF-F519F2AC2D66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577741$C196D3D6-73AA-42DC-9828-25712894982A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577741$3CCB0C26-011C-4ED2-B7C9-283A5ED50EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8fc08c53879b93dc998e9f9ac3fd791c57770a30","datavalue":{"value":"08A68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577741$AEEB2266-5457-494B-A880-237B0F1E1F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577741$88CFEA42-E1B1-41B5-B32A-CB74B2EFCACC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e3d70e5720f70880a072e89149581bae9abbcb2","datavalue":{"value":"2243885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577741$C69515B8-1BDB-4FC7-8A34-FF409A985C05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577741$F066F195-75CF-4547-BB94-E88DFDAE0783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a66496b86830938644965afe9633aea12dcfcd7f","datavalue":{"value":"affine algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577741$263CB15E-E036-42B6-A579-F9A990EB244A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272f8c01bbf250ffdc8582f0c936cdb566ea1f2e","datavalue":{"value":"congruence preserving operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577741$44322EAF-B1BB-4C28-9570-7FDA142528E7","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":"Q2577741$C38D0277-C8F6-4B12-ABAF-F14D9063896C","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":"Q2577741$FB8E1275-C479-46D7-A779-97BAA6FEF889","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4fb438ab3f1c2aa5eb88053b7cfff6666c3b336","datavalue":{"value":"https://doi.org/10.1007/s00012-005-1912-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2577741$E408F442-9F70-47F5-9B92-88D3C5520C64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04b74d6c9441379095530ed960401bd682020073","datavalue":{"value":"W2053138539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577741$11D64B51-70A1-4BE5-8D34-CAD1BA4473C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"159893a5741a29ebe209524f77aadc9cb36dad93","datavalue":{"value":"Q57533068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577741$4A545B4A-A834-4B90-9A03-8604CA93BC91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1bb81be20fc69668bff8bb666c3c68345bd90d7","datavalue":{"value":"10.1007/S00012-005-1912-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577741$7C11A18C-D039-4F00-A1D6-ECFD2C8E6DC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023401a59784097d66a865f44c5fc7712629dcad","datavalue":{"value":{"entity-type":"item","numeric-id":2583606,"id":"Q2583606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab573691f7e3b9152d9a9e8462bc986ffb21b20","datavalue":{"value":{"amount":"+0.88702285","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":"Q2577741$06C2EE3A-4B44-4DBE-BF36-F21790536C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9d562744349041236467cddbb54c3c8e56e8c8","datavalue":{"value":{"entity-type":"item","numeric-id":5431354,"id":"Q5431354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a192f64fa06addbbfb526163638c1c6bfc78e284","datavalue":{"value":{"amount":"+0.8826291","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":"Q2577741$799F186B-EE4D-47A5-B0A4-7F15A002723E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48fe565da84884387dc53ff7f672344dbc5008c0","datavalue":{"value":{"entity-type":"item","numeric-id":942137,"id":"Q942137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99892aa0b988eb556efc809e3ba5e60679cf3898","datavalue":{"value":{"amount":"+0.8691204","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":"Q2577741$BFCA9A87-F946-41E8-83A0-C3953FD6ABE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2594aa5d7a1405ca48ad1f1d62fbc17096e25c","datavalue":{"value":{"entity-type":"item","numeric-id":998783,"id":"Q998783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d477c12ac54b0cc51598e3938d9d894d7b0d44","datavalue":{"value":{"amount":"+0.8686092","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":"Q2577741$078788E2-1A27-414A-829A-1236984AB73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e279c614ad63efa0624264a3ada770ba3c3bcf2","datavalue":{"value":{"entity-type":"item","numeric-id":2998611,"id":"Q2998611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9732072843c1536f2c85f7054b3f584231943e01","datavalue":{"value":{"amount":"+0.8680426","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":"Q2577741$471E2FBB-64DA-46F4-8ABE-40012362A988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"124d0bdc14bfc4c5ef301a6800c7590dcf77b931","datavalue":{"value":{"entity-type":"item","numeric-id":1686332,"id":"Q1686332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605b2ba38e659766395137e416f6e14b4c1c0a73","datavalue":{"value":{"amount":"+0.8669872","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":"Q2577741$C1283427-1329-4463-9DE0-E50D05698124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e1d2e18d23a1cd5172ef12d076d3526d58075a5","datavalue":{"value":{"entity-type":"item","numeric-id":2327349,"id":"Q2327349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef468609288e87a30c672dea3a4c49d7f96c3b9c","datavalue":{"value":{"amount":"+0.86688286","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":"Q2577741$4DA03873-A2B4-4872-8F03-B71F648215AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d61d9963b849c8a7c575a580e092f460145677","datavalue":{"value":{"entity-type":"item","numeric-id":4456152,"id":"Q4456152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037804bc1d75638896f02086dc95930860353399","datavalue":{"value":{"amount":"+0.8630575","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":"Q2577741$A05E2676-EEFF-439D-9943-D79CA1FCC544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aca487e19c374f3b970fae56ed7b8cdd7f7da457","datavalue":{"value":{"entity-type":"item","numeric-id":4297419,"id":"Q4297419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d0e80438561aa17d513e06bed85aa6766a5535","datavalue":{"value":{"amount":"+0.86153054","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":"Q2577741$FA5E3C94-F6B0-42FC-9BF6-8540009A5A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d11f18700fda267f079fdb5b3bca74efddaf80d4","datavalue":{"value":{"entity-type":"item","numeric-id":3742755,"id":"Q3742755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa15ebcaeebc6adbf11904a415473d78d0f72005","datavalue":{"value":{"amount":"+0.8573938","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":"Q2577741$97FED8B3-32C7-4B03-B43F-145D6454026A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2577741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2577741"}}}}}