{"entities":{"Q760416":{"pageid":762265,"ns":120,"title":"Item:Q760416","lastrevid":64167387,"modified":"2026-04-11T18:05:20Z","type":"item","id":"Q760416","labels":{"en":{"language":"en","value":"On combinatory algebras and their expansions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3884131"}},"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":"Q760416$1AC8B1BE-940C-4FFA-8A21-2395F4431E76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"154ae46e56095e560b1ef29401bc82d04cf7a9dd","datavalue":{"value":{"text":"On combinatory algebras and their expansions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q760416$1A720E8E-4C92-4280-8E11-404C505D962F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dfb581f3292825edbc7346e652f63ee450439af","datavalue":{"value":"0555.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760416$925785A5-1619-47AE-86B1-D292214FB2CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f25d93c39e784f2fd3bdafc450863b7de2e842a","datavalue":{"value":"10.1016/0304-3975(84)90123-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760416$BE333FAF-181C-47AC-BEEA-4A3E83D0C7C9","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":"Q760416$A685B459-2FD8-431C-BED9-32F910D879AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03c3b74ff26c086a7988af4846b84322637129ef","datavalue":{"value":{"entity-type":"item","numeric-id":1868461,"id":"Q1868461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760416$D551EE29-A285-4E5B-B2D2-EB391AD91387","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":"Q760416$E4D1479A-A2ED-4AF6-9E8B-99A40E3B9824","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q760416$680047A0-D817-4251-8ECE-54AB21FDA0D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4f51392ef2245b4a33a0b17d039516cce8651ee2","datavalue":{"value":"The paper studies expansions of combinatory algebras (which are structures in general not rich enough to interpret the untyped lambda- calculus because the weak extensionality rule \\(\\xi\\) need not be valid in all combinatory algebras) into lambda-models. For Scott's \\(P\\omega\\)-model a new proof of the uniqueness of the expansion is shown, and under an additional condition of stability also the uniqueness of K and S in this model. Concerning general lambda-models, a general result on expansions of interiors of a class of lambda-models is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q760416$3AE9A46B-4A9C-46E9-9AE3-80232F6E7BA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760416$9C902281-D1F5-45DB-8B28-3AC7EC1BA3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760416$91BF2120-24AD-4735-A0DB-C008BF1B233F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f29ad46af2094481c02c3ccb1a9eb9cc5ded84e","datavalue":{"value":"3884131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760416$1F480FEE-D131-476E-9B03-8E76B715ECC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d926b37291d3c8c654f6660db42bd2736989b3cd","datavalue":{"value":"expansions of combinatory algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q760416$3292BB51-49AF-4F99-A88D-711D4E7CBD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28a3d023ed54f1fd6c510b4a4b4bbe4ff857a978","datavalue":{"value":"untyped lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q760416$1BFC8A6A-CA01-465A-8F80-9A1FB05042D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa60e5031a6b5b384bfbf6dd75251f337602f50","datavalue":{"value":"lambda- models","type":"string"},"datatype":"string"},"type":"statement","id":"Q760416$7992B4E9-7C87-473B-96AD-A12FE54076CC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"828dfc38786d2049fd79af4c315ff0a16e6bc429","datavalue":{"value":{"entity-type":"item","numeric-id":1188836,"id":"Q1188836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760416$7CF1FDD8-29F6-47AB-8216-BE4C33D3AFCB","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":"Q760416$441B9E6B-35B7-45D7-8CEF-31DE20C00E68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"641cbd0ab5f1f2a833ed6c71d78fe5593d1fe1b6","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90123-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q760416$D5A6DBD2-5C08-4199-8162-0470BCDD6ACE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6925c9fddedf1ab16b898b6ee21c194f1973294","datavalue":{"value":"W2016890450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760416$24AB2B30-66DF-4439-9145-247345A49C9C","rank":"normal"}],"P223":[{"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":"Q760416$7FAE70FC-3373-4527-9CB5-25ECB16CD01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760416$7DBC8EBF-2BC6-4084-9399-AF12E0918D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cfd022f7c763f57a83aacb14b0b71b14f3d778","datavalue":{"value":{"entity-type":"item","numeric-id":3922647,"id":"Q3922647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760416$D564671D-2A8C-4972-9615-DD977638F4EC","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":"Q760416$53A94C66-F075-4445-B477-798122BF91E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6221d271a31098a11e26449b8d0e3c592d39a59c","datavalue":{"value":{"entity-type":"item","numeric-id":1844827,"id":"Q1844827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760416$1794E681-C661-44D7-9BF4-98BB5687D485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760416$DC52AB52-4643-451B-B4A0-662DCAE91F5C","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":"Q760416$74F5623F-9AE5-4BBC-975E-12007A4A7395","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":"Q760416$5B260FBA-862B-4345-B644-CFF4961CD398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7b3dfa62a716cfef330c7630eb50534ffdaa29f","datavalue":{"value":{"entity-type":"item","numeric-id":3816069,"id":"Q3816069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760416$70FDD6FD-AB75-4266-9DA9-81D2627DE742","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":"Q760416$7052A6E2-B559-4A36-8A5E-E6EC136C6F7B","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":"Q760416$4BF1AD7A-D82E-4629-9857-B94C7A51B527","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":"Q760416$2C4408DF-9A64-4498-A9AC-ECDEC53F19E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84a3b31326a6f2cbeffd94be3c08f9554da6555a","datavalue":{"value":{"entity-type":"item","numeric-id":3755431,"id":"Q3755431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c561a72ae1a2e5df29a0e27f04d3b225378db5b5","datavalue":{"value":{"amount":"+0.8091830611228943","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":"Q760416$E2991D82-83B3-4CC3-8341-015FBF9A173B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9380bbb5a488bb28ec8d3aa808c288a6f7707238","datavalue":{"value":{"entity-type":"item","numeric-id":1182485,"id":"Q1182485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9e1ea4dfa7320709e9e8a1c09e47f66fa2dfec","datavalue":{"value":{"amount":"+0.7776738405227661","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":"Q760416$60C1B705-E4D2-4812-9688-5415CEF59C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5cd07706262dcb1f67c7563cca109a1116a8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1583488,"id":"Q1583488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f99a32544ac2df20df5899cbfe19567debd5a9","datavalue":{"value":{"amount":"+0.7743686437606812","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":"Q760416$B88009A9-EB23-46A1-A96D-D9C0A16740B3","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":"56f3338f8efc0895f7c2aa6ed0421939057d6572","datavalue":{"value":{"amount":"+0.7728193402290344","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":"Q760416$62B61ABB-2ED7-4A7B-8FE8-2CB81407DC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2115a5ba17189588af32477dba956a178752f32","datavalue":{"value":{"entity-type":"item","numeric-id":4709842,"id":"Q4709842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0214bb9e9e6bcb2ef78cdc877f3341bd8a2c7de0","datavalue":{"value":{"amount":"+0.771327555179596","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":"Q760416$5E51C831-73DE-4FAD-8AEE-BC8791DDBF40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On combinatory algebras and their expansions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_combinatory_algebras_and_their_expansions"}}}}}