{"entities":{"Q685396":{"pageid":687245,"ns":120,"title":"Item:Q685396","lastrevid":63459834,"modified":"2026-04-11T13:18:21Z","type":"item","id":"Q685396","labels":{"en":{"language":"en","value":"Tail recursion through universal invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417340"}},"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":"Q685396$59D6568C-56F0-4DAC-9BE7-5FF1BD893EF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"690c94d6a601c15b0e0596f68d36e1f42bc35025","datavalue":{"value":{"text":"Tail recursion through universal invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685396$AD574588-51D0-48A4-8B76-766E28351E5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d855c8c41ac9b4bbd6b901ca6f152d1418290d6c","datavalue":{"value":"0779.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685396$90F2D58B-0224-4EEA-95CF-3BFE8743A6AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91e7f2dcbc82c5cf1eaf020ccfa01031da70a822","datavalue":{"value":"10.1016/0304-3975(93)90059-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685396$7D8718E5-58F4-497A-A719-97F433D25D33","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":"Q685396$7868E8DB-7D0E-47FD-B377-095F0C7F8060","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64676cb2fd723bcdd2b292334fc4e3600b92f31d","datavalue":{"value":{"time":"+1994-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685396$77AFE455-3C80-4F18-80BA-6E2C991714A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5eefb262e7b2f54228b86fb6c1d5837e89b3f896","datavalue":{"value":"Although initial algebra semantics are a powerful denotational tool, they yield programs based on primitive recursion. Tail-recursion is only derived by further, post hoc optimisation.   As an alternative to the usual initial list objects, this paper introduces the convergent list objects. The two semantics are shown to be equivalent, but the latter yields tail-recursive programs directly and systematically.   The unfolding of a tail-recursive program yields a loop or endomorphism, whose iteration is captured by its categorical colimit, or universal invariant. If the loop converges (roughly speaking, its universal invariant is its fixed object) then this invariant is the semantics of the original program. A list candidate is a convergent list object if all the necessary loops converge.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685396$6494D862-AA8C-411A-AFF5-0532F545AABA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685396$973299F6-20F6-40E4-902E-5B18DA1EF9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685396$8CFD374A-243F-4606-AFAE-1299E25DD829","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3253ff04b88d9acd5c510803948b082e6c0c6020","datavalue":{"value":"417340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685396$69A26AF4-53B0-497D-8866-DA3AD7D5B0A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q685396$BF0473AD-2780-41E6-928F-B5DF25C03C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12d051ed030c5ad325c5671fe57b4ae5ed546b65","datavalue":{"value":"convergent list objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q685396$E9193E60-8757-4DBD-8A0B-CA376529A896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d991e63a90f3eab03d4d7492fce68095235234a","datavalue":{"value":"loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q685396$32D2058E-220F-4B7B-AF95-DD185AD31D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a84a12374acecd6b3fa5e38936e48189476e090","datavalue":{"value":"universal invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q685396$F64B465D-0DA2-49C6-A830-BAC349ED3A38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b90fa7a1210e62a50e28791a4ad13f433322428","datavalue":{"value":{"entity-type":"item","numeric-id":584379,"id":"Q584379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$C7255ABE-74D3-41A2-8001-9850D8BF6127","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d4d689c90f6c1b8c995f1f1bf164eddcb0b84e87","datavalue":{"value":{"entity-type":"item","numeric-id":584379,"id":"Q584379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$441F77AF-A581-4C91-874A-0A8E77760057","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":"Q685396$A483F70F-5E1F-4A9C-B831-A580DE4DE665","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"615ea8ade3bf7100b41c3075c17d1e934eef574c","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90059-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q685396$B6702AD2-13C7-4FC7-93AB-446460E2D748","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22fd7eea2627d649673d2bf88e5c4a5b1593b40b","datavalue":{"value":"W2029006139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685396$E0AF6AB0-4656-418E-B77D-7F6A0E88FC23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74db8a831e95996eb99c0e9b219812d0b0317aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4006228,"id":"Q4006228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$280C2485-EE4F-4B1B-B6BA-17EE299D4851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$E3EFD03E-AB6A-49FD-9A15-5FC2239B261D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358596db31a85268f2da249f2d363886b423d4b0","datavalue":{"value":{"entity-type":"item","numeric-id":3767474,"id":"Q3767474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$F1B738FD-D485-4A28-8168-1E481B3731EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac770052cd7a8314f8effbb8bf6064b23d807da","datavalue":{"value":{"entity-type":"item","numeric-id":752170,"id":"Q752170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$50DB992E-A907-47A4-9D00-66BF037E6055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbf7faec499e3b048aa800d9ae6c142df02880","datavalue":{"value":{"entity-type":"item","numeric-id":3137150,"id":"Q3137150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$7A11D8C3-6497-43B0-8D73-DB7BA30E8B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$5F99E59B-0879-4D40-B030-6BEA54523796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b6bd2673cc2de0cf132abda9b99ff7fde0efc3","datavalue":{"value":{"entity-type":"item","numeric-id":4106724,"id":"Q4106724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$4C15F2CC-C33F-47AC-8522-130D32AA435A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9968fcd43ff93df2ff89b516e627fad6f38ccfa","datavalue":{"value":{"entity-type":"item","numeric-id":749645,"id":"Q749645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$C164E9FA-0501-47F5-8BBC-E57BD716B64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d86829daf94bd9f3394f4a799eba7e05dc48a21","datavalue":{"value":{"entity-type":"item","numeric-id":3978976,"id":"Q3978976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$8315E2FC-FB18-4EDB-9EC6-EAD15236B235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e20eb3eabe5f866b47beb45d18be40beba7fc6c","datavalue":{"value":{"entity-type":"item","numeric-id":4282576,"id":"Q4282576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$9D4D32FA-5A85-401C-BE96-6D634A71DE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6e3e059f5af4dacfd8b0e4764c786b840df6f2","datavalue":{"value":{"entity-type":"item","numeric-id":4304553,"id":"Q4304553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$C652E29C-C346-4BD3-A317-2DFA9E33508A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$83D77F47-11E4-4462-B3F0-1FB60E2249D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97de21bde9ae2c0db44d86f955cb3b5518c13586","datavalue":{"value":{"entity-type":"item","numeric-id":3138542,"id":"Q3138542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$87147F57-B856-4352-8662-56BD4905A0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$6458B1B8-343A-4157-904E-86CC02FBA394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5bc0e3eba9c0ba237df4d31d84fac3bde0d1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2539417,"id":"Q2539417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$73CFFA10-2216-451D-886D-5E3617B41622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc1b1c6e90fd57884a0b795c855676b976827dc","datavalue":{"value":{"entity-type":"item","numeric-id":2525178,"id":"Q2525178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$A4A3F9E9-C439-40E4-9AB2-2B17D68C954B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74fd785106a7b7b8e832684817c0b943c7747b0c","datavalue":{"value":{"entity-type":"item","numeric-id":4206923,"id":"Q4206923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$26ADAACB-3CE8-4097-BC0B-0A711A7804F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$416AEA4F-1F47-49DF-BF9B-3A17C6E415A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$3C55FB70-E2C7-4C72-8E43-3BFF0372DA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$F7F2EFD3-378C-42BB-A85D-4C2B1B588EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ecf6151fe949c0d067561c676ee505555ad5e7","datavalue":{"value":{"entity-type":"item","numeric-id":4367604,"id":"Q4367604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$63C4F433-6AA0-4809-8910-790166498E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$6FC017E4-3956-4BE5-8F19-5652E38A358B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5200280a5a5e74f54a5bb0c35e4e9bffb18d56","datavalue":{"value":{"entity-type":"item","numeric-id":3946206,"id":"Q3946206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$EC2669F3-0BE1-4958-9F0E-82CBC1808249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$2E40283F-ECBF-44E3-8E3C-645781B65782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5598cf522edbbba51e11baa5b22dbc2fb83702e","datavalue":{"value":{"entity-type":"item","numeric-id":1813970,"id":"Q1813970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$737FA64F-29DF-4422-8BDD-9CD44E76226F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52d565fee0eb9efaaf46dbfbd94870693815a67","datavalue":{"value":{"entity-type":"item","numeric-id":920197,"id":"Q920197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$F4F9B446-86C6-47AE-84F4-65BC74665C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fedad9fb77d32b62f8a221ccdcce910bcfa5967","datavalue":{"value":{"entity-type":"item","numeric-id":1822604,"id":"Q1822604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$224873A0-897C-43E8-8112-E8A5E0BA9CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0691e21ed553f2a4405e920d999bdfdf70ebe7","datavalue":{"value":{"entity-type":"item","numeric-id":1109871,"id":"Q1109871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$EA0667E4-8B99-4612-99ED-E78BE90FB00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$06EBA32B-5EFC-4C02-AE7F-D3E15AF58276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$265C9CA3-E703-4AF1-9352-D0C1409063A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aaba35f97bfb2245c2d9d1331d4f5a3e478f22f","datavalue":{"value":{"entity-type":"item","numeric-id":3827539,"id":"Q3827539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685396$03B8229B-591A-4507-A322-3BA65BFE45C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e46c0c0a46025655bf9cf2b373573e90d39f47a","datavalue":{"value":{"entity-type":"item","numeric-id":4282576,"id":"Q4282576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6837fd1ea364181d6b739b99e6688caf649e9fda","datavalue":{"value":{"amount":"+0.8899531960487366","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":"Q685396$35965F1E-3F3B-4341-88E1-5D221E41A509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb0544cb1b399e5c692ae4c0c8e4a9f1f2d8d34","datavalue":{"value":{"entity-type":"item","numeric-id":5348904,"id":"Q5348904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b02b6bad73c38895da5cd444aeef4ccef45944","datavalue":{"value":{"amount":"+0.889953076839447","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":"Q685396$2DD7D112-C0ED-49B2-A5A9-433A40103FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39f75269ef31568b5256ac6fdfc9c88ca0d85c6","datavalue":{"value":{"entity-type":"item","numeric-id":3612632,"id":"Q3612632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2506ab8e145706d11c853ecbdf1cb87113b517c8","datavalue":{"value":{"amount":"+0.7079578042030334","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":"Q685396$F42C791A-CF5A-4037-A3E1-4BCA76BD36CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f62f5ff011c86ea40c02f9a39bd5170827d565","datavalue":{"value":{"entity-type":"item","numeric-id":5492828,"id":"Q5492828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0da9414ed23ecfc7720790c0dc2c1d25151a3c","datavalue":{"value":{"amount":"+0.698715329170227","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":"Q685396$145E0307-9D07-4761-812A-818AA71AE932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee03811315ba128e8e3078b8e191e4878c9b904","datavalue":{"value":{"entity-type":"item","numeric-id":860876,"id":"Q860876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37fec5e57ee4d85fa41ac3378201fc62d311dd00","datavalue":{"value":{"amount":"+0.6955080032348633","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":"Q685396$0A04B512-BDDC-4270-A598-9D465538C5B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tail recursion through universal invariants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tail_recursion_through_universal_invariants"}}}}}