{"entities":{"Q2914680":{"pageid":2925400,"ns":120,"title":"Item:Q2914680","lastrevid":85095392,"modified":"2026-06-03T05:51:49Z","type":"item","id":"Q2914680","labels":{"en":{"language":"en","value":"An Alpha-Corecursion Principle for the Infinitary Lambda Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084436"}},"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":"Q2914680$7A2988AA-179C-4740-A9A7-9CCA492D52CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39767dadf71d891d1c97007f3bb89c6353277a2b","datavalue":{"value":{"text":"An Alpha-Corecursion Principle for the Infinitary Lambda Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914680$969B8660-841C-4E7F-B2F2-6BA95F0530FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"699aecd30a0a88fc55c654d81f0460cf1cf29e37","datavalue":{"value":"1328.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914680$F71EF6E8-B295-4035-A70C-F54AEFF07860","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3b0b00d36e955ab9ff039527c2a3541990b065e","datavalue":{"value":"10.1007/978-3-642-32784-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914680$6CED7585-8101-41D9-8A3F-24D6F7CFAC94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e59cf96319a2d9edcb34f80de5d6e5dd10c4b763","datavalue":{"value":{"entity-type":"item","numeric-id":523131,"id":"Q523131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914680$7B7301C5-E98E-42AD-BD22-63B250C9349E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40c77c845fb94c505d2cfba0e9e71b55d375962f","datavalue":{"value":{"entity-type":"item","numeric-id":235596,"id":"Q235596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914680$C39C5339-A4DB-4F95-98D8-1F794A58E207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44696c2da567d5c10dc123545d1a33a0cf32a455","datavalue":{"value":{"entity-type":"item","numeric-id":299181,"id":"Q299181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914680$DB9161FB-DAA8-4DD3-B779-4023BEED854C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"930ad2c9a29fb2b416d1cd3ed624b6b9cfe42908","datavalue":{"value":{"entity-type":"item","numeric-id":1840459,"id":"Q1840459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914680$B701A405-2A7B-4740-9E30-079DE5C0814A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38ed45f081b5272f43b89960828e8f9aaf31a28f","datavalue":{"value":{"entity-type":"item","numeric-id":2914672,"id":"Q2914672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914680$5FA5BAA1-9408-4321-8FE7-97F4158C2BC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914680$1A4CC5F2-068F-46ED-A83B-4EB2D56128D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914680$7C99F7E8-8D48-4C19-A911-61F016FE5B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914680$3C63C55D-3D9C-47AF-9B8D-7E9E9A1E8943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914680$D728FFAE-DAE0-4165-B133-6E26BD0C88DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfb818f2ab0b359fd0dbce9032c13bcf83446ce6","datavalue":{"value":"6084436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914680$41B90DC3-3769-4127-9383-6F31C425AF77","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":"Q2914680$58B7280C-C5EA-4445-BCAB-58FFFE0EF4AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e07fa8e784c15777650cc16e66af49485a16bf2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32784-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914680$EA42D95E-D99B-4FB0-AEBB-722AA4CC5642","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9efc42d89ec907761d4b2214519edb528d93f7f6","datavalue":{"value":"W90191816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914680$A9DF2164-0621-4051-87F5-0D760FC62B6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20c4da7683842153ddf607ebfeb20bc53ff1951","datavalue":{"value":{"entity-type":"item","numeric-id":5275360,"id":"Q5275360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d94be45587474acccabaceea0a8798f0b9aa3f","datavalue":{"value":{"amount":"+0.94166064","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":"Q2914680$0916A94D-1C14-4C78-80AF-A84967BDC7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80cb360fcb456f9cc62e2ecc80bf7ee3d1fddd0","datavalue":{"value":{"entity-type":"item","numeric-id":5170815,"id":"Q5170815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bb8e444be0a467e561e84e44256bdaea531b3c","datavalue":{"value":{"amount":"+0.92461276","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":"Q2914680$D51FF2A8-81F0-40E0-88BE-827AD3BDDBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14727e509164381912437e4f79bedcd8cf66a0c","datavalue":{"value":{"entity-type":"item","numeric-id":5109521,"id":"Q5109521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b0b406987e8292cf1305b45d86da39fdc98d3c","datavalue":{"value":{"amount":"+0.9176291","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":"Q2914680$F25D68ED-C816-478D-91DB-FB3AB98E2596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e5990c72c20b2ffd15922238cdcf2caddf8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4635902,"id":"Q4635902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7097d5a11b78d7dedbeb032863504ca6c357d83","datavalue":{"value":{"amount":"+0.9163624","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":"Q2914680$01D3F594-9D72-4C11-A651-3B8A0251E463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abf5ace6955f8d6b99a9767bbc92970fa25cfda","datavalue":{"value":{"entity-type":"item","numeric-id":1744410,"id":"Q1744410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015c18ba6b3eadc2604593634fab9c8385934c4a","datavalue":{"value":{"amount":"+0.9142503","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":"Q2914680$DA187869-2743-489F-B6EA-7046A8281B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b00f7c522a703614e059b491fd76476df84017f","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c175685414fcfa40dfe1ea4f438949d3ea1f37","datavalue":{"value":{"amount":"+0.9125507","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":"Q2914680$A3465E23-0CD8-4BCE-BF96-B7F9D28A1B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d704b2b1d5a571b853de9a9438c0421a6582ffa","datavalue":{"value":{"entity-type":"item","numeric-id":2986823,"id":"Q2986823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5953b2d61b4560c7e1c50059fda41f19f97bb51","datavalue":{"value":{"amount":"+0.905526","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":"Q2914680$33ED534E-E3CF-4226-A6B4-C7DF84E5413A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6e28e198e7f0c2e2686b0d35dc61587ead36d3","datavalue":{"value":{"entity-type":"item","numeric-id":1283777,"id":"Q1283777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5a11668029bbcd7af85b2b23e0fb15624e61e9","datavalue":{"value":{"amount":"+0.89960265","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":"Q2914680$C2118CB8-86EB-4791-B932-E41B9BE73BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58db8c06da0c5cb2a6d06b13a3b15a9c556ffcef","datavalue":{"value":{"entity-type":"item","numeric-id":5887531,"id":"Q5887531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6722a39a8f801a0bd7a530c390fdc921d2884e8","datavalue":{"value":{"amount":"+0.8943206","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":"Q2914680$6E2F7F1E-C638-4A5F-80F2-516C45AA8ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca705c0f44e20001b68a5bcb053a9a4c4c4f7356","datavalue":{"value":{"entity-type":"item","numeric-id":5901570,"id":"Q5901570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46956f023b5524a0bfd30b4c6f0f0bb54727153","datavalue":{"value":{"amount":"+0.8936898","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":"Q2914680$548E057A-8845-44DF-95B2-DEBE0E273590","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Alpha-Corecursion Principle for the Infinitary Lambda Calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Alpha-Corecursion_Principle_for_the_Infinitary_Lambda_Calculus"}}}}}