{"entities":{"Q3638255":{"pageid":5668161,"ns":120,"title":"Item:Q3638255","lastrevid":80868893,"modified":"2026-05-06T17:11:08Z","type":"item","id":"Q3638255","labels":{"en":{"language":"en","value":"Using Structural Recursion for Corecursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574319"}},"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":"Q3638255$86C56723-01FE-4CEE-81E6-915988D1C5AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"394bfa97ff7f6946a45616a6fc12a4f3795388b0","datavalue":{"value":{"text":"Using Structural Recursion for Corecursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638255$9C0AD264-DD58-4E6F-8DE4-8A30A6380E78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3a3fe23d91cffee092bbc3e3eb18ed8d8266551","datavalue":{"value":"1246.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638255$7C8DA463-C889-4881-84F9-481FDD998271","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7847c94f3c91ef84fbe49733c058ffdbb2781443","datavalue":{"value":"10.1007/978-3-642-02444-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638255$9284E353-DBD4-4AB7-A91B-A08FAA6E8502","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7dd0a058a70d0c79c3596424a2206799a87b313","datavalue":{"value":{"entity-type":"item","numeric-id":703857,"id":"Q703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$2D3EC7A9-FBD3-4756-9266-743FC5F8B375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$93A472A2-6780-43A5-9D16-7F2B141011CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$3D0BEBA1-3CD9-4C3A-AC91-EA6201495104","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638255$F0551ECB-C640-44E2-9710-8DD7A785A5B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638255$8C6778FD-6001-4766-A63E-9358DBF3DA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638255$B4554461-6ECE-458C-BE41-F480D74D6730","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c817d8874c81d7615994f509836978ed8d3efe0","datavalue":{"value":"5574319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638255$FD208C08-CA5E-495A-B9C8-436636896C35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638255$74141866-48E2-4EDB-B6F5-98E27F959404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93bed1b7da01bbc0b4b47836edc302b6c55c8827","datavalue":{"value":"structural recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638255$C41690A9-5A29-4131-A88D-B9312D4B5D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638255$58030ED2-842A-4B28-B2B6-77173CC46C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e4d97ddabfe1a5c96235e2b3ac42001ce1043c","datavalue":{"value":"guarded corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638255$236A6D27-D4C5-456C-B251-2BCAA17A2F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638255$BA16BFDD-240F-4345-A325-D1F0D55ACE13","rank":"normal"}],"P1463":[{"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":"Q3638255$5FF5431F-367B-476B-9CAB-A92AC78E29D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$BBC8B909-9A4F-4218-A34D-B17F487DF381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$C25C08FE-CED2-4856-957A-126FAF9D80C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$2E024649-02A1-41B4-B020-BC0A92479C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$05B5F720-B125-411F-8E4B-8CD731D78346","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":"Q3638255$48D71A8E-47FA-4E30-AD35-45F4FDFA298A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc940cdc17d09ba48b022f1f3545858a7116e64a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02444-3_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638255$CB1469B7-A04A-4219-9DE6-A9934CCA09DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7b9c0bbff6f03e328e46838163772e16defe57b","datavalue":{"value":"W1532383456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638255$A1B50104-4801-4532-B489-C4E30EFA2334","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"339c967f1da0c61f0e43584c53f54f57e979d609","datavalue":{"value":{"entity-type":"item","numeric-id":4484330,"id":"Q4484330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$A969449C-7800-4C5B-8786-B0D9E3841844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dac06384dc787a405949068340510a6602af80","datavalue":{"value":{"entity-type":"item","numeric-id":4463991,"id":"Q4463991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$2CF08545-CC0B-4EAD-B056-2482258F44BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6473cef3ce337243e0f2ba4aef7103911e4b3591","datavalue":{"value":{"entity-type":"item","numeric-id":5704032,"id":"Q5704032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$FF592AC6-BCF0-4CE7-AB82-493D4CC74755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$F03A74FC-E2FF-4205-BE24-3894EBE1BB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f5f00376ce40e7c5e95eb21ebf38fad1c6f5bd","datavalue":{"value":{"entity-type":"item","numeric-id":2873661,"id":"Q2873661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$026899E4-89B7-4953-80C1-432BE530069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3c1ad58f8d3ff5f9672b1fd7f4ce922b034d87","datavalue":{"value":{"entity-type":"item","numeric-id":4435459,"id":"Q4435459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$AF16A857-2A77-4CDE-A5B6-1CEA636644AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e8427330070ad8cac76bb7e080b63f888dac29","datavalue":{"value":{"entity-type":"item","numeric-id":5444967,"id":"Q5444967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$5C5B3465-FF7C-4E6C-AA30-484010573D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8465229f1314ca485971299fba6aa8e5b3b8a447","datavalue":{"value":{"entity-type":"item","numeric-id":4435467,"id":"Q4435467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$1C183C2D-B263-48C2-A1C6-D70572CE0D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$33F544F1-C201-4287-BA4D-3209F87D902C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$8BEF85C6-29C9-4049-9229-C07A8F35679D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a417d805e2b195c4f044e6de294540207749f268","datavalue":{"value":{"entity-type":"item","numeric-id":5936651,"id":"Q5936651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$9846E60A-DBB3-4F1C-935E-092B6C47C4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$468A80DF-F41B-4897-B2D0-5E7D955BA2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d8f243d03b09b47765e8e6472ae4de3b83b5d7","datavalue":{"value":{"entity-type":"item","numeric-id":2863898,"id":"Q2863898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$62927254-9D38-4285-A996-A0472F9A7BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1420eb5b183c580e3eaa2025b4097787d860ff45","datavalue":{"value":{"entity-type":"item","numeric-id":1112584,"id":"Q1112584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$82AB4F68-E81D-4F60-8C92-BB439B2AC80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa74c271834bf537f060d2b0b575f3bcd6edf97c","datavalue":{"value":{"entity-type":"item","numeric-id":4340418,"id":"Q4340418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$EAFBC484-15CD-4FF4-867F-63A7D653F248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960fd40f59fc58f3b7c8f870aba6cbbfd12894f3","datavalue":{"value":{"entity-type":"item","numeric-id":3024884,"id":"Q3024884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638255$A177D9C6-4C67-4AA1-8258-DD4FDABD2B4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed093a16f1bd0ad6202d8fd02394af32c204757","datavalue":{"value":{"entity-type":"item","numeric-id":5854739,"id":"Q5854739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae8f994ea27951f0869851000a8d6df13d03924","datavalue":{"value":{"amount":"+0.7887436151504517","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":"Q3638255$D16CFC95-4A3C-49F7-BBBE-0B5A8B46480E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e08ae23f2ce5afd49576406a05a26a50add7678","datavalue":{"value":{"entity-type":"item","numeric-id":2873661,"id":"Q2873661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5f07876facc83591edb33c73121f031956b8e7","datavalue":{"value":{"amount":"+0.7352344989776611","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":"Q3638255$A06F1AE4-18F3-4C2E-9877-B36847AA4E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c440f872a09a2fe148e2f7280c7e73406360281","datavalue":{"value":{"entity-type":"item","numeric-id":2566066,"id":"Q2566066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd88ecd9c20d8bbc22512174d909295da347487","datavalue":{"value":{"amount":"+0.7242233157157898","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":"Q3638255$5DD9B763-D12B-4BD9-9308-E422D42B5D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050e4f10bad351589ecea90ae0d370ca31ec5469","datavalue":{"value":{"entity-type":"item","numeric-id":2981955,"id":"Q2981955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f3c82467b8fa760b99c37d5f410c6cee76f6c2e","datavalue":{"value":{"amount":"+0.7197710275650024","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":"Q3638255$D5FF591C-ED92-4BF7-989B-AC06E912ACDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a24c6318879f479aa915b3881e10ee1da5afc9","datavalue":{"value":{"entity-type":"item","numeric-id":3021409,"id":"Q3021409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a931f46ec5e4130004db99dddb5efcf74746b76","datavalue":{"value":{"amount":"+0.7179407477378845","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":"Q3638255$C0A72C15-E1CD-4A0C-819B-20AECF4203DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using Structural Recursion for Corecursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_Structural_Recursion_for_Corecursion"}}}}}