{"entities":{"Q2871472":{"pageid":2882192,"ns":120,"title":"Item:Q2871472","lastrevid":83955794,"modified":"2026-05-07T15:09:35Z","type":"item","id":"Q2871472","labels":{"en":{"language":"en","value":"Nominal coalgebraic data types with applications to lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6243322"}},"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":"Q2871472$4195A60C-DC21-40CF-A857-796C9556D65E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ef5d4838c8bf33d019c579035ab2893d7a287ec","datavalue":{"value":"1314.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871472$EC6C9B8F-B1D1-4CA0-A5C0-9B073DE9058B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3be3f08cbd219a292424312e447d1eb1c33edcc1","datavalue":{"value":"10.2168/LMCS-9(4:20)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871472$88C8D56F-6185-4DCF-827B-789A9D030E48","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":"Q2871472$1E5F8E14-49B1-4A6C-9623-A5439F02AF31","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":"Q2871472$9A3F439F-F383-46B9-8303-5BA38A05391C","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":"Q2871472$97981079-965D-4B0A-9087-7AA27C3A07F4","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":"Q2871472$7623AEA2-642E-41CA-ABE3-AFDA51946B20","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":"Q2871472$B3A11CEC-836A-40D4-8DED-2176BA2E0A37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd6802d1635af15aceed850b007155490528f75","datavalue":{"value":{"time":"+2014-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871472$3241EFA2-9C1E-4272-B91E-9A462ECA1A78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"124c4e27663c4574daa8e233d92cd163a0476a48","datavalue":{"value":"https://arxiv.org/abs/1311.1395","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871472$036122DF-9551-4A26-BECF-9A0E1C7E6832","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871472$50933EAC-F25A-4504-AA9C-8FA20D630200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871472$2BCD6D18-7258-44C6-924D-789A97CC68BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871472$5EF6C272-2B5B-411E-A47C-AC64AC3CC840","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"449f1e3fa8ffbff28e58d578fbdf425bc578afb5","datavalue":{"value":"6243322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871472$6977E940-5CD1-4735-B310-80A863F826D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871472$EAF73C1D-1A4A-479C-B1AE-518284A1676F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02570c54f45776c7ff3fb2c16c58b2196f93e51","datavalue":{"value":"corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871472$8C131353-E345-4F6C-A0B0-EC3A028B277C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871472$713F7413-7A58-4B6C-AFEB-4B1059650120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"067d369d93cae122c4882895e84404690fbca194","datavalue":{"value":"infinitary lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871472$CC76E57E-AFC3-4E19-9970-183DAB922BF8","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":"Q2871472$8D7634C6-28A8-4DB8-B674-4854E96BB88D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfec444af2ab1180d7196381a6bb24ceb4241d10","datavalue":{"value":"W1990496572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871472$2DEB77A3-7276-49DA-9F8C-69E15CB319D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fc406a08ce3222c904595599860dc638b76e5c1","datavalue":{"value":{"text":"Nominal coalgebraic data types with applications to lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871472$BC62130B-3A15-4E3E-9A79-D450793F31C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b6bfcc9dcbc57eeca314280c499ac2485c0b245","datavalue":{"value":{"entity-type":"item","numeric-id":2914680,"id":"Q2914680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e002dcfeeedfdf96e28b9ef0651f4f4f45e1ecd","datavalue":{"value":{"amount":"+0.8053421378135681","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":"Q2871472$3A734A1A-32BD-4742-8EC1-F42867DFB949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b46659868448bea3ccc01791bee69deaab2a9be0","datavalue":{"value":{"entity-type":"item","numeric-id":328657,"id":"Q328657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba4890d21693a3f7b372a792c103e61e88ab165","datavalue":{"value":{"amount":"+0.7741379737854004","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":"Q2871472$30BE1CDB-8249-48E4-8E32-06B74A130835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cdf89000b142dfecf282eec75e95349f131f34","datavalue":{"value":{"entity-type":"item","numeric-id":2942888,"id":"Q2942888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edae830bff331179863d8d76e908f3afee968bfa","datavalue":{"value":{"amount":"+0.7700532674789429","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":"Q2871472$556C600A-3EF7-40BD-9D70-AAFEE4B7E117","rank":"normal"},{"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":"d9240589baaa02318c66e98be7da166441a2dfc8","datavalue":{"value":{"amount":"+0.7566439509391785","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":"Q2871472$0B6DE2AA-EE38-403F-8354-FEC408E17687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4710ab823047963dca88071ab76a8a2caaf6530","datavalue":{"value":{"entity-type":"item","numeric-id":3553919,"id":"Q3553919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be6764a12aed37d3df727173747f5e90e4dd0499","datavalue":{"value":{"amount":"+0.7545429468154907","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":"Q2871472$4337D1F4-CCDF-46A7-B41B-3D59389A226E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nominal coalgebraic data types with applications to lambda calculus","badges":[]}}}}}