{"entities":{"Q555775":{"pageid":557542,"ns":120,"title":"Item:Q555775","lastrevid":62716572,"modified":"2026-04-11T07:58:37Z","type":"item","id":"Q555775","labels":{"en":{"language":"en","value":"On the complexity of typechecking top-down XML transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2174894"}},"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":"Q555775$9AA971C8-4DA0-4A60-A321-7A6B3967179A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d588d2f82c7644954b3e38468520e83f9b8389b6","datavalue":{"value":{"text":"On the complexity of typechecking top-down XML transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q555775$00EB81BD-22B4-43DD-892A-531C1B168C5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0cbd9b21387c0a8c6a615c195175c1c388b28fa","datavalue":{"value":"1080.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555775$8A9E07C7-FD41-4AE7-ABAF-05A8CF7A72D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b616c76018656d2af6a34ae44e9d7b8e1d695ca9","datavalue":{"value":{"entity-type":"item","numeric-id":265076,"id":"Q265076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$D93C9CB4-6418-4BAA-8ABF-B5F1366C272B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f74074f05b4440719adb6fc6eb25e991f2fa6f8","datavalue":{"value":{"entity-type":"item","numeric-id":269326,"id":"Q269326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$ED73FB53-7D9D-470D-8FCB-EBA8FD206156","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$2E182AA6-BB88-493C-8073-6690ACD79923","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f82118ca2793d21263f8941982493899f6fa842","datavalue":{"value":{"time":"+2005-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q555775$559FBDA4-409E-4568-B0E8-829C12305214","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555775$1C1E4235-6A2F-43A7-B434-3A48E91B66B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca90614a78abb8a5a0707820f70a029c82ec822f","datavalue":{"value":"2174894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555775$F1E4A005-D54B-4814-8A15-F7B78323D52B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447afb4719cb671bea0614018634146ae3b4e275","datavalue":{"value":"top-down recursive transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q555775$09FB8EB4-1F7A-4754-B7EB-596D591B1810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2158d919501c9ff3ca2923a87bba22d6334d7ec2","datavalue":{"value":"structural recursion on trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q555775$21F55148-972D-4F53-9C40-791C24C4D219","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":"Q555775$4BB74690-3FE4-4759-AEE3-3CED294CD5C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08f5dbbc7eb593c65f5dda5897c1c91453a49ae8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.10.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q555775$42492AF9-1FE6-4C7E-997E-0CF77E2C8598","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eaff97dcfd2330c6fd36ed900ac9f1e9bcf7111c","datavalue":{"value":"W2143127574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555775$FD8E072F-09B4-4FFC-AA5A-D0EBD1BE6A55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f860ebfab0f7721a77e82ea12602f100faba07f8","datavalue":{"value":{"entity-type":"item","numeric-id":5267433,"id":"Q5267433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$093E7A80-2093-40FD-BA09-7BAD4930A411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a58478cb23d130ea8d44c11dfbd7b525c2bc27","datavalue":{"value":{"entity-type":"item","numeric-id":1401966,"id":"Q1401966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$CD73CBC8-0871-4FAB-81DB-B38C6F9FE85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b0578ad1868b85737b6704e4925be38471416d","datavalue":{"value":{"entity-type":"item","numeric-id":1599655,"id":"Q1599655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$833688A7-593F-4175-A824-C7D151641431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0445ca81f1046c8b5bea1a2062f174b139078383","datavalue":{"value":{"entity-type":"item","numeric-id":1217591,"id":"Q1217591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$48E7EAD2-1274-43DD-95BD-C47B3E53C098","rank":"normal"},{"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":"Q555775$4C541520-BBF5-439F-BAF8-555518D3B80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$D699D62C-D0BF-4749-BFDE-4A2934279112","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":"Q555775$94947556-2680-4545-91F4-1B959C8AE5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c2e166c21268174f22435e129942ae345904e6","datavalue":{"value":{"entity-type":"item","numeric-id":3325044,"id":"Q3325044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$AED909E6-4C2D-4282-92C7-F9DDD8449101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ddaeedafba7707142a8d3d36f7b5ed709af79e","datavalue":{"value":{"entity-type":"item","numeric-id":4473157,"id":"Q4473157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$9539A0B3-89F5-418D-8769-2573E3257666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf274133ab238204d567117233b8bc8215fb7b0","datavalue":{"value":{"entity-type":"item","numeric-id":878753,"id":"Q878753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$B1CB6194-D42B-4C70-A575-A546AF5C76D4","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":"Q555775$9D321D6B-56D8-4B05-B982-F8DD911B3367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821a0533f3197970993412f59328a8ec61b2d38c","datavalue":{"value":{"entity-type":"item","numeric-id":1607226,"id":"Q1607226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$F63A3820-2914-4669-9851-A46CC2B24F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$2DCB8ED1-2E43-4C2F-9204-25F69A9F9754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351879948b4564c55d2d068ea5683d8ac895d03c","datavalue":{"value":{"entity-type":"item","numeric-id":4414525,"id":"Q4414525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$27FD7971-36B8-4ACC-AAF8-E9CD90577518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068ff9bc22782d1999dd390113545d9fb239fc9c","datavalue":{"value":{"entity-type":"item","numeric-id":3477969,"id":"Q3477969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$8D11B207-B3B6-4CD8-969B-E60B6A2BDEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bbd3ff0e6402348b490ebdaf9fd860aa3f7a57","datavalue":{"value":{"entity-type":"item","numeric-id":1336737,"id":"Q1336737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$65F5D662-6DA0-413B-9469-2591BCBDA82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$357B9485-2CA7-463F-BD3D-1D2AB5B5EF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4aa55c1ae0232a2eefaf0e5f544bf29e850a8d8","datavalue":{"value":{"entity-type":"item","numeric-id":5714247,"id":"Q5714247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$51449D47-05F6-44B3-A669-09C61FE6A084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f01ecffaf428bb07aef10232d62d5e6a8590be","datavalue":{"value":{"entity-type":"item","numeric-id":1116341,"id":"Q1116341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555775$3EDDB7FE-A1F2-4F70-90A4-17D83262C1CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"346206c7615aa17f70b057a686ef0ab8f7d70c33","datavalue":{"value":"10.1016/J.TCS.2004.10.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555775$914EB2CA-9076-48BB-8922-501B82E6163D","rank":"normal"}],"P1643":[{"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":"d90ee9ca023cd8087270c6112efd8c4624cfd8be","datavalue":{"value":{"amount":"+0.9261078834533693","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":"Q555775$B760194F-C580-4538-B160-43BD578965A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fa5b112a52651c8ac01a44c4865928f125da91","datavalue":{"value":{"entity-type":"item","numeric-id":937295,"id":"Q937295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b89526e0ca20c5600013039434ce5d8b3d80025","datavalue":{"value":{"amount":"+0.9056217670440674","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":"Q555775$B9CD1A2C-BD51-492C-BFDE-B878E3DDF57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0991e59ca2f0c1980df2acc31b7e851041c7b8c0","datavalue":{"value":{"entity-type":"item","numeric-id":878753,"id":"Q878753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21025011b2ce00f9377b89ad0909e27d7798ee25","datavalue":{"value":{"amount":"+0.8877164721488953","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":"Q555775$B946CE17-0F6E-4C8E-9225-B33898EC959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63fc16d3456da00805c7708940b97b345afa65f5","datavalue":{"value":{"entity-type":"item","numeric-id":1394797,"id":"Q1394797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f54d11997f535561bdf41b2424a5168681cca1","datavalue":{"value":{"amount":"+0.8639591336250305","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":"Q555775$99B3B355-4D5F-4D08-BF24-A62DA2033C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aa53d9b3e99c30b357a18708952e28c0299fd81","datavalue":{"value":{"entity-type":"item","numeric-id":1401966,"id":"Q1401966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ed22489784c2f4cea27a14d20212817e164d9f","datavalue":{"value":{"amount":"+0.853982150554657","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":"Q555775$FE4B5B7A-DAA6-478B-BB0E-083FDACE31B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of typechecking top-down XML transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_typechecking_top-down_XML_transformations"}}}}}