{"entities":{"Q6154972":{"pageid":13289368,"ns":120,"title":"Item:Q6154972","lastrevid":58727316,"modified":"2026-04-06T12:02:56Z","type":"item","id":"Q6154972","labels":{"en":{"language":"en","value":"On the Boolean Closure of Deterministic Top-Down Tree Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805935"}},"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":"Q6154972$ADE3E2CC-B138-462A-8D59-126EEFA287AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b5521412f01724e90919982752e75627e172eca","datavalue":{"value":{"text":"On the Boolean Closure of Deterministic Top-Down Tree Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154972$127DF558-E155-479F-B0CC-30A4742D0606","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0725b78a7cc86600064fbe63488e61e381f5862f","datavalue":{"value":{"entity-type":"item","numeric-id":436609,"id":"Q436609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154972$E385CCC4-34BA-4153-A228-62AE17733F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154972$4F29A6E2-3561-48FC-BED4-8AC1C373ADE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154972$21FCAF4D-F523-4843-8768-9D39A0A84097","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154972$3C54CCAE-7D10-4082-8634-E7BC45B1B5B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5014b02bdbfa994946d04da97c12d154b79a299a","datavalue":{"value":"https://arxiv.org/abs/2401.06596","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154972$FD929AB7-6D35-45AA-8536-F649D8F8640B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154972$F1EE90F8-BFBF-4540-A86F-0F7302B68E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154972$906998D0-330D-4C3B-9F0B-0072876167F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154972$47F8DE6E-C17B-46D4-AF70-5B960EB0EDA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4ce7a6e12d2ed1163077c565df11367e7790f25","datavalue":{"value":"7805935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154972$AD220EDF-2D89-45AA-9891-5B317F26A37B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e835b46ed5192fc8b3763b59c7d2b8dc527f43d","datavalue":{"value":"regular tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154972$AF54DFC7-FB02-4533-AD4B-9199637D3857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846adeeb7d24d4dc889cdf8b8ce038cd979d454a","datavalue":{"value":"top-down tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154972$31272752-FA14-4554-818E-79076B9CCD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3898212513e24c39127a6e58f22e0141bc29b0","datavalue":{"value":"MSO logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154972$A8D671A4-DE79-419A-8945-0D37A071E4DF","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":"Q6154972$FF171252-BF42-4582-8430-2D5510B6DB59","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":"Q6154972$A5AE2A97-7DD4-4357-8D92-40B71E7396B9","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":"Q6154972$38345C33-1B2C-4825-8777-15F1401166E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4e2f7b0b5ef0207d690ddda3d5c0091de1f1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4274205,"id":"Q4274205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154972$9F1BF191-E14C-4085-94E1-996E44BD5EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"246cef8121b59c0f85de17c67609b471309e6979","datavalue":{"value":{"entity-type":"item","numeric-id":2140513,"id":"Q2140513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154972$81D3F38F-22DE-4021-B6C8-EBC37C254085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154972$9C7C3E5D-E9BB-4BF6-B44A-4657ACEBEA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154972$6BCE6B4D-3941-4349-B3B2-CA23CEC2CCFA","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":"Q6154972$45018C36-FD4D-4FB3-A9C0-70E812B2D9DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2fb41465bf08456774c0c8f9ea0ad6cef3ff63d","datavalue":{"value":"10.1142/S0129054123480015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154972$72230D73-9A94-472D-9B74-FBCAC910A764","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154972"}}}}}