{"entities":{"Q5025071":{"pageid":7054648,"ns":120,"title":"Item:Q5025071","lastrevid":98460005,"modified":"2026-06-05T17:35:55Z","type":"item","id":"Q5025071","labels":{"en":{"language":"en","value":"A congruence-based perspective on finite tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7467851"}},"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":"Q5025071$9F9C1EA1-1624-42D8-8C90-F0FEC3F14CE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d12015572055d61a40d65f4091676457ef713dbb","datavalue":{"value":{"text":"A Congruence-Based Perspective on Finite Tree Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5025071$AB94C851-E164-4EB5-B962-D332B4021452","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0b9afb7e83aa4ac4da8246b956cda4a9511a1c1","datavalue":{"value":"10.3233/FI-2021-2091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025071$EDD099AF-423F-4A8C-8E5D-7A10F48E1C41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$AD64BA97-F44C-4EEF-B58F-CE0B052474A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74d65d65c1cd150fb8ba92f2dfb0f83939e8ee6a","datavalue":{"value":{"entity-type":"item","numeric-id":1679979,"id":"Q1679979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$6B575F0E-2258-4714-8C5B-389DBDC8E7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2614e592c8051901165310efa57dc95bbd22aff","datavalue":{"value":{"entity-type":"item","numeric-id":5025070,"id":"Q5025070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$F0724A75-A013-4745-AAC0-2A048AE1DCDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$70A079C8-8B21-40BF-9447-3EA46D3396B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fa622351c9dbc7b7a891fa25d235c8f79af6e3a","datavalue":{"value":{"time":"+2022-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5025071$77E82D8E-1964-41FA-9BA4-A1DD5D64F619","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c005f556895ad5b5a570741b0008cf241c2e3ba","datavalue":{"value":"https://arxiv.org/abs/2104.11453","type":"string"},"datatype":"url"},"type":"statement","id":"Q5025071$97016B73-B4DB-4947-9110-2CF31196BF35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025071$A0DFDD2F-73F4-44B7-B25D-E01E19194C50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98c8163b5080d46b168464623eb1ab092220d4f1","datavalue":{"value":"7467851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025071$FAD3B39C-DCBA-4900-81DE-531FF4CC82D6","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":"Q5025071$2AB7B330-4D43-4CF4-ADB3-926D7B86DE3A","rank":"normal"}],"P223":[{"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":"Q5025071$D65E059E-B102-4626-962F-30606C5A84F0","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":"Q5025071$052D586F-C920-4539-8DB5-19D735F5751B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1271be2462d26865fe1bbf9317b8786f46d5a1f","datavalue":{"value":{"entity-type":"item","numeric-id":2500700,"id":"Q2500700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$CE1D05E6-955F-450D-9294-875652342ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7075c85c964612ac78cf51ef727324fa8ce7a431","datavalue":{"value":{"entity-type":"item","numeric-id":5072556,"id":"Q5072556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$2BA4CC3B-411D-4FA0-8566-FC02AB61F3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5ef03ca1784e11a8064f6b468622ab4030a00f","datavalue":{"value":{"entity-type":"item","numeric-id":3503087,"id":"Q3503087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$01EF26A3-EDCF-4F1D-9F2C-A898821A12D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9b4854a95c3cd0bd86677a5c6fb0703605654c","datavalue":{"value":{"entity-type":"item","numeric-id":2272933,"id":"Q2272933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$CB15A1AB-BEB8-4F0D-80B5-0FF790A0CF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66a85d1f994b8180b9b19c6c1d0aeb52923c2b3","datavalue":{"value":{"entity-type":"item","numeric-id":840778,"id":"Q840778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$3A87DA00-425D-40BC-9B38-DEBB8ACD46A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372d4f122419147bead9900706bf72cc04a0bdd8","datavalue":{"value":{"entity-type":"item","numeric-id":5570935,"id":"Q5570935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$B4AFB5E4-9B20-4777-8B86-15F9977F95F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7deb449e4da90a2bb649c02f59d9e307faba6b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4337430,"id":"Q4337430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$74F78D1C-6A5E-4483-9536-6BF49BFB1B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4578fefe07b127d33947d246234b89c90067f5c","datavalue":{"value":{"entity-type":"item","numeric-id":3902489,"id":"Q3902489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$996ECC4A-D8E4-4D8D-9A59-96014FF9D83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe955fb7f9026c48a3b74bf365e86ce77d5a2f05","datavalue":{"value":{"entity-type":"item","numeric-id":5725992,"id":"Q5725992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$8A087526-BBDB-4972-A2B1-6A9B5D26CF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e11e55467ee682b86dbea272de985817c76a45b","datavalue":{"value":{"entity-type":"item","numeric-id":5092441,"id":"Q5092441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$68133A77-C5E6-41C8-B8C2-BAE9C693E4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be40b4c67de5ab978f49a9d78fa540049976ba35","datavalue":{"value":{"entity-type":"item","numeric-id":4005203,"id":"Q4005203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$E87D163E-6E18-4D32-8B54-9312B58A21DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dea5a7ca6939915ede2d33a38db498f702e88ff","datavalue":{"value":{"entity-type":"item","numeric-id":2453119,"id":"Q2453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$C8CEEB8B-A1D0-4DA7-ACD7-E45706651EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed87ffaf9c3268f6362fbe695a86956fa75831d0","datavalue":{"value":{"entity-type":"item","numeric-id":3210193,"id":"Q3210193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$9BF81A1D-BE42-40A0-BEBF-F9EF8D51CB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9536a31a64d11cafffef569ff0ba296170fbbba8","datavalue":{"value":{"entity-type":"item","numeric-id":5089207,"id":"Q5089207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$63574D3A-2ADB-4C14-9528-5841F18327BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d6d231963591c74b7c6141f92574e6d81a225","datavalue":{"value":{"entity-type":"item","numeric-id":4452060,"id":"Q4452060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025071$2A322427-D8EC-48C4-9948-51515B0ABBDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a579442f7b0396e7b4226cdceded89d21fc4e370","datavalue":{"value":"W4206221096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025071$F514F3B4-D2A4-4029-A632-72ABBDF1ACC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecccaf6d589b1c4f1d5eea65800b8e1f0cdac447","datavalue":{"value":{"entity-type":"item","numeric-id":5875346,"id":"Q5875346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d72616e08d766472279a0b0d27ba0e6ab88fc384","datavalue":{"value":{"amount":"+0.7740631103515625","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":"Q5025071$DF1BADF8-FFC7-415E-BFF2-1CC45A7D99B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b4618cf27c49465255acb1a017c78e5093f8a1c","datavalue":{"value":{"entity-type":"item","numeric-id":722214,"id":"Q722214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3414fd212da844f52d0534af8e1c67d0c395fc9","datavalue":{"value":{"amount":"+0.7740232348442078","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":"Q5025071$1FEA2058-4E9B-4490-9FC5-39503AC9CB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20586a6999569c966b4342103db3ada966d472aa","datavalue":{"value":{"entity-type":"item","numeric-id":3503899,"id":"Q3503899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d79f03d59bc7fbb63cc5eaa487947791592a95a","datavalue":{"value":{"amount":"+0.7695981860160828","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":"Q5025071$B6781D6E-4C4E-4BE4-8D3E-663F0CD17287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5bb0520aa4831c39ab87634d068a0b74fa0dca0","datavalue":{"value":{"entity-type":"item","numeric-id":4337430,"id":"Q4337430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188eba1e4df534c962f14297c33c50e1fad2a3b5","datavalue":{"value":{"amount":"+0.7634753584861755","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":"Q5025071$4A2EC09E-88C2-44CC-B926-595CB5EA1E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065eda1bf1d3a3f28f4d2c1b00e3f777e1ed191e","datavalue":{"value":{"entity-type":"item","numeric-id":5401558,"id":"Q5401558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1561c340867380205e883d8b76e806ead4d9df29","datavalue":{"value":{"amount":"+0.7605990767478943","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":"Q5025071$FD97F134-24DA-48C1-8CA0-38BFB3798B94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A congruence-based perspective on finite tree automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_congruence-based_perspective_on_finite_tree_automata"}}}}}