{"entities":{"Q1198661":{"pageid":1209410,"ns":120,"title":"Item:Q1198661","lastrevid":66852879,"modified":"2026-04-12T13:17:55Z","type":"item","id":"Q1198661","labels":{"en":{"language":"en","value":"An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 90312"}},"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":"Q1198661$1D04D9A6-3BF0-49AC-996B-FB6BC853C334","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b17f788c3ada55350f6aaf32cf6603208a35211d","datavalue":{"value":{"text":"An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1198661$574FADA5-76DA-4473-B393-70FDED11FA2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c942d89be7291c4ec1b59aa05426020538ff67f","datavalue":{"value":"0763.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198661$454BE2E3-E305-4DA8-B56F-868103A0F097","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50ca55d464d4df22e0dc4143a2e021ea79feec84","datavalue":{"value":"10.1016/0022-0000(92)90040-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198661$663C22C7-558B-4AF4-A942-2C3FD60D9948","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198661$34A53D3F-9F07-4480-BD8A-62BA6C083055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198661$2D9D20CB-B386-4F7E-A5D1-0FFB54ECAAE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198661$5DBE78E4-7BCC-4975-AA7E-D4050864F963","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1198661$5FFEF3F7-E117-4FC2-AE60-CB0ACBD6AB6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198661$939E68D7-5292-4FCB-A31C-3ADB49F51057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198661$A9747BC1-55C1-4ACF-AF5D-221747DE1D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198661$C68F122D-40B2-4A84-A1BE-8127D94B4C17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b04b96f78620d38243375955a3ae31c7ae663f9f","datavalue":{"value":"90312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198661$A68A9E66-4D12-4170-B034-FD3F82791116","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198661$D05E9D48-DFB2-436C-9570-783CE847CBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fddc6021e6a093be1234b9bf59f6b43147abee4e","datavalue":{"value":"reflexive object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198661$BC84E467-2C86-4024-834E-A0AF80154BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e79a52acb71f6a062cbfd42b52f32663ac8","datavalue":{"value":"Cartesian closed category of complete partial orders and Scott-continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198661$C92B76F4-E98B-48B7-AB4E-AD3A69A32C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198661$BEC34311-AFA0-4B60-8F83-2E20AFACD4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cef1bc36dfcdbb0928c60ed52e1d34b489ea6fac","datavalue":{"value":"topological model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198661$E2C9352C-3CE6-4062-912C-27716712BFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"506817c04a5435cbe210d27c2a0eb0278d51e037","datavalue":{"value":"\\(\\lambda\\)-theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198661$486C5AD2-84CF-4575-8F6C-BB4AE1149A58","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":"Q1198661$1CE85A13-F9CC-4AE8-9676-B62149F423FE","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":"Q1198661$99E8C5B4-8B4E-4CC2-B0BC-7834A3B2CBCA","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":"Q1198661$EB362E55-C69C-4AFE-9679-0E76FB087DD3","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":"Q1198661$DFEA9FA6-D277-4DDA-9E7C-92B7E8418101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198661$B8AAB190-383A-4F29-8C76-520D80DFA26A","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":"Q1198661$699B75D2-C36A-4AE7-8205-B1CB19C4F53B","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":"Q1198661$12F4847E-2C07-4E28-853D-211605AD71B7","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":"Q1198661$6555A104-D191-4164-874C-1F2750329B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198661$0A00FE4B-4CA9-44B3-BA56-9A59FEDCF5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ae43f93fd7654342456e10d2e58a80da316a09","datavalue":{"value":{"entity-type":"item","numeric-id":4193435,"id":"Q4193435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198661$81E8F2B8-F048-4F06-A919-08F69BBE4013","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4757bf5cdf466826c17250f9b8400f4a05948c4a","datavalue":{"value":"https://doi.org/10.1016/0022-0000(92)90040-p","type":"string"},"datatype":"url"},"type":"statement","id":"Q1198661$24B26486-FB30-4561-9371-436F0EFAA601","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bce39c434f3f6847e42027bc3ced6ffbfb14748","datavalue":{"value":"W2074026916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198661$AD467726-7E55-450B-9BFD-AEF76F70136F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb214e257ac056fe2c551f1b55288afa11dc6e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3816053,"id":"Q3816053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c69c8eee084874b4c53953ea619d9b92759a05cd","datavalue":{"value":{"amount":"+0.9196757674217224","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":"Q1198661$A0FDD625-ABAE-42F6-8248-E6D83F736610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a819ed2af7d49b231945ce8b9161cead57dde8d","datavalue":{"value":{"entity-type":"item","numeric-id":5267435,"id":"Q5267435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a6473098c4fc583a9854821888cb3fedbf9fd0","datavalue":{"value":{"amount":"+0.8581971526145935","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":"Q1198661$9CEE8C0F-E4B2-43C2-9337-04644496141C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e00484325dc204290226d18756f6d6c09bcd3c","datavalue":{"value":{"entity-type":"item","numeric-id":4916175,"id":"Q4916175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b724c88a9f27512bcad7fd2921a2545bc0de58b4","datavalue":{"value":{"amount":"+0.853706955909729","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":"Q1198661$6A086795-EEEF-4E41-A14C-8F2F90E1F998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2570c79aa4f9a46962505ec353cd66f3108ebfb","datavalue":{"value":{"entity-type":"item","numeric-id":4946631,"id":"Q4946631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874939b3786910bfe9db78eac05c8d514e07cf53","datavalue":{"value":{"amount":"+0.848648726940155","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":"Q1198661$617EE3FE-C169-40FF-821E-5A71CE35A537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe88c05f88fe4b686bae2e7511b096502afb869","datavalue":{"value":{"entity-type":"item","numeric-id":1021569,"id":"Q1021569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445c04c9faa78bc2f0edfa8110766aa17f58163e","datavalue":{"value":{"amount":"+0.796456515789032","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":"Q1198661$519892FB-1428-470B-AC25-E82A6BFF1086","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus","badges":[]}}}}}