{"entities":{"Q4585073":{"pageid":6614658,"ns":120,"title":"Item:Q4585073","lastrevid":89560112,"modified":"2026-06-04T17:40:51Z","type":"item","id":"Q4585073","labels":{"en":{"language":"en","value":"Unguarded recursion on coinductive resumptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6932686"}},"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":"Q4585073$2641DBB9-8C55-4804-BFD7-6BDD07490B16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22973e370b4c047428a49a66688a5fd9b8523ec5","datavalue":{"value":"10.23638/LMCS-14(3:10)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585073$98CF47A3-E154-4B6A-86AF-195A2784F340","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$99E04721-C599-4AE6-9E83-EBD6FD59A960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ef21ede925cbe85297cfcc48f1f46593c90e8b5","datavalue":{"value":{"entity-type":"item","numeric-id":784134,"id":"Q784134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$E4307B9C-536F-4EE0-BEF2-FB854B052BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37781e618493cb9994f34b2c6783259ccc148662","datavalue":{"value":{"entity-type":"item","numeric-id":4585072,"id":"Q4585072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$55742681-0E54-460B-9ABA-82853C76A197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$606D9442-52D6-46E0-B28B-F719B6ABE8B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95251e74dfd058313c94d01023632403bcdd7ae4","datavalue":{"value":{"time":"+2018-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4585073$6FD96ADB-B5EE-4A2B-B6BC-1E1B772E8113","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f54ea6caabbf6d7c524861bcab16825074abd71","datavalue":{"value":"https://arxiv.org/abs/1405.0854","type":"string"},"datatype":"url"},"type":"statement","id":"Q4585073$460C8E23-EADE-405C-8269-927A7BC54AC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585073$6F8BD271-6DB0-4421-BAEC-DD15A1E2939E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585073$1A18F048-110C-4ABB-B4C7-675DE4B4F763","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae0015378ebaf8141a3c535b14fcc9a3ca758c80","datavalue":{"value":"6932686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585073$E5C8E5E5-1CDB-49D7-A78A-BBE7875B5499","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585073$4CA9AC4B-9049-4962-86C0-8C8309072A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585073$3055F66F-9C68-4B9E-8699-37F40F3A68B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585073$F0E93967-9186-4A77-BA2D-D476EB5449D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf0c14c0f55719cdb7dfa0da7312e803bbc1711","datavalue":{"value":"complete Elgot monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585073$312B0854-CB2A-4FB7-9A53-AC18771F3BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc91c1213faf1dcdc372e3ad50caac882792d608","datavalue":{"value":"resumptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585073$4B5B3AC5-F3AE-493D-8F9A-C4A3054F770D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$006938B4-D492-4F89-9978-BA99EC61AD3A","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":"Q4585073$BF372F09-C97F-410A-A0B4-5DC62417FC67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a00b5c752d6ed451b661676594eac73529debd1","datavalue":{"value":{"entity-type":"item","numeric-id":1399957,"id":"Q1399957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$9E023139-33DC-467B-943C-6584FE25452F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8521326af6840e25ae26322979779601bd44ee","datavalue":{"value":{"entity-type":"item","numeric-id":5454623,"id":"Q5454623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$856AF35D-DE20-412B-BD74-F4BC6956CC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c81ed675e7df7049bd9837b4604fb68164216d4","datavalue":{"value":{"entity-type":"item","numeric-id":5310675,"id":"Q5310675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$9BFB8DA4-A887-4B3C-AB94-BA0324A643BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045877f80722b81376b17cac8bca66b511ea943e","datavalue":{"value":{"entity-type":"item","numeric-id":618163,"id":"Q618163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$0F5887F8-47FA-4A0A-A40C-63DB3183EA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3511e38210a561c350cd447fb247ba0ba23e4a","datavalue":{"value":{"entity-type":"item","numeric-id":3005993,"id":"Q3005993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$C62F24C4-371A-47E4-BC0B-611110B4B47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$6C7D11A0-411D-41BC-BDBD-AEA6DDB3D016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$4E84C1CE-6758-4356-965A-31C3F78A4142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8efb0398a531758f87b83ac3a9bbafc4e6bf8f","datavalue":{"value":{"entity-type":"item","numeric-id":1208195,"id":"Q1208195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$6D1262D3-8C67-4AAD-B4D4-E5E36645B0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$46090E6C-5A3A-4A21-B685-8DF864A8D5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$034364E3-B6EC-4A91-A2AE-1381F6CA9C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$2F19F30E-1E94-45A5-86AD-E6D50962228D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d96d47e70546f90af4113e353ec8a83137be18","datavalue":{"value":{"entity-type":"item","numeric-id":4282805,"id":"Q4282805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$42F690C8-606D-4DE6-BAC0-F68CB9D2508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a6e7f7b0126054dd89f0d7c88d9f4f186a51ae","datavalue":{"value":{"entity-type":"item","numeric-id":1744384,"id":"Q1744384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$35856AEE-7E2B-4169-9BCB-461173DB52F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e664b17d3c5570fb2b66b882b217c4ddf1c9b52","datavalue":{"value":{"entity-type":"item","numeric-id":5971399,"id":"Q5971399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$732B7CD0-6FBA-4F16-BBF0-EAAFD5A3052C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccc5153a3e6c87f1ade06303a4040949f858927","datavalue":{"value":{"entity-type":"item","numeric-id":393094,"id":"Q393094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$1D9AA37C-1036-458B-B41E-E3A3EC206EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2048ce8e65285e9b2721eceff3850b76cb03a9","datavalue":{"value":{"entity-type":"item","numeric-id":2988389,"id":"Q2988389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$FE2A9C05-F2E7-4139-9251-ABD5CC5FEE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a322738c92ab9ef22948d2d6883bfa28116e11","datavalue":{"value":{"entity-type":"item","numeric-id":2500483,"id":"Q2500483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$0358B851-8F11-4B6F-9190-EB05B8608FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359ce7a09b828315d6714453c2f81ad5e1a17102","datavalue":{"value":{"entity-type":"item","numeric-id":860883,"id":"Q860883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$C2A1199E-5C44-4712-87DC-33A39A954559","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":"Q4585073$2473249F-8C29-422C-96E5-3758B5C43287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$AF636435-E7CC-43B7-BC8F-6111BABEEAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131bd49baa9ffa9aa2d88d399d90530dbf157096","datavalue":{"value":{"entity-type":"item","numeric-id":2850841,"id":"Q2850841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$78C80F05-5E53-4267-B576-B1D017340665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514f4bb94f8bec62ba4b9ea24b4996dcb647e789","datavalue":{"value":{"entity-type":"item","numeric-id":4282574,"id":"Q4282574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$9BB8F8EF-E436-4964-931F-3068506C621C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$03D79E35-D863-46D0-88EC-FC0D851D214E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cf2c7f0d874d4093c83b686314d0e9df6f380c","datavalue":{"value":{"entity-type":"item","numeric-id":1398467,"id":"Q1398467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$30A2268E-7C30-4212-B10E-7C38389ACACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$E259D5CC-A2C7-4BE9-9969-2993A38EF458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1fffbf2fb42bcc8e338ebe35616335883e3dcc","datavalue":{"value":{"entity-type":"item","numeric-id":265824,"id":"Q265824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$95B337EB-C4BA-4C08-8568-C6F0E25BEB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3957ea938f58c73404c3199294aabed912fb42dd","datavalue":{"value":{"entity-type":"item","numeric-id":283770,"id":"Q283770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$E7BEBD5D-340B-4D59-B054-1230903A9ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$86E2274E-AB3C-479D-9FD8-895DE417A2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$6747DE18-BBA8-44F2-8352-2B4347B877E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c77992b9a4ecfaa4f9ad1dc33b5d78181cf582","datavalue":{"value":{"entity-type":"item","numeric-id":2871476,"id":"Q2871476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$EB12FD50-987E-48EF-AC3E-C645C57ED211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2080ce41dbb2abc15ff7cf44f0da56f791068775","datavalue":{"value":{"entity-type":"item","numeric-id":4943550,"id":"Q4943550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$D423E1ED-4FD6-4571-948D-EE43E6A67F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac76dbbb149e2f7839e5c1fe16a794ce092e6bb","datavalue":{"value":{"entity-type":"item","numeric-id":4460688,"id":"Q4460688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$E34BF42D-C705-4CA3-9CE1-AF3440E46336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a7aff6e64c6e39cf93d6bf6ccc57f34e2eb209","datavalue":{"value":{"entity-type":"item","numeric-id":1255084,"id":"Q1255084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585073$A0EE6FE0-8A54-4BDA-8496-63371EA105F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2759a0926f270b95ac2c1f172ebef2aab2fff83","datavalue":{"value":{"entity-type":"item","numeric-id":5971399,"id":"Q5971399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4556acf841b05d90199266d15dbc19700d51e11","datavalue":{"value":{"amount":"+0.9739357829093932","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":"Q4585073$B5040B24-A4EE-4FB1-BF9A-3E72005A1D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a7ebc2f3faaf2ef0135819990e37d815b56f2f","datavalue":{"value":{"entity-type":"item","numeric-id":283770,"id":"Q283770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01466fbea07a4a82a57dd78bdaa340e09c2866e1","datavalue":{"value":{"amount":"+0.8064137101173401","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":"Q4585073$37DA6F6E-916C-4768-9D32-B1DE4308AA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0389ebd9577ca841f6eb1af628d78e41c2b9cf67","datavalue":{"value":{"entity-type":"item","numeric-id":4968384,"id":"Q4968384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c446053374a8b1ca10a2b698342404bb685665aa","datavalue":{"value":{"amount":"+0.7818617820739746","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":"Q4585073$1F1A5351-410B-4AB2-99C4-34588594D945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eccdef63ee65ebe5abf0d9b2a8821e4d27014d69","datavalue":{"value":{"entity-type":"item","numeric-id":2988389,"id":"Q2988389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31957ef3ca97d9fd558321e932708d32a2cc6737","datavalue":{"value":{"amount":"+0.7721495032310486","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":"Q4585073$D6D5D214-4EF7-4A0C-9DF4-FCC694D911F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f8711765145ce8da21d5dd2234df43231ff15d","datavalue":{"value":{"entity-type":"item","numeric-id":1744384,"id":"Q1744384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b72519833431b4a73d1b3078c30533995d1837","datavalue":{"value":{"amount":"+0.7701144814491272","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":"Q4585073$3FEDB6CC-3B1D-402C-8BDD-A97BB71A6B34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unguarded recursion on coinductive resumptions","badges":[]}}}}}