{"entities":{"Q2436518":{"pageid":2447261,"ns":120,"title":"Item:Q2436518","lastrevid":74110611,"modified":"2026-04-14T18:24:15Z","type":"item","id":"Q2436518","labels":{"en":{"language":"en","value":"Conversion to tail recursion in term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6261405"}},"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":"Q2436518$BAB997CC-9E29-4EFB-B9D5-6CA5A781325D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8c35b75061e759df4d4948bd0e8c9155f1a07f3","datavalue":{"value":{"text":"Conversion to tail recursion in term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2436518$BBA69BD2-CF57-45F9-A6E8-7CED861ECB85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bd5a8d4b34b0447d621b3b883951e9e1fb6fb99","datavalue":{"value":"1283.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436518$4EF5AF51-63C2-4807-A261-2E49AED8194D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab14ad221e511a68105cfd43aaa9a4a54c3b820","datavalue":{"value":{"entity-type":"item","numeric-id":969618,"id":"Q969618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436518$50BE4DBE-6ED6-4A9D-AB54-5BD9C3068288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436518$B26BF2F7-DE22-4DD7-8D33-B26EDF2DA4A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436518$96B16AF4-0453-404B-8406-112F93C0A2BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efe2faed09c4ec490640e4d710dd813f29d8297b","datavalue":{"value":{"time":"+2014-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2436518$67584FCB-2861-4D2C-97CD-A66AC5322083","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436518$47B08445-AC20-4243-9BCD-B95C77634468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436518$969C3934-31C6-4F7D-9088-615D84BB3072","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eee98d9eb2431c5f1a28f65ef8011867e7aef870","datavalue":{"value":"6261405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436518$65AA165F-25D7-4C61-AD40-2449272EC428","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436518$AA2FF369-78DA-429C-A8FD-64B2478D8D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436518$0DBB73BC-7399-44CC-A38B-535AD8BE76AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"062f1d1df6512c5ef0786155cc75df38da63705b","datavalue":{"value":"tail recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436518$FEF63FCB-B601-4BB3-8F76-B79F9EC5F1E3","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":"Q2436518$B1B05A03-FAEF-4CF8-AD1B-0BF73181E65A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf33d6b51a757160d88c6ae0a058382b09cefba0","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2013.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2436518$76142FF9-A624-47E7-9FB2-59EA664B7100","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e57064258ad7e32bd1da987fc5bde354ea752178","datavalue":{"value":"W2109683171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436518$5F621F90-3EE7-4D48-BE18-2AEB9F539A8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24149b905b46045e1dfc14b807b4a2f6e4b5b190","datavalue":{"value":{"entity-type":"item","numeric-id":5389087,"id":"Q5389087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436518$78E9B90D-00BD-48F0-B866-8C5F44441384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa81bcc9d031f13e6443e8a60911fc02ec06aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":3992669,"id":"Q3992669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436518$E93A6CFA-6E0D-4185-B64F-8A3670C73FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436518$CB6260F7-5F07-42B6-94B5-8F4D5C70BA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dce18fdb6050f22c7442e84a757c8a261022bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3867165,"id":"Q3867165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436518$81681E17-9EFF-4BEA-8983-1A15227D0E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436518$8BBA31B1-9E75-4A6C-8EE2-7F6138FAEF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d49ab163f1f16305d44fd2dbcea1b2c6c47b9d3","datavalue":{"value":{"entity-type":"item","numeric-id":2946588,"id":"Q2946588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436518$7FE3ABC6-291F-49E5-BE46-8B1E967FC2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657027be469db18e4d5129ac2351e8c978dd911d","datavalue":{"value":{"entity-type":"item","numeric-id":5957056,"id":"Q5957056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436518$A9EE7588-AC85-4A3B-B028-267430C4B92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f95485102ee6530ceab9827faad9827664e5dd4c","datavalue":{"value":{"entity-type":"item","numeric-id":2936786,"id":"Q2936786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436518$22FDA459-A127-4952-ACF6-3F86EDAF3FFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"153f666df58277d96810fd6a5fbdbf4b5bf0e727","datavalue":{"value":"10.1016/J.JLAP.2013.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436518$EB5DC94E-A3A1-466A-A103-7527D7DE8371","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee1193bed764f2d3213fe54906d59de75e0dae0a","datavalue":{"value":{"entity-type":"item","numeric-id":5389087,"id":"Q5389087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb281e8276d3da7a085848041b52c627c45ea6de","datavalue":{"value":{"amount":"+0.7165549397468567","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":"Q2436518$D63F54B6-E476-48C0-8A80-A00FD61873FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7e6bb824b96b58a02ec70f3688d6520a7ad8dbe","datavalue":{"value":{"entity-type":"item","numeric-id":1193746,"id":"Q1193746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6de39e8f3bd16c64eee74a14f5f857ab55df77d8","datavalue":{"value":{"amount":"+0.6966106295585632","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":"Q2436518$CEE68368-F66B-4C88-AC2E-4C074187AD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce93b479d1b3654409708b7335a82e2f97a84fb","datavalue":{"value":{"entity-type":"item","numeric-id":5743602,"id":"Q5743602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e40d9e6e02cd59670fc2df89a979beb44cd70b","datavalue":{"value":{"amount":"+0.6894583702087402","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":"Q2436518$8F2A09FF-6704-40FE-B444-6FA4F18BA07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee60e3c0c9f608e85ef83e663dbf3bfe41ca06b","datavalue":{"value":{"entity-type":"item","numeric-id":1089782,"id":"Q1089782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4dd09710572a1e8dbfe5b2f56d1ad52f066ac1","datavalue":{"value":{"amount":"+0.6872639656066895","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":"Q2436518$9532467C-BE34-45F9-8496-08786D25D7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75a2f09b2f7e8b4e417073c6127a7f856249356","datavalue":{"value":{"entity-type":"item","numeric-id":3823139,"id":"Q3823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2dbb2e1618959344ed1917167380c1e55f3a6d8","datavalue":{"value":{"amount":"+0.6755741238594055","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":"Q2436518$C7066758-BAA0-49FC-815E-2A21A5E2E059","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conversion to tail recursion in term rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conversion_to_tail_recursion_in_term_rewriting"}}}}}