{"entities":{"Q551198":{"pageid":552965,"ns":120,"title":"Item:Q551198","lastrevid":62690082,"modified":"2026-04-11T07:47:47Z","type":"item","id":"Q551198","labels":{"en":{"language":"en","value":"Equational tree transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5920444"}},"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":"Q551198$F4612B96-66E2-4AAD-985F-C1901B3A6AC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"907cbc19c701deac7199bccc0d3990ecb345a324","datavalue":{"value":{"text":"Equational tree transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q551198$B395DCF9-1197-4671-99A6-E061E69695EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38378cf9d8d39b7fe05ee06a39375166c55e398e","datavalue":{"value":"1216.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551198$304673ED-69F8-4472-A7CE-D5B03DBD0B7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6f508831a56382fb093df013046134f3240e93f","datavalue":{"value":{"entity-type":"item","numeric-id":551196,"id":"Q551196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$251E9081-C2FC-4182-BDBF-F23CC0AEEE39","rank":"normal"},{"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":"Q551198$2C65A86D-E41A-4FD3-A4BB-DDC9D474B227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d79224a0bb7d47cd94834d7448415ebd971105d8","datavalue":{"value":{"entity-type":"item","numeric-id":551197,"id":"Q551197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$5743B8D6-C90A-4266-A981-E99F3C7159F5","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":"Q551198$2873D6DF-116C-4E81-ACA1-F049813290D6","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":"Q551198$8394A0A9-A30F-48D7-98C5-F2BD022FAEF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551198$085EE9B3-FB52-4646-9D1F-DEC227BDA732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551198$BDA12DCB-89A2-452A-A5CC-414F40C2F6C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e2388de1095bd0b4ff573cdf7c5bd045af74574","datavalue":{"value":"5920444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551198$4D4E9764-65F2-49BF-BF26-27D75AD1B6E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c01179cbbeafe9c7f27f917068c21b2878730df5","datavalue":{"value":"equational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q551198$71DEAF2C-F0FD-4E81-AAD6-2C46D6F92DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44145f7b77d9cb4361d75410e1fefe0aa54ec2e4","datavalue":{"value":"recognizable tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q551198$B7A40B33-16F4-4011-8091-305366657335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a5705c147d5f6669c5e98503a891a65a9902e8","datavalue":{"value":"IO- and OI-tree substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q551198$EC24A6B1-0DC4-49EC-98C9-4E98F2717E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bf5b1135aec66c7dfd4efb40de398bbfb469f69","datavalue":{"value":"tree transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q551198$C72EFEDE-2E74-4A4C-B4B2-3747FC6B257B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e52ad5a24c51e6ece24d1d0036df1b47a8d6cd1","datavalue":{"value":"bimorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q551198$9B786DB9-5B08-4CA3-9AF5-7E3FEFEFD7E1","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":"Q551198$30188397-3293-48CF-B15E-9A6CF853B57F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d50119ced18572f08e876ed3f0efc4848db6d09","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.03.028","type":"string"},"datatype":"url"},"type":"statement","id":"Q551198$B4A8E59E-369C-45A4-8D79-C76BAB832E23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d476555ee648815d88699dc594b387a37527fc28","datavalue":{"value":"W2016461613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551198$9AF90CB6-B154-477B-B9B7-78A42094F662","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e37d3cd89bf56058a2b19db5dd9a0a78bfe825f","datavalue":{"value":{"entity-type":"item","numeric-id":2561843,"id":"Q2561843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$C9C7E34F-43FC-4556-90CC-5E1A8FCAA1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b715b1e2b0ba9d053f6a29a9c99215a202dd4cfa","datavalue":{"value":{"entity-type":"item","numeric-id":4138171,"id":"Q4138171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$90273651-053C-4DCC-AF1B-D83A31C39C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fe9c061fc12f5f342063aef4ecd22ab5683f68","datavalue":{"value":{"entity-type":"item","numeric-id":1165018,"id":"Q1165018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$45794889-D36C-45EF-BC14-D1E20F2A9A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$8DB5C63C-B5FC-4470-BCCD-74888CD34133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4cb1a83daafb36b57758b471a18edde65961f1","datavalue":{"value":{"entity-type":"item","numeric-id":1164440,"id":"Q1164440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$829699CB-4DBE-4A03-8233-F5289D30E61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b3e2a271edcaa5a573b5ea3f04d41aeabdfac2e","datavalue":{"value":{"entity-type":"item","numeric-id":1193896,"id":"Q1193896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$22C6D5A1-2BAE-4979-A5AD-67FC9E4439A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad0a9d370c8b64e12fb0c3cd7c6e672a27b4958","datavalue":{"value":{"entity-type":"item","numeric-id":1277364,"id":"Q1277364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$DA8BFDDD-71C3-45A6-A62B-CD64F860FD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3519c7d070ef223b08a14826d0ae20f741e9cfd8","datavalue":{"value":{"entity-type":"item","numeric-id":3431477,"id":"Q3431477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$2905D1D1-F96D-486C-AB5A-BD6EF6E8A2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de0c47aac54d255781a3e64af689d25e678b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1098322,"id":"Q1098322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$5CEC500A-665D-405C-953B-4CE977A110AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a17defa1f7504ba0efa775761ae19829c2fe10","datavalue":{"value":{"entity-type":"item","numeric-id":671349,"id":"Q671349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$728B4C1F-6C8C-4028-AB6A-E52BE9CBE70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6970bae0e11adcf1497721baec10a28b2184585d","datavalue":{"value":{"entity-type":"item","numeric-id":4273671,"id":"Q4273671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$69AE1CFF-3608-4672-B805-4904CA54F65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef24932abd74e01a026e2e349f03bfd5726d23f7","datavalue":{"value":{"entity-type":"item","numeric-id":4102764,"id":"Q4102764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$BA4E52C5-D1D9-4043-A3E9-EB39E02FF8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74feebd6aeb7b6a39ed2486078ddf173d7310a5","datavalue":{"value":{"entity-type":"item","numeric-id":1241985,"id":"Q1241985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$88C7855E-072D-4AF1-B28D-4DCDCFD8F1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7f9ed14f47635349292dc1fc5be666cede90cf","datavalue":{"value":{"entity-type":"item","numeric-id":4146263,"id":"Q4146263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$C09FBE73-90D4-4095-978D-95DA47FAEC29","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":"Q551198$524436D6-81D7-4965-96B6-11B680AFA569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$5F44D5E1-43F9-41D9-BDB7-EBF7132C2A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"908a06edef55cb16bf824ef79438eb9f3fd297c1","datavalue":{"value":{"entity-type":"item","numeric-id":948090,"id":"Q948090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$B1DFDCFC-02AA-4E1C-AD1D-90F4814100A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77462f53a45aec870053c7bb7f47a74e377acdba","datavalue":{"value":{"entity-type":"item","numeric-id":3558008,"id":"Q3558008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$EC6002FC-51BB-4312-8F6C-ABDA0F5FD1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9129d2bf342860d12faabcc9e4c28d6d9e69e9b3","datavalue":{"value":{"entity-type":"item","numeric-id":3642540,"id":"Q3642540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$6C16A281-4045-4047-AD6B-23D387750309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da139152c2e2ef55278fb0dd7a39922bf7bb9c9","datavalue":{"value":{"entity-type":"item","numeric-id":3569270,"id":"Q3569270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$C08D4666-BE26-4DB4-8402-FD7BBD6F84B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970a6a3feae9d45f8269510e98d0c4c3a340ba74","datavalue":{"value":{"entity-type":"item","numeric-id":5536635,"id":"Q5536635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$33C7273B-A3E7-464B-B8A6-26231D061D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c18b359b037c45be33729f8cb295ee87839db","datavalue":{"value":{"entity-type":"item","numeric-id":3503912,"id":"Q3503912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$FA9EAA51-02D7-4029-B4F4-9C57A8D754B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ded73669d74c1ae47fbeb6dbf34fb90ef1661f52","datavalue":{"value":{"entity-type":"item","numeric-id":840769,"id":"Q840769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$E5EA09EB-0D40-4548-986F-89B0A14DDF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3198643895c4e17fa96b7321331bcf34a99b2fd","datavalue":{"value":{"entity-type":"item","numeric-id":4002149,"id":"Q4002149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551198$E8BC3831-5A98-4684-9289-A4A62FD52C00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ed6cf4f83c41a69a80911389657e6db6ed1741e","datavalue":{"value":"10.1016/J.TCS.2011.03.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551198$DCA7398F-2FCA-414D-9FCD-08840A288E41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4445ccadde6a8f513630a8070d15c2a46fd4283","datavalue":{"value":{"entity-type":"item","numeric-id":766185,"id":"Q766185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b37fdb3329b8cbdeb0090fee750a9dbf2264c23","datavalue":{"value":{"amount":"+0.8876968622207642","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":"Q551198$6FECFD3D-2A1E-4B18-868A-54DA495584F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee7dd4e65dd870fd67a16e841455a93431c1705","datavalue":{"value":{"entity-type":"item","numeric-id":5941078,"id":"Q5941078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26d5e390de8878de20e83050b6eacb7f90c4583","datavalue":{"value":{"amount":"+0.8392912149429321","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":"Q551198$8C39F6AE-DBDC-4FD2-9AF7-8679773A627B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68b04ec4fe75ade340723b21f166e3261447e28","datavalue":{"value":{"entity-type":"item","numeric-id":1193896,"id":"Q1193896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b719cdd99df0cb9a0b98a44ff1d533960f7477c","datavalue":{"value":{"amount":"+0.817667543888092","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":"Q551198$23837FDA-8919-45C3-BB89-B0182F2BFF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d6f9935debe3c2a4edd7cffd7e9cc1cd7bf942","datavalue":{"value":{"entity-type":"item","numeric-id":5055806,"id":"Q5055806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa6101b1eeeeb6bb45c8b08f41485e71fbf82b6","datavalue":{"value":{"amount":"+0.8040069937705994","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":"Q551198$CE3DE388-2332-4918-BAE9-D25BA55C9CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0f1a05f9d5b372090da8902778e909e761021f","datavalue":{"value":{"entity-type":"item","numeric-id":4723319,"id":"Q4723319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16ad8290f463e493ba30f4fb12ec0e2b2438a33","datavalue":{"value":{"amount":"+0.786485493183136","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":"Q551198$3DE50702-850D-4170-8A33-21EBC2D735A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational tree transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_tree_transformations"}}}}}