{"entities":{"Q1014274":{"pageid":1016122,"ns":120,"title":"Item:Q1014274","lastrevid":65954331,"modified":"2026-04-12T06:33:40Z","type":"item","id":"Q1014274","labels":{"en":{"language":"en","value":"The time complexity of typechecking tree-walking tree transducers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547499"}},"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":"Q1014274$8DDFA51A-4751-483B-8A67-492C974CED35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c8bf634847112a9793c1344652400d91832a8ec","datavalue":{"value":{"text":"The time complexity of typechecking tree-walking tree transducers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1014274$FCBA83CF-BF24-472F-95EC-CB417FDA436A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ed639780ad03d051435c1ef1ae974308cb147ff","datavalue":{"value":"1165.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014274$D5CD804E-3240-48A3-B1FC-4CFF0DC80ADC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdaa763056574d670db49d3b9b4fb6f07d823420","datavalue":{"value":{"entity-type":"item","numeric-id":255286,"id":"Q255286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$937D48F8-163E-4FE8-8DD6-723760FE9B34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$43BC43B3-84FA-4297-B90B-7743AF0E37C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f40d4a7d32e7e554cba8a4f57f931cf8b36f1589","datavalue":{"value":{"time":"+2009-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1014274$C12E9A0C-0B1B-4FA5-9332-10437935B559","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014274$4C7A9C5A-CCBF-4D39-BEE6-2C6CFE781C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014274$D2750D1B-0165-4773-B7BA-E8503F8326D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c5976e3953b805c278595be0c0834a46b43229e","datavalue":{"value":"5547499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014274$849AE46B-755C-468F-8200-68CEAAFCA4A9","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":"Q1014274$23DDC798-C28E-46D7-8ADD-05F1B874057C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4bd65c864ae1d6a46474443d6443cadb1d0c9d3","datavalue":{"value":"https://doi.org/10.1007/s00236-008-0087-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1014274$8FD1C09C-8C0A-45C1-932D-75DF8C1EBB82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbb852abd3e9f8e17366308e8da298e39de48d11","datavalue":{"value":"W1989452354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014274$5247F532-A2BF-45B7-BB90-27A2B19C7966","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4a0c107773baf4c7b30e2c05565087fb2ff673","datavalue":{"value":{"entity-type":"item","numeric-id":5452362,"id":"Q5452362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$70A21543-1B28-43C9-B7F4-B03A77479696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ebce0e0dcca133cd6b8ee9a3e1b138dd318c0c","datavalue":{"value":{"entity-type":"item","numeric-id":3967069,"id":"Q3967069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$7516EB3D-7910-480C-94BC-148DF0ACE806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62319e7e75976292311c051287cd245784c5e9b9","datavalue":{"value":{"entity-type":"item","numeric-id":3926051,"id":"Q3926051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$0B8772E5-8A08-4FD2-B32C-44F063963C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b1f4b3a245499245e639ec4acfcd5653f4b709","datavalue":{"value":{"entity-type":"item","numeric-id":1424364,"id":"Q1424364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$DAE90D31-0D81-460F-B61C-15FCD5B967CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f80eae19370bdb5f57fc5fbbaf84afe99eb0832","datavalue":{"value":{"entity-type":"item","numeric-id":3925893,"id":"Q3925893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$B9C1FEC3-3959-45BD-9404-03F91E086108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eebe48f5ef26e93fd20d62b5053775dad68cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":4210160,"id":"Q4210160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$75BB8584-A9D1-4634-B976-ADDA8F99E110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d42abe4551a8c050644f7db9df69201f22d8f6e9","datavalue":{"value":{"entity-type":"item","numeric-id":3922174,"id":"Q3922174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$D29F3DB8-7181-4016-88F6-06403A2268C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61401de64b7c5f8494065d32993eca48fbf16a9f","datavalue":{"value":{"entity-type":"item","numeric-id":4080746,"id":"Q4080746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$89337E43-1FA5-4488-B1A5-196DB20A8005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6e3b1d18c33ecfb7859f089b824dc234ba28b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3341934,"id":"Q3341934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$66FD10C0-8DAD-4FB9-B8FC-6F145A830587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eff7b494305474d41d7d2b0a9428a63fd5d0cca","datavalue":{"value":{"entity-type":"item","numeric-id":3940852,"id":"Q3940852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$CFD496A1-65AF-49AC-A074-67A783CDA249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ffad56ff7cb3f1b7bce5a75e03b0b6586eb531","datavalue":{"value":{"entity-type":"item","numeric-id":5555691,"id":"Q5555691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$FB889F4C-0138-43CF-8509-9B24B869D705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6daecdeac1d806d8c648d3cda27ee91c08d239cf","datavalue":{"value":{"entity-type":"item","numeric-id":1394797,"id":"Q1394797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$0C9017CF-E042-4613-A2FE-15754968BCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7f104c50f7164f6e83866a4193e8564362ebd9","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$8C9CFD3A-C33A-4CAA-B916-EFA0277416B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92e337e548480a189f827f4e645f26f466f7873","datavalue":{"value":{"entity-type":"item","numeric-id":1029068,"id":"Q1029068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$83C6A64D-0601-49A7-84F6-70E249B339F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a6e4a83b392df3ca99032cbbcfc07c833fd2e3","datavalue":{"value":{"entity-type":"item","numeric-id":5444984,"id":"Q5444984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$E46F3810-4DF0-4D27-A795-DD3276B6FA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961718bec1ff5775006cd097ddc5e24540c59cee","datavalue":{"value":{"entity-type":"item","numeric-id":1077932,"id":"Q1077932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014274$79460EAA-C69A-49B0-82D1-26F1DB8D078A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fbb19b169b30e09fd10c10fdc6149f16dfd3997","datavalue":{"value":"10.1007/S00236-008-0087-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014274$BE884D69-3D72-46C2-B435-64B7C7B6B6D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798f82e0f55ed3db83a83ffba11778f54f1a9370","datavalue":{"value":{"entity-type":"item","numeric-id":4907863,"id":"Q4907863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5279857d3d877c668b406e0e85c7d0fde320e56c","datavalue":{"value":{"amount":"+0.9490412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014274$2ECAD9DA-1789-43AC-A065-1E399B9FB780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a679944156871ca61be42e85c83e840f018bb2d","datavalue":{"value":{"entity-type":"item","numeric-id":3165963,"id":"Q3165963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315412635586c22645dff418604a6cad9b735228","datavalue":{"value":{"amount":"+0.88175267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014274$166D716A-C4E1-4DED-A5F6-5B4CFC20253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce81654610a9eca86f75b7d8a6072d5538f32d3","datavalue":{"value":{"entity-type":"item","numeric-id":4414526,"id":"Q4414526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89981ee4621d688383b3933ee048f2796a5ed689","datavalue":{"value":{"amount":"+0.8806348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014274$3F01D3A4-4D59-4363-9778-667A68834D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb0281c2010c51d1ba055fbc0cbda5c436200b8","datavalue":{"value":{"entity-type":"item","numeric-id":4415261,"id":"Q4415261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46382fdc769eb87eb3be3df0f529804e6b7a61c9","datavalue":{"value":{"amount":"+0.87402964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014274$1D397223-576E-4FF7-9E41-7389C352C8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e063863249502de20f7461d409d6b08e47ee94","datavalue":{"value":{"entity-type":"item","numeric-id":2022308,"id":"Q2022308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bda57b96bfb693b7cf87935c4c24e94a182f1a6","datavalue":{"value":{"amount":"+0.8660449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014274$63D4C3B2-3A37-413B-AC85-B4E3EFDAEC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e875cd35a78d7f60ee090c0f067a20ef79316ff","datavalue":{"value":{"entity-type":"item","numeric-id":5309720,"id":"Q5309720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76964b5d1c52e84532a133f4e65bfdc032c94d5d","datavalue":{"value":{"amount":"+0.8615777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014274$DA849D3B-69F9-43F2-85E7-28E9C0AD9A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf503b7511066cc093854d821c4292625cb7c7f","datavalue":{"value":{"entity-type":"item","numeric-id":2464335,"id":"Q2464335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f991ab4a10e7ad7a1b7f48857b67487ca12d1d5","datavalue":{"value":{"amount":"+0.85092175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014274$7A4D3A2B-7DBE-477D-952A-3925A1F49CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d590f33c1335013df23bb7048cd9830c3d1c142e","datavalue":{"value":{"entity-type":"item","numeric-id":1854455,"id":"Q1854455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5556e1d282da84078fdb44415dac3cd154129793","datavalue":{"value":{"amount":"+0.8507942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014274$7E9643BE-137A-4ADA-83A7-CBCD12A7F7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155cf03e4a5c5ac2898db7d1ab44fa5258d86ba1","datavalue":{"value":{"entity-type":"item","numeric-id":3326869,"id":"Q3326869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c2569a6a4f514935a83f201d3baffc3e5d1afc","datavalue":{"value":{"amount":"+0.8497163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014274$953AF396-F717-4CB8-BC59-4C71B0E2C86E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The time complexity of typechecking tree-walking tree transducers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_time_complexity_of_typechecking_tree-walking_tree_transducers"}}}}}