{"entities":{"Q5971399":{"pageid":8148195,"ns":120,"title":"Item:Q5971399","lastrevid":52700669,"modified":"2026-01-23T07:32:03Z","type":"item","id":"Q5971399","labels":{"en":{"language":"en","value":"Unguarded recursion on coinductive resumptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664932"}},"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":"Q5971399$C921A39E-762D-4C0F-89DE-946BD0E35D0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7925455611d6a144a8686fc465a6169058a66c63","datavalue":{"value":{"text":"Unguarded recursion on coinductive resumptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5971399$9CCD0D9E-C7DB-4628-BD7B-E70FF3EBEB31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fea57bf6168f3762fb9816a2dc7124555c8086be","datavalue":{"value":"1351.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971399$81D622E6-B66A-4DB5-ABBB-0432D2820E56","rank":"normal"}],"P16":[{"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":"Q5971399$C360990E-1F77-4D10-9FF2-ED95F67C40C7","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":"Q5971399$2D241573-C15F-4E6C-BDF1-56E9B93A22A2","rank":"normal"},{"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":"Q5971399$AD3BA72B-1481-46A2-8AE4-A09B90AE4321","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971399$C4381C3D-9A76-4067-8900-65D6366ABDD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5971399$E3D32EA8-65D4-478C-B0D8-7D5BD8F0E1AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971399$1B5B28C0-F7D0-42C3-A6E6-1D8441932F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971399$5AF66FBC-3EC9-4B28-942D-1CC415A8EB79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6558ce8daddda6b50b3036bf1bcac01a7c2b3367","datavalue":{"value":"6664932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971399$7190BDBA-57CB-4855-B1A3-6CA4B04CB6E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971399$BDC9F4F4-A3DF-4949-8C8F-13C18C738911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971399$C2D7F447-7E5D-4687-B4E7-64EAD1EF9AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971399$477DB80D-1FB0-4EB6-AE0A-8A48B724085F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf0c14c0f55719cdb7dfa0da7312e803bbc1711","datavalue":{"value":"complete Elgot monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971399$D5ECA7DD-BFAA-46B8-8B1D-4486CA6E446C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc91c1213faf1dcdc372e3ad50caac882792d608","datavalue":{"value":"resumptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971399$FF5D8828-A7CC-4125-87A0-4B668892E92A","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":"Q5971399$7F9C6A7C-D372-4537-9ED7-780D04519DC3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b80550b4e9ef6af3755669c4d6379d90d88e8935","datavalue":{"value":"Q113317729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971399$4149A1CC-2CD4-423E-A120-08AED8723A54","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":"Q5971399$61219C10-6CA5-40DF-93BE-1E62A7989804","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ec497de9fadfd70b508cefff70bbe104b0967c2","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.12.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q5971399$B0E25179-3B64-4CCE-9BEF-E96F943670FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"330330c34f6d81104b5478caa5604f1a88cc753f","datavalue":{"value":"W2209316887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971399$0B1727DD-B4A7-40F2-AB9F-CD9CC6EF73A4","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":"Q5971399$8474883C-725D-4A24-B269-60B124A0ACFC","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":"Q5971399$7A3238E1-F222-4977-B93E-E9A258AADC8B","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":"Q5971399$9453DC73-24CC-4BD4-9F73-C5F34B3ADBEB","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":"Q5971399$E50FA985-EAC2-4916-A992-1BAA1076A6E9","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":"Q5971399$51F6AD84-A9D3-4B20-A272-819E9AA2D57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d10c8699609d436c26f61d1c5e6973a07fd45c","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971399$D25D7849-796E-4D7C-9751-B0BD189010F5","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":"Q5971399$DAEF0DED-EB3F-4223-8827-7EF2ADA71E6B","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":"Q5971399$AA160179-93CA-4BA7-B745-7CDD6690BEAD","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":"Q5971399$31C36102-3D62-4406-8BE9-215AA97F6833","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":"Q5971399$22A320CA-5451-4DA8-80CB-D4A3669D87B1","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":"Q5971399$425E237B-34E9-4D6E-991C-8BF3F39FC6FF","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":"Q5971399$5BF62322-1B41-47EC-A686-E1E26D0CA23B","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":"Q5971399$36FF5005-A423-4607-AE53-5F48E01F0BC5","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":"Q5971399$33387F29-07D4-47D7-A536-DDA0FC266BC1","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":"Q5971399$2FEF1F63-D98F-4E14-A57E-E747D5324F52","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":"Q5971399$999C677C-78DC-4F3D-BFA3-FCAC2A574A71","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":"Q5971399$5FA5DA34-D255-41C5-B6BA-8B1026CE6B8A","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":"Q5971399$FBA1E434-EF7D-4C26-A656-9F2D84FADF3F","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":"Q5971399$3933DD66-B9EE-4F50-9826-B663B09F3230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca56c8100a823695872d37fd629e46409982af4","datavalue":{"value":{"entity-type":"item","numeric-id":4917064,"id":"Q4917064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971399$27668E56-A0FD-4E0A-9F10-82DD865FE6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b1ed24dc50793e308079ef8e2bfc8aa15ae2a1","datavalue":{"value":{"entity-type":"item","numeric-id":3617692,"id":"Q3617692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971399$95350B41-A327-4D45-AB69-24495260E389","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":"Q5971399$92DF8ACA-4F6C-4B7D-AB5F-4F9E9FCA1A49","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":"Q5971399$BCB3AAB9-6F83-4BBE-BCC4-43951FA6A62C","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":"Q5971399$31998001-8F8D-4C95-9F57-1EEA4F52AA63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f72a006df02df721ee121d048469f2e2068fdc6","datavalue":{"value":"10.1016/J.ENTCS.2015.12.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971399$A0BC0C8C-2762-4005-8794-2918FE2A7EFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96515d0d0acbcb10f2abdbcfcd45cbd41df08dae","datavalue":{"value":{"entity-type":"item","numeric-id":4585073,"id":"Q4585073"},"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":"Q5971399$15A7CC55-A7EC-4D32-B657-592A0C2D11EE","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":"e0a6c83329041e1820bbee5aa7aa291c25ac5825","datavalue":{"value":{"amount":"+0.7927691340446472","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":"Q5971399$D5725C82-006D-49AA-B038-9DFE11625A72","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":"8c6af9b2b1e107584bc93934ad5ea9d3d6cd354d","datavalue":{"value":{"amount":"+0.7879975438117981","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":"Q5971399$AC147038-C006-4D48-9F0C-01CA46EB4931","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":"6662c314fa82996273a50f4c61a4af679dc2a246","datavalue":{"value":{"amount":"+0.7712424397468567","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":"Q5971399$5F73C18B-F1E1-40C9-9F87-936DEA0697C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d70923412eb89a1b47e40856b926e09fd7102855","datavalue":{"value":{"entity-type":"item","numeric-id":5915562,"id":"Q5915562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1a2ffc6a2e76733f137fa9a81aaf5be9a43608","datavalue":{"value":{"amount":"+0.7517303824424744","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":"Q5971399$3065967D-0564-4780-8431-E747F06BDC0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5971399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5971399"}}}}}