{"entities":{"Q844887":{"pageid":846735,"ns":120,"title":"Item:Q844887","lastrevid":64772931,"modified":"2026-04-11T22:07:24Z","type":"item","id":"Q844887","labels":{"en":{"language":"en","value":"Axiomatizing the equational theory of regular tree languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666089"}},"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":"Q844887$08E03B91-5EDF-447B-A5BC-5AA42C25F160","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bea99d09e65a587da1b1f93e2b4c654fb481309d","datavalue":{"value":{"text":"Axiomatizing the equational theory of regular tree languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q844887$7E0515D6-825E-4A41-A019-1C59FE937211","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"956e4891c1ee83b6283be7ee06d932396dd7b35f","datavalue":{"value":"1184.68315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844887$9D58FE8F-89D5-4851-AA02-5316D2815178","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$9017B29D-B981-4C24-8C38-99CD23F7B493","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q844887$768993C7-D396-4240-A6A4-58DFDA0A56A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844887$207DF89C-4EFA-44B4-9342-D7DD6E70DCAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b5ccbb01229c37765474b6421e55bec19f5331f","datavalue":{"value":"5666089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844887$9953E99E-ADBE-4D6C-BCA8-A4A0E1AB4022","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed418a28386cecb26257f7dc60b7ef2091286d8f","datavalue":{"value":"regular tree language","type":"string"},"datatype":"string"},"type":"statement","id":"Q844887$B381C9A2-82F2-4215-820F-FDC09EA0E216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f7b6000cdb9654550cd3cc82708b0426d9b3ad","datavalue":{"value":"complex algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q844887$DAD41F48-4975-4812-85DF-6F3AA65DFC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q844887$A656FFC4-325C-4001-A91A-693CB9C455AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$BEF1C33D-CF2D-4866-819E-3C60CF51ACA6","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":"Q844887$44291950-56DA-4F03-926D-BA3A3FF69D01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d641266b151f31ac3e2b82beaa8bcffca2af4d7","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2009.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q844887$3D0951DF-55BF-4DC8-93D6-BBBF9EF456B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1ce17fd76019f404089e24b2e3392da45275044","datavalue":{"value":"W2050307662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844887$0BCCDAB0-7268-4549-8007-CCEDDDBC226D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2502b510aa60a91ac3df2b418e4777159bf8b73f","datavalue":{"value":{"entity-type":"item","numeric-id":751686,"id":"Q751686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$30E2F3D8-657F-486E-B5BF-898B5A586D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5b75e5917c889134d8a78729f028c28b56c294","datavalue":{"value":{"entity-type":"item","numeric-id":4848740,"id":"Q4848740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$DA8114C5-BA56-4D29-8654-6ED75BCB6B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a26e6bdd1261de50d5d0497494901fadd8b4db","datavalue":{"value":{"entity-type":"item","numeric-id":3030266,"id":"Q3030266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$06BAC433-87F0-44E6-98C4-018A60CAD26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56117e4020a2130c1cdeeb7a6dc6d60f33afc6e7","datavalue":{"value":{"entity-type":"item","numeric-id":5710686,"id":"Q5710686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$D45024CD-F965-4AA3-86C6-AEA834CFFAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ff9ad971719e22c2c0e5b0b2c9e9055f7fe960","datavalue":{"value":{"entity-type":"item","numeric-id":4348001,"id":"Q4348001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$E216B5F3-376C-4271-BB8C-813818D62E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e340c64bee6b92a5f1b6470c6b744b323f87d","datavalue":{"value":{"entity-type":"item","numeric-id":5286027,"id":"Q5286027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$7C8DADE8-C0AF-4458-9EBA-B87E9E2078DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687a623f0a9b9a1d72144852d29f427907b2edd6","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$7AD985BA-820D-4FE0-BA45-BA1B76ED27FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$9750E594-7623-49A8-B00C-85598EF0A8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b78218ea6ea11010dcb91a433738ca00c866ffe","datavalue":{"value":{"entity-type":"item","numeric-id":5096869,"id":"Q5096869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$22DC28CB-2627-414D-831A-BE7CDA8491D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d62ae5d8372aa178180c5517c3ec1038606e5c10","datavalue":{"value":{"entity-type":"item","numeric-id":1391734,"id":"Q1391734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$21F69A98-BD5E-45D0-9B7E-5BADE8575C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a55cb1739becf58f29eabbf9e09dce8e1e3273f","datavalue":{"value":{"entity-type":"item","numeric-id":4508392,"id":"Q4508392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$E73C720F-7611-437F-A897-04DD9CA852FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f86c809e564f459180d789c459ffb72986e31d2d","datavalue":{"value":{"entity-type":"item","numeric-id":4449535,"id":"Q4449535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$3241B279-335C-4153-9CBB-CEE995D0B2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c91015b409943cdd2bc3d8c2a41cd2f421cec34","datavalue":{"value":{"entity-type":"item","numeric-id":5311502,"id":"Q5311502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$D6F17FE4-3668-47E4-90BA-59C8ECFE6D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e375c52511dfb34f82e104f95edb5056ad3d650","datavalue":{"value":{"entity-type":"item","numeric-id":3479525,"id":"Q3479525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$60FB6977-3CBB-4989-B712-5E367C3042D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0663d769704bd36d7fb483a298b85543502a88","datavalue":{"value":{"entity-type":"item","numeric-id":4359289,"id":"Q4359289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$63D10856-B6D8-45E6-BEC5-96E146F71766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437e339c0f52b065b7629f93e04f820bac86e415","datavalue":{"value":{"entity-type":"item","numeric-id":4772711,"id":"Q4772711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$3EB22BA8-FACD-4628-9AE5-2AED88DBE7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$F289258C-BEDD-4378-81F8-4812BB7559B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272b127bd70e02fc161a01e01e952737f742e551","datavalue":{"value":{"entity-type":"item","numeric-id":697100,"id":"Q697100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$9DB804EB-BDC4-41D1-83DE-02DFE16FEA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc205793a32408c173aa34bc0f155226261393e","datavalue":{"value":{"entity-type":"item","numeric-id":1854402,"id":"Q1854402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$245F466E-2A53-4D34-B7D8-6934F32B17E1","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":"Q844887$D2F18838-06D8-436D-BABB-462B758ABC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d99c7f244c600607afce58286b675cb1cbea7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3919058,"id":"Q3919058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$09E34875-9B8B-4C49-AC8E-6B4B1618E499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8929536ddb292b6f1c097721e696be0381586b86","datavalue":{"value":{"entity-type":"item","numeric-id":3929061,"id":"Q3929061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$75735223-56E3-4DE7-AF06-957AB381A2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4007f4b03862510122f21d79ff06fc3e5e09218d","datavalue":{"value":{"entity-type":"item","numeric-id":789159,"id":"Q789159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$2D99F314-4111-4E08-9215-201A2EAA42A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa861f450c6fe1df24a11ab0f36f0ea59f4e8d2","datavalue":{"value":{"entity-type":"item","numeric-id":1106011,"id":"Q1106011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$D6622E29-B2F1-430D-A032-62B0CA228F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5f582c49adc7ab1bea1da8c1f66fd32514157a","datavalue":{"value":{"entity-type":"item","numeric-id":1391869,"id":"Q1391869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$11A51008-2A23-4E36-A605-F7A4FAF02161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608533bf3c2d046e29c46a84659be2d633077793","datavalue":{"value":{"entity-type":"item","numeric-id":1283821,"id":"Q1283821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$056ED8BE-FEB0-439F-9B4C-775787929173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59efc6b09788c19ba98a8644ee7655fc7010af2","datavalue":{"value":{"entity-type":"item","numeric-id":2770673,"id":"Q2770673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$DCB98C4C-EA95-4AA8-BB19-49B27AA70E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26290a3d620635abc3e1567af3da021766d03bd6","datavalue":{"value":{"entity-type":"item","numeric-id":4381396,"id":"Q4381396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$35F04F49-2487-4A9F-86D1-E90F9F4D377A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9255dfa1ad75f803af0c050376b5d51b4ab8cf57","datavalue":{"value":{"entity-type":"item","numeric-id":4542239,"id":"Q4542239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$2DD02156-22DB-41FE-AE7F-740BBD476D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfaf74bbe926c68a29f34b40e248bdae8e84ade","datavalue":{"value":{"entity-type":"item","numeric-id":1128480,"id":"Q1128480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$E1093358-B0EE-4B89-B3F6-B550B8FEF528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de179ec763f41376ac0bad9ff235d2aff5aedab","datavalue":{"value":{"entity-type":"item","numeric-id":2484441,"id":"Q2484441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$53043C57-BAB4-4BA9-BA3B-E9391318E906","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":"Q844887$F3364C89-CC28-434D-9189-C61D6766EAF7","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":"Q844887$666C2C0E-4BD9-4ABF-B2B4-33C190DB0DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$C38AE72F-B64C-4761-BA56-20F3236FEAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$7372B13A-78EB-41E3-AC89-2112E129DDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb78708f373fc5d0c546b5bf123ee4d1ecec205","datavalue":{"value":{"entity-type":"item","numeric-id":4212915,"id":"Q4212915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$D3DFE8CD-F7C4-4BA1-8AC9-8FD5A68A7839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7669e76b1ee9a2a565d5b17fe8b3659b3d2007c1","datavalue":{"value":{"entity-type":"item","numeric-id":4055972,"id":"Q4055972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$E7DF48F9-5DBF-4E3D-B66B-0BB24BACF138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$84EEE49D-11E4-412E-A460-93E76E95637B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$E0DDA8C8-5B9A-4F10-B9A4-438E1D0A91EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$D1103C26-2FF7-412C-98DC-DAA74D0A59B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b35e907ab212b1d8711807e29faa381e394fd44","datavalue":{"value":{"entity-type":"item","numeric-id":4723706,"id":"Q4723706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$0A7254B6-BF3A-414A-9B17-B5DF7B288C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$4F1918DE-FDF6-45A7-AD11-C724144B59F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$AAA8EB64-22FC-4144-8091-5B77E56F5E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2606f01a9d8a3f8548d5046536818e5b805065c7","datavalue":{"value":{"entity-type":"item","numeric-id":2576866,"id":"Q2576866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$CF307DF7-B2C6-4225-A5A7-4652D25AE3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a974f637709b7c0bbe6bc15d0ab90624a923b2","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$66F5252E-09F2-455E-8B7D-D2B1103EE9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6373225ca0fd8b276b99611bf9e3cf11d15d33","datavalue":{"value":{"entity-type":"item","numeric-id":5596826,"id":"Q5596826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$CBB1EBD7-93FB-4D35-8059-B1F7428592C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8024889a612c73bdd1e31ec3588fcf2af0499e","datavalue":{"value":{"entity-type":"item","numeric-id":5696196,"id":"Q5696196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$A679CFEA-60E1-44DB-83F1-BA35E0081B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$14F280CD-9582-4508-B5DC-3150750DD02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fec600de70ce569ad0cf91b1069c03e617f65b","datavalue":{"value":{"entity-type":"item","numeric-id":4273660,"id":"Q4273660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$1B56AE20-4BB6-44E8-BEEC-B34E7279DC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20484ddb6260b6177951a1731b3fa6574e17981d","datavalue":{"value":{"entity-type":"item","numeric-id":1275067,"id":"Q1275067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$F99113B8-810D-4642-891E-93817C583C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$E931285B-E183-475E-BF91-1DA2EE13ACBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34807fb037e0446337458c63b9238ba7e4d842ac","datavalue":{"value":{"entity-type":"item","numeric-id":3221429,"id":"Q3221429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$B952400F-8A6B-4F49-A8AE-9FB99B9267D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$DFB06481-EA24-4334-992E-E0C8D7D56181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9ef2dcd3d0d98bef4874d0f766c072615cac06","datavalue":{"value":{"entity-type":"item","numeric-id":4185836,"id":"Q4185836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844887$D889DF6A-360A-4605-9EE4-F2A791DD0A7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ceb3f633ca8f47e656f8fe520ffcdc77ad799578","datavalue":{"value":"10.1016/J.JLAP.2009.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844887$4D18CF89-AA11-4E77-B838-68518E834A67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b25b7c7f17c977e3c2333c6d04b7c3b8885899","datavalue":{"value":{"entity-type":"item","numeric-id":4381396,"id":"Q4381396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1804efef91da22d0ea18555f19779e41cc596bc4","datavalue":{"value":{"amount":"+0.917751669883728","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":"Q844887$C6273E66-525C-4C2C-BB1C-CEFD7C5AA097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ce0bd2d94f5dcabb3fcba38fa09dfaa25e8dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4737893,"id":"Q4737893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86723855b752425c556513c6024302a68d2ca780","datavalue":{"value":{"amount":"+0.8280467987060547","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":"Q844887$88456B57-6F48-4D12-AF2D-341B757EAD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfaaf3dc169a4e7d773afb329a56b6b2e585a6db","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b914b12a0e47b25c4775ffe26644ccb239ba0e91","datavalue":{"value":{"amount":"+0.8227585554122925","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":"Q844887$41A30883-B44C-479E-B520-E28898098D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9503bc4f8c3a6730834fc851525098a036b25a","datavalue":{"value":{"entity-type":"item","numeric-id":1776401,"id":"Q1776401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b914b12a0e47b25c4775ffe26644ccb239ba0e91","datavalue":{"value":{"amount":"+0.8227585554122925","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":"Q844887$B5E34398-B0D1-495A-BB9A-D444F2DFC89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536d44c287591e60a1ff82f76159012d434542f3","datavalue":{"value":{"entity-type":"item","numeric-id":5459196,"id":"Q5459196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd251c108040d54d6ff38248af56651ee6d0efe5","datavalue":{"value":{"amount":"+0.8045907616615295","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":"Q844887$3CFB6F8B-BC08-43B2-B9FA-E05A725A51C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizing the equational theory of regular tree languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizing_the_equational_theory_of_regular_tree_languages"}}}}}