{"entities":{"Q3329436":{"pageid":3340144,"ns":120,"title":"Item:Q3329436","lastrevid":48716593,"modified":"2026-01-05T17:05:50Z","type":"item","id":"Q3329436","labels":{"en":{"language":"en","value":"Models of the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3861118"}},"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":"Q3329436$86E95F7C-669C-41AF-B1E8-F30519520955","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7836918db3eef1b5cd64db9193c9d2854741a3d4","datavalue":{"value":{"text":"Models of the lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3329436$607D23E2-4238-4AF1-9C3E-4EE94C15E2D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ffb785c66a697ab215129fd60126adb539eaea4","datavalue":{"value":"0542.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329436$2E205259-193B-4189-9C9D-2AEABC72EC08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe5ba0b438072eaa018c051c76ea3c149bd6a897","datavalue":{"value":"10.1016/S0019-9958(82)90796-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329436$376B506E-BA9F-4E95-8849-403B5BD59B47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d81625ad094fd6605c581ddba32c1caf7d107524","datavalue":{"value":{"entity-type":"item","numeric-id":3221958,"id":"Q3221958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3329436$BF0BAB93-ADFD-463F-85DB-6DF2239D9FDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3329436$225DB377-A46A-416F-86F6-09AF9AF5B55E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3329436$8D136849-6C32-485E-82B4-449033B30A90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329436$944BC5F2-1FB9-4BF7-B986-48195845C968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329436$A9D6CA7D-D149-447A-9AEE-20519A036DC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"129f0d276bc3743c9f78d8b07a7fc94e19870b43","datavalue":{"value":"3861118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329436$4B97546A-CB6A-45C9-8BC6-7064232553E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f81ba591ff3dc87f16ef177acc41e8393f257d","datavalue":{"value":"lambda algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3329436$694F044D-4E55-4191-B6CC-C7D22DABAA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3329436$592CA531-B70E-4879-BF4C-286ABD27ADDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a17c07403f57e718e5e7dd2eb7dc59ff25f648d3","datavalue":{"value":"lambda model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3329436$7A2897EB-12C4-49B9-A2BE-5C93E2B33975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6950cfe19b8b73c34abb26034652629e0605ae2","datavalue":{"value":"environmental models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3329436$FBC62342-4162-4B30-823F-244E8E2A0A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c973ce55f45c397a9deabb61f93f4b14c31ba96","datavalue":{"value":"first order models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3329436$94909435-AD2F-443A-8296-FE93F764A14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c6ec50015ce57eb8837eb28674a1f953751b7d","datavalue":{"value":"categorical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3329436$AF2913BF-A8E7-47BF-8053-F805F6986177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a645f1ee8946a03309984f61203be8759d9dedf","datavalue":{"value":"cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3329436$A23BAFA5-8160-46B4-A9AA-C5F5B0B9C74E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e3eb89a3194429739ad3e5a0ac08dc513ca674d8","datavalue":{"value":"Q56445469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329436$ED18AE86-1BB7-429D-9597-E9846452BF0A","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":"Q3329436$1C828ED7-21F9-4F3E-9AD6-4C0019BB0962","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596d28f353fc493c81ee47c97c99ebafcf63d9df","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8902247b8a49b79abd7911e5a81cbcf4a6ffe5","datavalue":{"value":{"amount":"+0.8675163388252258","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":"Q3329436$CD22DBCD-EC90-45E4-9064-23BF4D01FFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b79f31a9aa15e9f0e8aa978ed9a3a4a3b49601","datavalue":{"value":{"entity-type":"item","numeric-id":3221959,"id":"Q3221959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"640f3596b92c05a07023b5e80ffe14a442b4fcb4","datavalue":{"value":{"amount":"+0.8385064005851746","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":"Q3329436$BBDB29B9-15E5-4D3D-BD70-003FEC709C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81a7174a1ef4613d63d76e76175dfccb179833","datavalue":{"value":{"entity-type":"item","numeric-id":4991956,"id":"Q4991956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e980f8e288ad85142db35ac3e2c4a4e10e7d1392","datavalue":{"value":{"amount":"+0.8362581729888916","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":"Q3329436$A5966466-EBDF-499D-8894-64C0925E5CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703cb4938462061c5aad9eb34f7ba168e1f8ca50","datavalue":{"value":{"entity-type":"item","numeric-id":3608420,"id":"Q3608420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e78fbf885caf0d6cb24759190498c44c35397d5","datavalue":{"value":{"amount":"+0.8016769289970398","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":"Q3329436$B4D13F46-8E43-45D8-93EC-58FA9F3B77BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6036cfaf18e9c4dd09c938069b152227b730f74a","datavalue":{"value":{"entity-type":"item","numeric-id":4923379,"id":"Q4923379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e825f697251e7173ac9fc02c38d5b037f07c044","datavalue":{"value":{"amount":"+0.7947077751159668","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":"Q3329436$A67AC2B6-0F9B-45BC-8DF2-244EA458C150","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3329436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3329436"}}}}}