{"entities":{"Q751294":{"pageid":753143,"ns":120,"title":"Item:Q751294","lastrevid":64139685,"modified":"2026-04-11T17:54:25Z","type":"item","id":"Q751294","labels":{"en":{"language":"en","value":"The semantics of second-order lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4176464"}},"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":"Q751294$5F8BE446-91DA-4FDC-A387-5C13EE4400FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc91fe38d2475287f988593fb27514d0a247b17e","datavalue":{"value":{"text":"The semantics of second-order lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751294$42CAE84D-F2DC-465E-BF60-E923BBB2AB9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"476af34119ae5813ac21a207e86da4ca7f9e3ed8","datavalue":{"value":"0714.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751294$28DE2131-4034-4A16-AE0C-7D006B974FEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b7eeca31eedff47b228fc7530b6b511a0fa8632","datavalue":{"value":"10.1016/0890-5401(90)90044-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751294$B0B1A443-15C4-4E77-AA39-3C7DF28335EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98fec3557092856a170ce9a1aafd90c4f7da6f39","datavalue":{"value":{"entity-type":"item","numeric-id":751292,"id":"Q751292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$B8E5A5B1-679F-41A0-AF3A-805EE6A836C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1491ce4cefcb5d07a122e169f280e92b36dc114a","datavalue":{"value":{"entity-type":"item","numeric-id":751293,"id":"Q751293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$375CE5F2-7DDA-4CDE-83FF-EFF0F5B1DB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b0bfbbcf5657a8b101c8d9d79e6747c41c0556","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$B02A7F41-BF7D-4E44-BAC1-032D6FA89B8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$0A912E6C-7B0D-4811-B480-1C65D1B63D67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q751294$147428BE-2C11-4AE3-AEE8-B6F6BDC36B6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4444c05958fd4ca95102d96766db7ca21e8fd333","datavalue":{"value":"The second-order lambda calculus, as a tool for solving problems connected with polymorphisms, can become important with respect to some programming languages. Because of its explicit lambda abstraction over types this calculus cannot be interpreted in the standard (naive) way, where terms denote functions and types sets of functions. The authors, inspired by some preceding ideas (Girard, Reynolds, McCracken, indeed Scott), define two model concepts: environmental model and combinatory model. The equivalence of both the models is proved as well as many other theorems and lemmas. A comparison with other models is given and some open problems are formulated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q751294$76A4228E-1F77-43C0-A9D4-0DC3BA87DD96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751294$B0A1FCA1-C3F6-4D98-AE0F-32FE0894CA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751294$628923C8-30CE-4BF1-A394-8316C375B452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751294$E79BF47B-8507-4213-BEA1-CF93FE803097","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7073b7022ddd0d680cbd956d89be2279dc0cde8","datavalue":{"value":"4176464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751294$F9A87156-84B9-41C4-A5A5-F34043A24EF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935a49187be7f5097c05db15f81627462256c2c1","datavalue":{"value":"kinds","type":"string"},"datatype":"string"},"type":"statement","id":"Q751294$07755E56-D0ED-42BC-8256-A168D79AB7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203c2e19b40e7d7e4e6a3d67ae9cbea1d47e9ad0","datavalue":{"value":"polymorphic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q751294$B9FC97C1-0578-4076-B2D8-770FE2506E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bdc5c08b223c1a45a7c1419f71c41b862be0dc0","datavalue":{"value":"Scott's domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q751294$610FA62F-C15B-47F0-8EE3-CF6FB26B04BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q751294$A8B36BB4-2E36-4637-A1FE-6935CB1EE58F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"639db72055e00dbcf7c5c772a4c6714fc15efa01","datavalue":{"value":{"entity-type":"item","numeric-id":587578,"id":"Q587578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$DFC736B0-B484-4A7F-8B2C-5BEC7E4C075D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$83AE1FEF-4CF9-46E9-B333-E16CE8680BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$8890DE16-C4FA-463F-A649-9042C298F6AC","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":"Q751294$ACFE062F-4BF8-49F3-AE81-D666EAA96C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$D041750C-CF2E-4F80-8164-65AEDF9CB34E","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":"Q751294$AB134B49-60C4-4681-8860-F20CE79BC415","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$4B08391B-1D7A-45B8-A9FF-53BBDE2BE68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"783487fbe7d5d00c916a5e1c362e506e08b899ca","datavalue":{"value":{"entity-type":"item","numeric-id":3678692,"id":"Q3678692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$C2D25792-7C5F-457A-8C07-77212AE1692E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$A9A43FD7-C814-4868-8B67-59720336091A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8f68f9e78bb6a5d59f21b1f2cddad1744eb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3659782,"id":"Q3659782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$9F0EEFDB-71D7-4B7C-A356-55B8C7E8DC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3da38fa3f73e91dfdc90a127c0eae839f152982","datavalue":{"value":{"entity-type":"item","numeric-id":3714051,"id":"Q3714051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$83974FC9-9067-4A88-BCE2-AB221A956519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d3128c33a17fc4f3e7b89ceb3e22b9648f4405","datavalue":{"value":{"entity-type":"item","numeric-id":3204024,"id":"Q3204024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$AC66C58E-B471-4A28-92B0-FA707A1131AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e27ce7076971f426a2874f2795f13bc2fc8aa1c","datavalue":{"value":{"entity-type":"item","numeric-id":3216628,"id":"Q3216628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$C41084C0-0E69-44E6-A796-334B605C462B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$F9553FA3-8446-493C-8B76-B301CA17C129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$0C009B9A-712A-4BD4-8B63-7F9C57B5C815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a396efbaab0f9955d9957e0051762332beddcd01","datavalue":{"value":{"entity-type":"item","numeric-id":3851582,"id":"Q3851582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$82B2B6B8-2BDE-4A19-980E-F05AAC01EEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bcfabc22212d3db2a4fa41c3566844e5ecdda6","datavalue":{"value":{"entity-type":"item","numeric-id":3668859,"id":"Q3668859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$6DEDE4CE-3D3A-4358-9E28-B70F19F39EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$4D2648B1-5AE8-41EB-82FA-715E20FA1329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$935E2DF2-12FF-45F0-8E32-EBFCF7C6C89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979c1018f55da65824cec648af6a41a238694772","datavalue":{"value":{"entity-type":"item","numeric-id":3323252,"id":"Q3323252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$6C7CE9C9-258F-48B2-9370-E00A3CC6F0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$C56688F2-7D20-4838-A283-AC44CB0D8CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706432819f6cf16b1a37d307080a71755ef9cfa7","datavalue":{"value":{"entity-type":"item","numeric-id":1839242,"id":"Q1839242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$CBCC0384-DB91-44DB-94B9-8C7D47D8A910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f3fd26345ebcb47fdc2decbe06144bf40762a9","datavalue":{"value":{"entity-type":"item","numeric-id":3329436,"id":"Q3329436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$B69801EF-1F89-4841-99D5-29A7D33D6334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$B0B6587B-0407-446A-B245-38600FD6799B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1208c35792fdf6d7234d5d330a526691eb60bc71","datavalue":{"value":{"entity-type":"item","numeric-id":5345264,"id":"Q5345264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$14650D40-F951-438E-8631-D6756B950F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21c90e66902948a1de1494ff23d31c3c16d32b1","datavalue":{"value":{"entity-type":"item","numeric-id":1153681,"id":"Q1153681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$49A05BA6-8FBC-4C37-859E-93E4EB7A4C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$5E6301AC-2461-4AB0-AE99-9DB9AA4B0DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bce0021a20e6075192b92537623e64018b293b","datavalue":{"value":{"entity-type":"item","numeric-id":4099614,"id":"Q4099614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$7DA65A26-9B96-46AE-8103-130E50B2999C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5563cb636be982d7a10c0cf19bddc6eed54527cf","datavalue":{"value":{"entity-type":"item","numeric-id":3702495,"id":"Q3702495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$F4B158A0-7934-495F-8432-03F45AE03A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$44E45849-8FA3-4FD3-95D3-9FDADB438EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$21F93127-BD67-4296-9CEA-3702D50CEF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$D61A1CD2-917D-4A6A-BE35-9B18D13E9567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76cd3a8ba48ee34d922f75db8eaff1b1a239078a","datavalue":{"value":{"entity-type":"item","numeric-id":3680264,"id":"Q3680264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$E0D76FF8-740A-4054-9337-45D309C598BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492542c2fa16745b6c1ab27c66663c1aea1182a1","datavalue":{"value":{"entity-type":"item","numeric-id":804559,"id":"Q804559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$07F99B95-848F-4167-9EE1-9E6B12BFA114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$1CDD1EDC-C338-445C-A45A-A2B64A63BC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$CBA72DD1-D84B-4545-AEA7-86A14A337F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6452450bcc9d58f3467a1463aad43bdb776205e3","datavalue":{"value":{"entity-type":"item","numeric-id":3230369,"id":"Q3230369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$C81DF4FE-B5C9-4C10-AC4B-B6C6034BD0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$6972A0E4-A9C1-4863-A356-13C3B93ECF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$E30367EC-300B-4C92-BECA-0452D6F94C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$71FDF9E2-CCA4-4857-8799-8B6F2471F853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$777031BE-B283-4498-9523-C54EAA1DFE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$F618F6B6-BDC5-45C0-8166-5D6EBAECF919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$A6FD807A-4E48-4447-B596-4B35B86FD205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a318a20654fe6d18f6eb39f1a9161b15bf9565b","datavalue":{"value":{"entity-type":"item","numeric-id":3768869,"id":"Q3768869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$26044222-6726-4B38-BD7E-22DB504A0511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2901249b551485960836e9a991cdbf958abb55cb","datavalue":{"value":{"entity-type":"item","numeric-id":4124312,"id":"Q4124312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$1E860EAF-7E61-474B-856F-BD5BAC476A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$8A755B60-B120-4D49-A437-E8DE21D2099F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bf9d98ddb31cde733ea23d6df193235b8862dd","datavalue":{"value":{"entity-type":"item","numeric-id":2556396,"id":"Q2556396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$FA088D2D-82D1-4A1F-8F56-26A326C5DD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc467f48030b0157b5bb9ac0001e6a6d79c1d345","datavalue":{"value":{"entity-type":"item","numeric-id":3347263,"id":"Q3347263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$CAE36506-B2DA-49C7-9693-5835C24F84E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751294$413A019E-92B0-4281-AE92-F40AB7F0C7D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b55468e0b2278be83805b2d758cfb4d7a912274","datavalue":{"value":"https://doi.org/10.1016/0890-5401(90)90044-i","type":"string"},"datatype":"url"},"type":"statement","id":"Q751294$3B216E4E-3BDA-4F80-AF92-CBD3E34E259E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f216c2c5aa4a08a8952d464b1a56c05bf8141e17","datavalue":{"value":"W2052447934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751294$F63914B1-5B09-45E5-A847-32B8BC23A8CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d4100a26ede17f3cee25ab86916e0babdd41f8e","datavalue":{"value":{"entity-type":"item","numeric-id":4006235,"id":"Q4006235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278e99a54f1ec42a92202b20853ee777d70e94e6","datavalue":{"value":{"amount":"+0.9924292","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":"Q751294$21F7370F-82ED-408F-99E0-F0E2247CEA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfe8faeb7c5e632c37904d2120e62e56925732d","datavalue":{"value":{"entity-type":"item","numeric-id":3216628,"id":"Q3216628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938f99b4af487d506ffe1b3d945892de8c672a1f","datavalue":{"value":{"amount":"+0.97103393","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":"Q751294$4E9F35F3-6B3B-428D-A65D-30B0ECA6FAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ba330d6958da46eff5b1cf9c3e67524bc6e935","datavalue":{"value":{"entity-type":"item","numeric-id":3787978,"id":"Q3787978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b304b350115309a61f9153f7b9678447aeaf03a","datavalue":{"value":{"amount":"+0.9142325","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":"Q751294$422A5932-686C-4693-9D56-C86E3C235EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aedf9c230831d7c32a2469d424ad742688c901d5","datavalue":{"value":{"entity-type":"item","numeric-id":5277728,"id":"Q5277728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de0e5cec6c52b80fae6b04d3aefc831daa42ef80","datavalue":{"value":{"amount":"+0.91189265","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":"Q751294$491ED83D-43E5-4217-9529-8FD855D2D9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec631c05321dbc7306e9c1d245bda028c4260410","datavalue":{"value":{"entity-type":"item","numeric-id":5096261,"id":"Q5096261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683c216992ee673b10254929997e7c5705b3084b","datavalue":{"value":{"amount":"+0.91184133","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":"Q751294$ADE7BBF5-EA26-484E-9F03-94C7206D3585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"443a00175662a9ace6e9914191341a7f2b09cfb0","datavalue":{"value":{"entity-type":"item","numeric-id":3787977,"id":"Q3787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13ec919f0fae820415ee2fb0da7682db944fe23","datavalue":{"value":{"amount":"+0.9084207","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":"Q751294$9500F406-2F2E-48A6-9C0C-3F4D9322CDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3bbd71e7cfd351da60e595e1ef3fa6222ef6892","datavalue":{"value":{"entity-type":"item","numeric-id":4934238,"id":"Q4934238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1433753c107bb88919626df31d832f5db92d3100","datavalue":{"value":{"amount":"+0.9083013","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":"Q751294$6D727015-4C43-474F-B78E-3C264A73E3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f40193c6f95faa99739874a985f68c583733f2","datavalue":{"value":{"entity-type":"item","numeric-id":4912847,"id":"Q4912847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b39ae8b1d4908a49bd9627794ac07448ae6d14","datavalue":{"value":{"amount":"+0.9065548","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":"Q751294$C88E8998-8080-4A9C-AF9E-905579955A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62c0f1507268f2f74ee18bd4a18691de5d31e09","datavalue":{"value":{"entity-type":"item","numeric-id":3395101,"id":"Q3395101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0dd78b9f3d54c9734acb58d88dadcc3b1a61fc6","datavalue":{"value":{"amount":"+0.9055915","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":"Q751294$076CF73F-C23A-4D5E-AF9C-0BD53DDF8AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c32292776d8b1d64f36f5c8431b9b849f8d5849","datavalue":{"value":{"amount":"+0.9045757","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":"Q751294$AF584D07-110F-4A72-A687-96F7A852E2D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The semantics of second-order lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_semantics_of_second-order_lambda_calculus"}}}}}