{"entities":{"Q1401416":{"pageid":1412156,"ns":120,"title":"Item:Q1401416","lastrevid":67357119,"modified":"2026-04-12T17:04:57Z","type":"item","id":"Q1401416","labels":{"en":{"language":"en","value":"On ground tree transformations and congruences induced by tree automata."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965410"}},"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":"Q1401416$602D4112-F54F-4EFB-9A42-07F8E51E0214","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90019ec2aa33c2af52bba18fd75e4626945b26f1","datavalue":{"value":{"text":"On ground tree transformations and congruences induced by tree automata.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401416$3D8A80E7-4111-4004-A556-8BAEA934780F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f22c81012088d7be06e0fd94e18836005f2dbce7","datavalue":{"value":"1046.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401416$1371F663-D901-441B-85E6-5DE69ABC5B41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9fd8dca181e49efd1a170d817156b61149f4b8f","datavalue":{"value":"10.1016/S0304-3975(03)00279-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401416$BDD06AB6-2BBB-4C7F-BCF8-CD38FEFB67AD","rank":"normal"}],"P16":[{"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":"Q1401416$0B4AB197-6690-4174-9481-A19195091DC4","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":"Q1401416$8F99704C-559F-4FC0-AB28-076AC39AD30D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401416$C9C6DA05-D735-4821-8074-B8CDEE6FDFF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401416$C7110C8A-958B-4308-BA1B-6710C0B564C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401416$04256CE9-268C-441E-A931-60D6DBE24E6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c95b957f82d67722cda38001b276f58be99fe77","datavalue":{"value":"1965410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401416$077562F9-C1F7-4AC5-A614-1B77CD87D2DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a5a511a70081ebff631f8fb66688d8f2c0ad26","datavalue":{"value":"Tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401416$E6779141-A08F-48C7-9503-1D76950E2244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001510754c3b0b8d482cf9b32c1ca9b20c4eb74f","datavalue":{"value":"Ground tree transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401416$C48D33CE-A8D1-43E1-9BDE-03009D191F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678a5c59d677f390d59f9ab4fef7def0cd05912a","datavalue":{"value":"Ground term rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401416$4F31598C-50CC-4763-9009-893790BE3AD5","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":"Q1401416$2277903B-4683-4F13-8C64-208669088718","rank":"normal"}],"P223":[{"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":"Q1401416$3C3244CD-CB52-44CE-A547-CA1AA54C4081","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":"Q1401416$A479B41A-DDEE-44EE-8727-FAE5CA9A707B","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":"Q1401416$A1448A2A-232E-4996-B4B2-E56D8179942C","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":"Q1401416$F8317CD5-AED8-4197-8A66-DF0A3DB250B0","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":"Q1401416$008B091F-44DD-49B3-85A5-9CB88589C240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118bd562040a493115205fbb391e19b26bbe0535","datavalue":{"value":{"entity-type":"item","numeric-id":1589437,"id":"Q1589437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401416$0D329B01-57D1-441E-83F1-45A9210EAF54","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":"Q1401416$CD555093-21B4-4D02-8DB0-C842137BEECE","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":"Q1401416$FC0504C9-4203-4331-9421-2A6BB2ADCAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01a1395b86023d2276d47d7e6921ea762d79b440","datavalue":{"value":{"entity-type":"item","numeric-id":4764112,"id":"Q4764112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401416$C04E9A2C-FD73-4E2D-AB6C-BD640A9A2700","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":"Q1401416$9BA09C88-B9E7-42E1-BE56-18F6EED59704","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":"Q1401416$5EACA45F-D8BA-44F6-8A60-6D949597FF80","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":"Q1401416$43A39173-11E3-4240-9413-325F1D660459","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":"Q1401416$3F0E877E-4C03-46A3-90D1-CF8A4B2370FE","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":"Q1401416$23D57FE4-4396-4CE5-910C-60DCA35F7E31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ece7518a0547997d3bb1a8d3b51f4643e84fd7b9","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(03)00279-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1401416$52052FA2-749C-4EE0-AAD7-133AF60E8976","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4c2373ede925042849b40746a5c6a8e09f98674","datavalue":{"value":"W2065699939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401416$44ED9F3B-09D4-42F5-ACFA-E7AF286745BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a111fac8fbccf8e213e5ff6e2e833ef558145c","datavalue":{"value":{"entity-type":"item","numeric-id":5507087,"id":"Q5507087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a87a2cd058c81981affabbd7458551a7fa61f9c","datavalue":{"value":{"amount":"+0.8212945461273193","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":"Q1401416$C5FB6EBC-931D-493E-A6B5-25F19119E07A","rank":"normal"},{"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":"85cf35b830c5f519a5869c560e1d9fa8e8dd5b25","datavalue":{"value":{"amount":"+0.8101559281349182","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":"Q1401416$C3C3E665-CDDD-42DA-BB37-5579DA9A5592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95781d1a2a67f4e9eb41a15149b27ad4b1d62e84","datavalue":{"value":{"entity-type":"item","numeric-id":1589437,"id":"Q1589437"},"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":"Q1401416$A3F26C3B-3C6A-4464-B53E-0B2AAD35FFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d01d6b469b7875f44b59a2e14f75c11705e2e1f9","datavalue":{"value":{"entity-type":"item","numeric-id":2887218,"id":"Q2887218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98ec83e6134e09179e4b96927c94f49958f7a52","datavalue":{"value":{"amount":"+0.789991021156311","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":"Q1401416$D73CF93A-A714-4788-960B-34211FE01F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb417bc68aab09c89429e2f0a4b90eca13b18c57","datavalue":{"value":{"entity-type":"item","numeric-id":1261478,"id":"Q1261478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec79aa8d13e9fa669da7c365e83b74ccba487f5b","datavalue":{"value":{"amount":"+0.7699587941169739","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":"Q1401416$43C845F6-9440-46F3-8A89-F7E0F56EEE65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On ground tree transformations and congruences induced by tree automata.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_ground_tree_transformations_and_congruences_induced_by_tree_automata."}}}}}