{"entities":{"Q2850280":{"pageid":2861000,"ns":120,"title":"Item:Q2850280","lastrevid":42268874,"modified":"2025-06-03T23:31:07Z","type":"item","id":"Q2850280","labels":{"en":{"language":"en","value":"Formalization of the functional programming languages based on lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212480"}},"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":"Q2850280$EF8EAD22-397A-4B91-A099-CEDBBA43B1CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1680e97641f3b1150bd144f251a0d94b4792f613","datavalue":{"value":"1289.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850280$7D24CD48-207E-43CF-9025-25E21B6040CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac8a7117278200d6b3e98cf05425249288fb3426","datavalue":{"value":{"entity-type":"item","numeric-id":2819005,"id":"Q2819005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850280$9F0840C1-3E63-4FBB-BEB0-518A582D1427","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2850280$642BF723-418E-4DAF-8B2F-88D5BF5BE910","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850280$22B740DC-EE9D-4CAB-9871-CBBE53E184A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850280$5052DC22-93BD-4038-8EAF-C1C7CC87AC9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7835b6f82ec6f262f5fca94ba598f95d2010c01","datavalue":{"value":"6212480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850280$FD7EFCE4-DBF6-4770-B74D-669727A4CDC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850280$50A7C740-5BA2-4FD6-88D1-4EFA76D64A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850280$471758F8-99CD-49FF-A9FD-0B636A402976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ebd4fe14cfa9e78926b99b9fe2163e14a418e30","datavalue":{"value":"programming language F\\#","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850280$82AB9482-6A04-46C5-BAF6-CAB50050D2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7223949a56ef8fdca681bc15b555042f9cc356d1","datavalue":{"value":"programming language FP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850280$464D4EA2-37CB-4680-A630-968DC55E513C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68a2a0944c8cf045367194bccc6df8bb149e4fde","datavalue":{"value":{"entity-type":"item","numeric-id":39366,"id":"Q39366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850280$113AD055-0314-43EE-9680-DDF552CA3567","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":"Q2850280$C86B7308-C29B-4BE4-AABE-5EAAF98FA30D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c1cd7cd220559cd9bd9a24278c00e2415ea5812","datavalue":{"value":{"text":"Formalization of the functional programming languages based on lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2850280$F2E664DD-B7CD-4534-AE6A-DF0BFBE2D098","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ad2dee7d47d7dcc1a11d7db2f11f00ec159c5374","datavalue":{"value":{"entity-type":"item","numeric-id":6648625,"id":"Q6648625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850280$1626DD09-0367-4B07-9188-5A1A8BB381B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2850280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2850280"}}}}}