{"entities":{"Q1314361":{"pageid":1325111,"ns":120,"title":"Item:Q1314361","lastrevid":81159962,"modified":"2026-05-06T17:52:25Z","type":"item","id":"Q1314361","labels":{"en":{"language":"en","value":"Set-theoretical and other elementary models of the \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501174"}},"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":"Q1314361$CD63A60D-69EB-49A7-A702-CF6B72A5154B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5b51b33663aa3873938bbb4c2edb04d91dc0e6f","datavalue":{"value":{"text":"Set-theoretical and other elementary models of the \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314361$BCF46F47-7355-4809-94FE-CD4237C63E6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b43d6d03c907b6a03a49bf2a6793ab7974d0206","datavalue":{"value":"0790.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314361$F4D3672D-79A9-4326-84C1-9EC034F9512C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"570bc6aba8417df14862e30a3c4da392704d1979","datavalue":{"value":"10.1016/0304-3975(93)90094-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314361$C28EE404-D056-4045-A932-40BB631C5CB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$C81A3ED5-7D67-48CB-B150-2F3BA6BCFB05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6cd5815201d85bb68894181f8a778e0395c5390","datavalue":{"value":{"time":"+1994-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314361$DED41FB5-4D2F-4D85-B8B9-D28325E5D02D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d049fc9b3285ff7e665a7fdc87f89580f55661b","datavalue":{"value":"The first part of this paper consists of the author's previously unpublished but seminal work, dating back to 1972, creating the first model of the lambda calculus. The paper is best summarised as in the abstract:   The first part begins with an elementary set-theoretical model of the \\(\\lambda\\beta\\)-calculus. Functions are modelled in a similar way to that normally employed in set theory, by their graphs; difficulties are caused in this enterprise by the axiom of foundation. Next, based on that model, a model of the \\(\\lambda\\beta\\eta\\)-calculus is constructed by means of a natural deduction method. Finally, a theorem is proved giving some general properties of those nontrivial models of the \\(\\lambda\\beta\\eta\\)- calculus which are continuous complete lattices.   The second part begins with a brief discussion of models of the \\(\\lambda\\)-calculus in set theories with anti-foundation axioms. Next the model of the \\(\\lambda\\beta\\)-calculus of Part I and also the closely related -- but different! -- models of Scott (1976, 1980) and of Engeler (1981, 1988) are reviewed. Then general frameworks in which elementary constructions of models can be given are discussed. Following Longo (1982), one can employ certain Scott-Engeler algebras. Following Coppo et al (1983), one can obtain filter models from their extended applicative type structures. An extended discussion is given of various ways of construction models of the \\(\\lambda\\beta\\eta\\)-calculus, and the connections between them. Finally an extension of the theorem to complete partial orders is given. The theme of the paper is the consideration of means of constructing models. There is hardly any analysis of their properties; there is no discussion of their application.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314361$1022978F-EEC2-4726-AF7A-19C07725029A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314361$7E9C5BC3-49B5-4AB0-BE56-C3F729DC8328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314361$2AD8AA19-46F3-465F-85F2-44E1DD06AC2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a14e66bff5205eada4b593e9372d1d4315567462","datavalue":{"value":"501174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314361$F2A25F76-E21D-40BF-8F57-03F75E489F8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314361$B811C960-EA7A-4AAC-91EE-9264C5C01CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314361$A238C92C-FBF0-4682-9970-D2AA1D24195D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314361$241A2FDD-2922-44B4-B46B-F764C85373F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a2166e7333a80876e05f7ece2145051661a3bd","datavalue":{"value":"set-theoretical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314361$61DF1FD9-3740-4F74-A52C-8A94D4CC1D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83db792545a3218e3147830a29873ae6f87ee54","datavalue":{"value":"axiom of foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314361$5A85036F-ACC6-42F0-9136-BDAEE4EE5C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4937055d49fb55cdd9c6b1da66ccec8ba5ecfb7b","datavalue":{"value":"\\(\\lambda\\beta\\eta\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314361$6015C84C-DC62-452D-A4C8-BE545D99F0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"862bdfcbd728dea595fbd95a173559e94a5cd320","datavalue":{"value":"anti-foundation axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314361$F6634970-32D2-41B3-BABE-36ADBED94A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b67a5e72cf54d2d8d69e77da9542be130f3628e","datavalue":{"value":"Scott-Engeler algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314361$A455C1B4-8534-451B-9D3A-F84CC64723E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1929b3211749fe80a29c1f4306adb40ff186f19d","datavalue":{"value":"filter models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314361$42CD27E0-5B19-4A6E-A4A5-4ACA067A8C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea686fd75d01d0dfdf5c0e60a1bfc58d42aa067d","datavalue":{"value":"complete partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314361$8C0981F1-81BC-4491-86E7-0AE01931E2E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$FB183E98-B8DB-48D6-B2E2-424CC0CCBB75","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$E40AA825-CC80-4A55-AAD9-44C0643D44B4","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":"Q1314361$B4C7EABF-FF28-444C-8887-CA5ACD78FBD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$ED5F3AFF-9D53-429C-9DC5-2A84E482D4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$A0B429FF-BBFE-4FE5-A2BE-3E8E7AAC3993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$91A01F82-AF7F-4DE3-8F30-1C5C56743388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4f6773fb1d7dcfe9dddb68be9519eaeba7e70","datavalue":{"value":{"entity-type":"item","numeric-id":3206926,"id":"Q3206926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$1A33D60E-39C1-441A-9FFD-D1F0F1EC0D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$05B40D0C-326D-4395-BB3A-82E64319B4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d64355999ceeacfcbbdddf570cc079aa1edaea7","datavalue":{"value":{"entity-type":"item","numeric-id":3755431,"id":"Q3755431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$87AEC028-FBA3-4E34-9F0D-CB848DDCF013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef547918322aa5df163a888d528c53ec49ae3604","datavalue":{"value":{"entity-type":"item","numeric-id":3787976,"id":"Q3787976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$4E5ABC49-C862-4EEB-92D9-C651C9F68E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$30F497C3-6ADF-4028-B8CB-687B9C4CE28B","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":"Q1314361$6160190B-23A2-40C4-BCF7-B9B0ACAB23DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$5A52F80A-C51C-4F09-9221-C1665393845D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef20d70ae4a35d8a1f0191877c0c62d6346fe8","datavalue":{"value":{"entity-type":"item","numeric-id":3997125,"id":"Q3997125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$84C804A9-EE59-4350-AE08-ED518444BF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$F19EEF4C-DECD-4AD8-B7F0-4A40C2592BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986b6fdb4a1233849af301150a803956070270af","datavalue":{"value":{"entity-type":"item","numeric-id":3036694,"id":"Q3036694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$58EDE115-D813-43A3-8664-735A3AAE9A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$08CFB88A-A697-4E18-AB32-9279DB2011BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$02877973-4D73-4180-BEE1-A17109CA4AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4996775499bdebf3b87a2e5468ff1cda949bb964","datavalue":{"value":{"entity-type":"item","numeric-id":4281469,"id":"Q4281469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$308DA164-C6E0-4504-88AB-759F64A9C97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6ea593319c3a92c989573a001f928c1d6ba2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4018065,"id":"Q4018065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$AB25CDC5-F0E8-4D42-A1F0-AFD4B0A818A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793537b40e35a4601ea9ee225d2ec2d162d6b4e9","datavalue":{"value":{"entity-type":"item","numeric-id":1162534,"id":"Q1162534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$67796A7E-D4E8-41AF-AB19-9B8274C38DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df4e58f61f70dd182236e1c671977d7119d4137","datavalue":{"value":{"entity-type":"item","numeric-id":1821805,"id":"Q1821805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$F1022EAF-2C50-44A0-83A1-A2C3D7EC7D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76477425fa779ef9d92f72720735da571551d798","datavalue":{"value":{"entity-type":"item","numeric-id":3328538,"id":"Q3328538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$6238F48F-D543-4BC8-B5AD-09467A22A2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc1dec39facf5a4f590993765c1c92bc2c913d3","datavalue":{"value":{"entity-type":"item","numeric-id":1145695,"id":"Q1145695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$DA40C31D-17F0-407C-AA54-696AA3766298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$5462379B-7DC4-4BA8-8453-AAA733B223C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$41C0669C-587C-4B8F-9E89-53C94C4EE8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$BC093DF8-24D1-413B-B755-05EE238363CF","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":"Q1314361$87AAFD9C-4644-4538-94FA-51790BE47E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$78246386-AEA1-4789-8284-D6C45987DAB1","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":"Q1314361$12D111C4-6D94-4D6E-A7E2-2F47CF0ABB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e60b67d8e0098a021d3b0b6f886f17d528e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1198661,"id":"Q1198661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$31143DFD-E77F-4472-8A32-C3957E0D1533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98998dbae68743818793be37a42582456d4e7a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4282569,"id":"Q4282569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$242E526D-DEC2-4B12-8CAC-B363064C09B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307808a65aad09d39cf00e5db63260de1f765e97","datavalue":{"value":{"entity-type":"item","numeric-id":4281474,"id":"Q4281474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$3820D305-6CFC-4D80-8001-AC99923B6B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$95995E83-A297-42A3-B806-1A44E95CCDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6959ca380bf9b3940fd57ea8b42325bb11fb045","datavalue":{"value":{"entity-type":"item","numeric-id":1185015,"id":"Q1185015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$9979DC59-24C4-4DE2-AE19-DB7FA91DC715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$6E38195A-A1D1-48D7-B812-FCD53E7EFE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e287a76b72955cd46eadf7e27e2c11d6ff9865a","datavalue":{"value":{"entity-type":"item","numeric-id":1094418,"id":"Q1094418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$8C5B4CA1-3A25-4D06-A553-0F626E0D6EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff8d54ed35d6b3c12abec8db1759de88ef3e42","datavalue":{"value":{"entity-type":"item","numeric-id":1132085,"id":"Q1132085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$80E73DEC-48B0-4880-9591-883515B81B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$F9964D8A-E3C5-40A3-B93A-75CF1BB2720A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$1AA359F5-79F4-4AA4-B5BF-9846CF89F48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$E8903C47-E3A1-4865-863D-154D79CD0FED","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":"Q1314361$5532E9EE-3F66-43AB-9799-A3AB324D93B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$5F553966-99AF-46AC-9FDC-16B9BC765424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6807ec1d11298374f7516f766ca47b48f40dff","datavalue":{"value":{"entity-type":"item","numeric-id":4079581,"id":"Q4079581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$1AFFC385-0FAA-407F-B6E6-014DAB42D5C4","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":"Q1314361$15900AF3-1556-4F04-9928-3B6E99A5C292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17695e225aa63c7d95318b417de6aa4b6f4f2367","datavalue":{"value":{"entity-type":"item","numeric-id":3661543,"id":"Q3661543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$C78D9A1F-8AED-4322-8BE8-E45F4CE7F79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$6EFCE805-64D1-48AF-9227-AAC7EA972BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec6971544affb815b628a0661fb7e18e636abfd","datavalue":{"value":{"entity-type":"item","numeric-id":3360838,"id":"Q3360838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314361$F6734835-FFD4-4FD9-AC2E-118AC3AE1196","rank":"normal"}],"P1643":[{"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":"c893b40eb3a2a2bfa6f5a00b445cd507fd96c1d6","datavalue":{"value":{"amount":"+0.8538581132888794","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":"Q1314361$F5DA80F1-08F9-4577-AC6C-8DABC8DCABD2","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":"bc50e88af370aef6d479a53e4c176004b63c5091","datavalue":{"value":{"amount":"+0.8169816732406616","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":"Q1314361$A942E67C-B9EA-406A-96E2-C581ACE35AF3","rank":"normal"},{"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":"7d09db02b618d17a8213d53556bd91cc085403f1","datavalue":{"value":{"amount":"+0.8109090328216553","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":"Q1314361$07A5D1BB-180E-4308-80A7-50BBB0EEFB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be514722153d3463d880cf29a5c6c6c15b31fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3760511,"id":"Q3760511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4971a5c44105f4a7e678503c1e38302ab1360b10","datavalue":{"value":{"amount":"+0.8032130599021912","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":"Q1314361$0C087A64-2C98-4152-BC86-A59CC8AF0B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87325b55bbb0f1891d1b43559b6396d02aee6a1a","datavalue":{"value":{"entity-type":"item","numeric-id":1583485,"id":"Q1583485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae17169631af7cd375db893af585b1aeb59cbb5","datavalue":{"value":{"amount":"+0.7901045083999634","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":"Q1314361$FBB87B99-F63B-4D87-B9EA-19752DB51D16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set-theoretical and other elementary models of the \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set-theoretical_and_other_elementary_models_of_the_%5C(%5Clambda%5C)-calculus"}}}}}