{"entities":{"Q2974778":{"pageid":2985503,"ns":120,"title":"Item:Q2974778","lastrevid":85448141,"modified":"2026-06-03T08:20:01Z","type":"item","id":"Q2974778","labels":{"en":{"language":"en","value":"The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6703913"}},"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":"Q2974778$0D17125C-E13F-4A1D-B953-12823960F373","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51aba362cb09a4f6678adc70ad18a6a6e4f65515","datavalue":{"value":{"text":"The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2974778$50AF29BF-C0A9-4BB2-A807-9A526D48071E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84e7a1c8cb3512266cb887a1f0937b520329f8cd","datavalue":{"value":"1445.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974778$72D1C0E1-ECA3-4F53-A531-E69DB0506C87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c880efeedff6000ce3a5adf65cf61200a753a1cc","datavalue":{"value":"10.2168/LMCS-12(3:7)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974778$B5931B33-5BBE-4248-9AF6-585906385DD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cc236d1b83c1da4faad787dc86785ac363afb66","datavalue":{"value":{"entity-type":"item","numeric-id":1652987,"id":"Q1652987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$0544DE9C-D9B7-4A66-9EBE-7F5C1B191EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2574135da41ce8fb8efa05f8438741fa998b3","datavalue":{"value":{"entity-type":"item","numeric-id":1704598,"id":"Q1704598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$9E0B4385-E7B5-48A3-B193-B63256CE4740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a6366eff7aaafbae626df7f8f5d9201314819a","datavalue":{"value":{"entity-type":"item","numeric-id":2319983,"id":"Q2319983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$9C61CAA2-2E50-4BC2-B464-3E04692DC59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$27E1C407-59C9-4E9E-8F67-2F26DF1D372B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$710324A1-4731-44CA-97B6-860592C5806D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a2d5456aa484593fec481f4daec5520f7618119","datavalue":{"value":{"time":"+2017-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2974778$DEF5F1A8-9453-4C5E-8FF5-DAD02EA46BB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9f2114872c3f91405e6a83861ddfdee4a552519","datavalue":{"value":"https://arxiv.org/abs/1606.09455","type":"string"},"datatype":"url"},"type":"statement","id":"Q2974778$67614C19-613D-4795-A28B-5556862D1AD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974778$88BF7974-A38F-4F20-AB12-AF38CB543CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974778$C8B65354-85B8-4F02-95F7-8B0DB5A67718","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34fece2527251f4c387ad751aea22b5d81133888","datavalue":{"value":"6703913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974778$AA417F84-3088-4120-9B28-508A50F41049","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974778$3163E484-D2A7-4982-A220-ECCABF57D9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974778$71CBD1E2-5B16-45C3-A32A-E46307AAE6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974778$4EECBE50-AAB7-40A0-A760-2ED35E603159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974778$3FE401BD-B810-4F6E-8B57-1A2A8985F992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974778$A960A4A3-C94C-4FD3-AAD1-018C27294422","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$B6D47377-7AF6-4E50-8C64-A87D1390D274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f7f9555fddd16a268a367ce7c36af54da0cb69e8","datavalue":{"value":{"entity-type":"item","numeric-id":25039,"id":"Q25039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$6686E300-9FCD-4B43-AB49-44184E28AF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b29eb58b948f9f996cbb5eae736ddbdaf0434b06","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$85B7783E-351E-4576-B51A-4F6B87E8C45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$571444E0-F3D1-45AC-A21A-49ADD5D62803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"063965d8651c8593b602c6f48c23a32fbe3cc289","datavalue":{"value":{"entity-type":"item","numeric-id":32995,"id":"Q32995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$967A7BF5-334B-4AB9-B605-C6EE816F5E11","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":"Q2974778$71CCEFE1-A301-4244-9269-91D68FDCCECC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9adc9ece3fc28f9fa23c825c75712926538583a7","datavalue":{"value":{"entity-type":"item","numeric-id":2789044,"id":"Q2789044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$332CCE4A-EAA1-407C-8FCA-A473226DA839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60aa38e98e0710c59268a6db48219f49912366","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$93742331-A6C1-4963-BB9E-EFF05A464759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c7616163d4c3c1da7c14cb6770dc41c8c4dd14","datavalue":{"value":{"entity-type":"item","numeric-id":5244800,"id":"Q5244800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$3F87E4E3-2428-4045-ADBC-9DCE8D6DFE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$AB46C6F4-2671-4DB7-8511-3BB1FA53B4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6456459239ab3bc5fb70e6036ded27e15251da27","datavalue":{"value":{"entity-type":"item","numeric-id":3166222,"id":"Q3166222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$4E3E8AE5-6462-4569-8A21-ACF859767C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09b3091108c83af9f420dcf6fb2ccd5964c49c8","datavalue":{"value":{"entity-type":"item","numeric-id":604478,"id":"Q604478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$EE788D90-19A8-41F2-8126-6F7A597CCE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19797445de638b6b2a9044697b83782afd98af5","datavalue":{"value":{"entity-type":"item","numeric-id":5170811,"id":"Q5170811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$069DAA39-2D52-497B-AC99-387F25D95F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072b5fb9c9a1c997399d8dc463715bbc2b6911ef","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$4075496C-F13F-451B-AFA5-CC28A897EEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070a7224feb80e0f15a55db3d164e08b6e83362e","datavalue":{"value":{"entity-type":"item","numeric-id":5971393,"id":"Q5971393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$2217DAB9-CE0F-41CA-A4AE-F20F471FF751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91fe9d16779ad15662d25b9e25734ff43ba2fad7","datavalue":{"value":{"entity-type":"item","numeric-id":2949454,"id":"Q2949454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$F1517904-9CB9-440B-8A05-3CC667C0074C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff81edc192b192785b5c23d43079e3ae075dfa6","datavalue":{"value":{"entity-type":"item","numeric-id":2948556,"id":"Q2948556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$CAE48707-AA52-40FA-8FBE-0E0202C69A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c78d6dbda4571a17369b1d7dd4c328ec3072f","datavalue":{"value":{"entity-type":"item","numeric-id":3575268,"id":"Q3575268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$D1979E11-16F7-4864-89ED-959D3684B8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$0B5E665A-FD4B-4956-8411-CAB201F16974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11177578cad5e1a02150ea67f5c359b05d75ec7c","datavalue":{"value":{"entity-type":"item","numeric-id":4910464,"id":"Q4910464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$95AA5F8E-A26E-414F-902C-EA3CD160657C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fb5104ed059296c1a716cf4b6d6422462393e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5327356,"id":"Q5327356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$62343CDD-12DB-445D-AD4A-FD06755B35DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a424ec46240998a5103a81d1d0521dfe9810f16","datavalue":{"value":{"entity-type":"item","numeric-id":2986815,"id":"Q2986815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$015BC5D7-66C7-4149-BAF5-09B00D39C894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72666d349dec07cd3b6ad3bd6910096ca351ec47","datavalue":{"value":{"entity-type":"item","numeric-id":3178285,"id":"Q3178285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$ED6DA0B2-AD57-4A3E-BD3A-3CC2C0097E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9e4d418853bd2f740df9013cb7e6d403808721","datavalue":{"value":{"entity-type":"item","numeric-id":2985775,"id":"Q2985775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$ECCFCB0B-8EE6-4C5E-9773-8E6ED3B8346A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d2d92403d7e962ca29cc4701e7a4c01435b66c","datavalue":{"value":{"entity-type":"item","numeric-id":5244802,"id":"Q5244802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$C4F59DE5-21B8-4CE0-9B48-E76CF813717F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2ad650086ec286bf6bc13b3e8a0cde1d301894","datavalue":{"value":{"entity-type":"item","numeric-id":5176962,"id":"Q5176962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$AE0C0F05-0579-45C2-881A-A4246DCA724E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63a4230c1e113b1a8965564d38b5c0f44de4bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":2942856,"id":"Q2942856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$04AAD131-21FD-41C7-B8BD-D328869FF7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e08786b7a1174ac9d76d6bde17d9942d64900e","datavalue":{"value":{"entity-type":"item","numeric-id":5255796,"id":"Q5255796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$D1BF627C-89D9-4B6E-B5B2-093C6C388628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$BFADC6CB-0A73-412F-9FF2-AD6942F9E2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f84acc216b46a16d3a5b1ae053e7c59afca67c6","datavalue":{"value":{"entity-type":"item","numeric-id":5437031,"id":"Q5437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$30F2D7FF-8D2C-4A3A-B0A4-60C1FF660093","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":"Q2974778$EC0A6982-7CE3-4B45-AFEA-3333E2640E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175cbf8a20822167166d2c3042a8727801090085","datavalue":{"value":{"entity-type":"item","numeric-id":4635656,"id":"Q4635656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$3B28B42C-44FA-4EEF-B300-91E296D86174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$92272A35-5D57-4FBE-82F9-597D9AE85E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69f8f34a60bf9705498c10e9caa4fa85b208af2","datavalue":{"value":{"entity-type":"item","numeric-id":1884876,"id":"Q1884876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$36BF1691-80BA-4DB4-92D5-45E59560DA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f42497e11c2b76fe58499caa6e99bdc4b2a902c","datavalue":{"value":{"entity-type":"item","numeric-id":5168889,"id":"Q5168889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$1370F0F0-5CE2-4D3E-AE5E-DDEF4369AABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a17e632c1cd9e305553b38fced2a8c6ebc88e7","datavalue":{"value":{"entity-type":"item","numeric-id":2945650,"id":"Q2945650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$6F022B3A-ACE9-42F7-B462-C300A64E01BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974778$76CB47BA-9C93-4880-90EE-FB8DDB9578DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fcb774ea652397d224d1492797554c03a92c3ca","datavalue":{"value":"W2462468993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974778$D5E5C227-9348-4EB4-987A-D51065DB1A06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c3fd0446b514853334ac69119827a8eca4b15e","datavalue":{"value":{"entity-type":"item","numeric-id":4635656,"id":"Q4635656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6192eccf6051d118b3b83e061892972c2118ac2","datavalue":{"value":{"amount":"+0.9172244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2974778$9FC35F1E-0A6B-49D0-B368-8CBC26C63A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c095875774ffee57b0e0e5306fd68355b8adc7","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378b4fbb290ab2e4327e1a9ec1fbe897401f7231","datavalue":{"value":{"amount":"+0.91443354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2974778$5350DB7A-4258-46F1-89D4-847FE9E2367C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2fd2ea949cff30d672bb1718381e792518d224","datavalue":{"value":{"entity-type":"item","numeric-id":5145367,"id":"Q5145367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fe0b4b5608139027aedf74b73598cf3ad48855","datavalue":{"value":{"amount":"+0.89373773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2974778$204E8861-C2E8-4C3A-98A9-52448B307682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032e944735cb8eced73fb24ecb5a2f6a764363de","datavalue":{"value":{"entity-type":"item","numeric-id":5139284,"id":"Q5139284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89858449d0240449be19476e135a3eac750f0777","datavalue":{"value":{"amount":"+0.8911332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2974778$D4BA3582-F1E3-42C5-906C-22F9EC317FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7a33b967f081e59b026cdba18dadb0f9312c05","datavalue":{"value":{"entity-type":"item","numeric-id":2319985,"id":"Q2319985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ca89d2901d8c3be17e3aa9d09e47797876b3ed","datavalue":{"value":{"amount":"+0.89062524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2974778$87213E6C-3099-4619-876B-F5ABAC5E49B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77168cabc5174e77410c253f991d7f9d9a80ddd","datavalue":{"value":{"entity-type":"item","numeric-id":4992899,"id":"Q4992899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e6f0efc02f453a6ab3da364a544eb42db13e41","datavalue":{"value":{"amount":"+0.89020616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2974778$F7758FBA-1393-4B51-8582-81E7BBFF6510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f6efc51f8f3332befa9fe44eae03bad6f085d5","datavalue":{"value":{"entity-type":"item","numeric-id":4635887,"id":"Q4635887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc87c02a5cac7bb657c282cd0f4cc50524c3b89","datavalue":{"value":{"amount":"+0.88678324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2974778$B47ED9C9-A99E-4CB9-A355-D9BDFE1058E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621873b917f0ca5585c6fd0d8f092cc8082690f7","datavalue":{"value":{"entity-type":"item","numeric-id":4623133,"id":"Q4623133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"482507e22328593b1ba88c578ed9458ee7dbcd8c","datavalue":{"value":{"amount":"+0.8867832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2974778$46F8C0A6-A9AB-41AB-BCF3-5840A194B470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2808296c78d138368e61e821e9f5a75db030f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3002481,"id":"Q3002481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144fe339ad99a6e95d33d99cea77b6f6157a3012","datavalue":{"value":{"amount":"+0.88513315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2974778$D48BE68D-1195-403A-937D-CAFAC91C1934","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types","badges":[]}}}}}