{"entities":{"Q1313742":{"pageid":1324492,"ns":120,"title":"Item:Q1313742","lastrevid":68720664,"modified":"2026-04-13T01:39:33Z","type":"item","id":"Q1313742","labels":{"en":{"language":"en","value":"On injectivity of deterministic top-down tree transducers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 500535"}},"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":"Q1313742$7C68DD49-A3F2-416C-837E-12FB13418CD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff2e55f674e25f4f861177c848c886874cee0562","datavalue":{"value":{"text":"On injectivity of deterministic top-down tree transducers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1313742$A77F79AF-AAC4-4EA6-93B2-5B33FE923F85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e4b2c3252435a501c01352b47f8d26398607266","datavalue":{"value":"0818.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313742$0D1103CD-C95F-4135-B1E4-15231499B123","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2074ee93c803619ee85f3ee30e72358cd68affaf","datavalue":{"value":"10.1016/0020-0190(93)90143-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313742$8930CDB2-5D52-43E5-94B0-4EBA18200644","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313742$DC17023E-11ED-4DD0-861B-C15C5EDE7CC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a98b516b3b9176710c62782f44acda15286afefe","datavalue":{"value":{"time":"+1994-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1313742$6B2FEE6C-6E66-4986-B628-2E2E81993F9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313742$0D12A82D-2420-4567-BC56-2BA560D6C13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313742$32288AC7-E240-449D-AB45-923EA97C23A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313742$F75AEB1B-B164-4379-8351-F75B90976942","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dead0e2d946cff11e083acb45da886d3a945167","datavalue":{"value":"500535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313742$E37AE75D-08B7-4A9B-8135-54946306ACED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8243d87c313a4f6a12a7a743f263a9596ab61b9d","datavalue":{"value":"tree codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313742$6936CC3B-79D0-41F1-B1AB-E56B5AD7EAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313742$CA903AD6-5E5E-4741-A100-352669264514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"813c0e1c1355a8515c1facf0a3741bbb3bc4a554","datavalue":{"value":"top-down tree transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313742$A07B1C9D-8564-4D16-9020-1CF0D968141B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"43e6d7acb9dc23d66816abeeb88726d88e6112c8","datavalue":{"value":"Q122186766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313742$74516AB6-B490-49ED-BF18-61916A803E65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d00fa627735b22d11a5ec2028150137b2160228","datavalue":{"value":{"entity-type":"item","numeric-id":404009,"id":"Q404009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313742$0FC28C7B-78F7-4AC2-8360-CD135B723529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f68dc8b316e350594c0c6cf195194fda5b416b39","datavalue":{"value":{"entity-type":"item","numeric-id":1127542,"id":"Q1127542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313742$061218B3-C0E3-414E-BF98-A4A8B64EFEAD","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":"Q1313742$1BA2C592-2FA4-4A7D-9092-52B7F7E58E65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a81bd5fe2316c0fc5ee15f4844e9b2a6e5c30f7","datavalue":{"value":{"entity-type":"item","numeric-id":1073576,"id":"Q1073576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313742$5581FB18-9C81-41D1-8132-F676DA14845D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab152a53275d94a7873051b00f3afd9fbef5e98","datavalue":{"value":{"entity-type":"item","numeric-id":4164834,"id":"Q4164834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313742$222A31D5-6A53-4FB0-95DB-69B68818A312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a4f049b99dac818e1da2db70080403dc4bdf55","datavalue":{"value":{"entity-type":"item","numeric-id":1208712,"id":"Q1208712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313742$1864BABB-B068-4BC8-896F-11C331E77535","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":"Q1313742$E04FB187-6583-4721-AB6D-BFE4E1616775","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4853d697ffe03b2698e2c78ea385df88c4b81588","datavalue":{"value":"https://doi.org/10.1016/0020-0190(93)90143-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q1313742$951FF345-2468-4DC2-9C4E-A38E8206785C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a433a18c92e78564c99d14430e376bbf79e2e65a","datavalue":{"value":"W2043982877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313742$B57B4C4D-2FFE-4198-920D-72423F9BCDCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On injectivity of deterministic top-down tree transducers","badges":[]}}}}}