{"entities":{"Q6178464":{"pageid":13313352,"ns":120,"title":"Item:Q6178464","lastrevid":39745733,"modified":"2024-12-30T18:10:58Z","type":"item","id":"Q6178464","labels":{"en":{"language":"en","value":"Functionality of compositions of top-down tree transducers is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7790925"}},"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":"Q6178464$A3545CF9-2B9F-45ED-8C1F-F55F472BF5BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d43bc74444d70f96088ad92d0d6512712a03cf3","datavalue":{"value":{"text":"Functionality of compositions of top-down tree transducers is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6178464$080EEFED-5B2B-4B8A-AEE3-6B69BED7DAA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2c3f07bd4567f73e6d9c4e2b60def57e979538e","datavalue":{"value":{"entity-type":"item","numeric-id":269347,"id":"Q269347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$BD3F6412-0A39-4C83-91EC-488EA1C8DD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$2E49A8F4-553D-45BB-8555-EC705F58A740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b4a133cf1d2aaae3ad7650c7ab7336c0fa3775","datavalue":{"value":{"entity-type":"item","numeric-id":831847,"id":"Q831847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$8AC36F12-30F4-4D8D-A960-5114631E26C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$049CC48B-518B-4B27-B53B-0249F130F2F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ff89536e38dd1dcc6e3cce47bb2f12bcf1912f8","datavalue":{"value":{"time":"+2024-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6178464$4AD15CF2-701C-4AEF-B8A1-AF4DE78FE4E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178464$29604E9C-62D3-4324-B996-CEB597D7E03F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab8d38212e3b0f12b1e674a3dbcda8566df18ebf","datavalue":{"value":"7790925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178464$78797F97-DAB8-4A2C-A8BE-75FB4BABFF40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a684e7114f8c0650618c8a9c686a3a9a86979b7f","datavalue":{"value":"functionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178464$0C41AB5C-4039-4F4C-B9D8-1CD72D853A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178464$58D34A40-F06B-4E04-88AC-4C0BB3277A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304be21e4f7b609171aa14a99ace7c5650c633e0","datavalue":{"value":"top-down tree transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178464$491B77EE-44F5-4692-A15D-98B8AD93CEE5","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":"Q6178464$159A7E38-CB40-4237-AFAE-E309296E52A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bceabf0242773e69a0ff4e8a7624cd9d6535ba0","datavalue":{"value":"https://doi.org/10.1016/j.ic.2023.105131","type":"string"},"datatype":"url"},"type":"statement","id":"Q6178464$A3785BF2-7DAC-4635-AA42-3A2D7B63DD06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dc240f30d1eaa33e52008eb7e8480cd0904ea09","datavalue":{"value":"W4389778718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178464$5261E6EB-AF37-4D3E-A644-F713B33DF4A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4d565483d48a7700ef1a9a1b0c4c7cf25efd30","datavalue":{"value":{"entity-type":"item","numeric-id":526439,"id":"Q526439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$36E06131-DBE3-4FE5-AFA2-77AE1BF52E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863140dc749e96fb806f460c7b19c50cbde68f4d","datavalue":{"value":{"entity-type":"item","numeric-id":2464141,"id":"Q2464141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$E711EC51-4A7B-44B1-95D8-F693FBB85E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14dff9a74292ed2f617e0427e4e3f10c58de3d18","datavalue":{"value":{"entity-type":"item","numeric-id":1777963,"id":"Q1777963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$5BB7AF3F-DF74-4377-ACD8-60170E9A20EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b966808ee9c0072c8088b0c39fe14c48405ed89f","datavalue":{"value":{"entity-type":"item","numeric-id":2540272,"id":"Q2540272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$2165C028-80FC-41B4-9715-FDD2FDCE57E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d63be057f1dbf872e8af155ca01c9414977fab2","datavalue":{"value":{"entity-type":"item","numeric-id":5603192,"id":"Q5603192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$3BFBA86F-9507-4628-BE4E-0506FB85292D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d2d9e161ff28bc5eaed06bd7b5efe2b101686b1","datavalue":{"value":{"entity-type":"item","numeric-id":3906457,"id":"Q3906457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$A78F2E16-24F6-40F0-9956-0DFC73A9AEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9e893ce5138658fb9f8fd338cb22fa4536c0aa","datavalue":{"value":{"entity-type":"item","numeric-id":1021574,"id":"Q1021574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$D72F03A8-BC5A-4418-9D5D-7730DAE78269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ce29649868e2534cce8f3ea0ea7b17fd00770eb","datavalue":{"value":{"entity-type":"item","numeric-id":2800413,"id":"Q2800413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$917E9E09-5908-46AE-A6A0-A8A18D922AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3941948c78b1b4e598e643befcf898affe34a2","datavalue":{"value":{"entity-type":"item","numeric-id":1247295,"id":"Q1247295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$38773195-3FD5-4C33-9B73-FF63AE1C41F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a18c8ab6e2d2a9acc4d84df0c9eccee124cc9dd","datavalue":{"value":{"entity-type":"item","numeric-id":4747534,"id":"Q4747534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$6F739356-098C-4677-829D-6340C5AD8302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a872555bf5bb3f091d728bad7b392567d5a78f","datavalue":{"value":{"entity-type":"item","numeric-id":832950,"id":"Q832950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$19B6AC4D-E429-40D7-A6ED-F6B238D110E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ccb3d15dea78d633cda8dffcef636710c8cbd7","datavalue":{"value":{"entity-type":"item","numeric-id":4195956,"id":"Q4195956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$F76C6DE4-CB07-4741-9D71-8EC8DA53E4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6dcee16843341d3d2fe9c85bc982ee1824fb7ea","datavalue":{"value":{"entity-type":"item","numeric-id":5402511,"id":"Q5402511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$1064B776-46C0-4F51-A37E-BC3D65A6D985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980a6530e26b95b1ccced773b6d57739ceae5608","datavalue":{"value":{"entity-type":"item","numeric-id":1136239,"id":"Q1136239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$8DFB359C-EFD3-4F4E-8AD4-DEB7C0FCF5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed211088489db1acac133b39044bdb8cd961dbe0","datavalue":{"value":{"entity-type":"item","numeric-id":6108731,"id":"Q6108731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$32545E58-E692-4A66-80AB-3D19492E293A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74790942b2e6b5ed9810f28f0f37dd82301f55c3","datavalue":{"value":{"entity-type":"item","numeric-id":5656401,"id":"Q5656401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178464$B4C7FDF3-ECF1-4BF9-98CB-6DDCEF29F357","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":"Q6178464$108E11C7-A7E5-4843-B645-44B5CC4C611B","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":"Q6178464$F77CA035-7527-4770-94FB-302521283FA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"843c8864131e6bfc269c2e5be101c8c7e7bd5c76","datavalue":{"value":"10.1016/J.IC.2023.105131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178464$63F05231-A517-464B-B50F-E90304437109","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6178464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6178464"}}}}}