{"entities":{"Q1129261":{"pageid":1140010,"ns":120,"title":"Item:Q1129261","lastrevid":69707274,"modified":"2026-04-13T08:51:36Z","type":"item","id":"Q1129261","labels":{"en":{"language":"en","value":"Enlargements of functional algebras for the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190301"}},"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":"Q1129261$CBDA2D3C-8386-4F2D-BF15-410FBF2214C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c0236bbbfcfc2c9f3e85a44759e1404f64dad5e","datavalue":{"value":{"text":"Enlargements of functional algebras for the lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1129261$DA663150-DDD7-4D15-83B6-168D55B8130C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6432c7e805fad1a275349582d40208abe80de3a","datavalue":{"value":"0901.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129261$BC5B4FB8-CB2D-4965-A447-3F4414783A6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfcdf73690d2e46feb56f508d7ed3af76c0f177f","datavalue":{"value":"10.1016/S0304-3975(97)00126-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129261$F964E5DD-181B-4481-9642-8A9B7A3BFF20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$14B71FB4-4DB1-4FC0-B141-C6B2F910B022","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":"Q1129261$F1EA7D7B-303F-48F9-87D9-2064FAB63830","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1129261$10FE0318-9830-4557-A377-BB4DCE7AB3D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129261$78D71B48-403D-48D8-9B1A-87FAD383FE83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e8807a1e0f730065837eb70d76fac3621d4ad38","datavalue":{"value":"1190301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129261$8170BBF3-B523-43AD-80EF-CD9DC695F9F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129261$3DA7931C-F297-42AD-8C7F-ECDA7434D3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1daaca2154dec79397a1455880f1ba4a89234c1e","datavalue":{"value":"environment models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129261$2ABDA166-A1BF-4CBA-B82C-6898C9B4C6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a244417629cae43885a1dc06845ea4d0233ca906","datavalue":{"value":"lambda abstraction algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129261$3F304B17-71E7-4876-9DBF-182D97D0EF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ad6e285f78b2965583c1c284ba2aee2f6cc76bf","datavalue":{"value":"nonstandard mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129261$2393D89C-5C0C-481A-BE78-54AE5C00E78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778d0700d660687e3b0ddd558123ada6c83b8a65","datavalue":{"value":"restricted algebras of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129261$DAA2E3EC-B46F-4306-900B-E4EAE97A77EC","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":"Q1129261$8C2691D6-570D-4C26-B1CF-19407BB5B8D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$9632A362-EBA2-4D16-A025-65E12C48CD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29814f46a951d520e6564eb1a9c06825ffd020ae","datavalue":{"value":{"entity-type":"item","numeric-id":1839846,"id":"Q1839846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$8A31C9B6-DFDA-48EC-99BD-51D610B53801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20d59f43c411e784343d3fac812b1eb99dbb534","datavalue":{"value":{"entity-type":"item","numeric-id":4132530,"id":"Q4132530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$F802BE7D-0994-4B0C-9A4A-E57A29712032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f95bec4b2c11d4bf622732f28246613e0bbacd0","datavalue":{"value":{"entity-type":"item","numeric-id":4217595,"id":"Q4217595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$E3DC45DD-5793-4A26-BF35-2B7BA5BA13E6","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":"Q1129261$A09AACB5-6437-49D1-A4C1-80A4EE2BF8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2a8fb219c6e1b452da4165b50d68a0ef9a2bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3708229,"id":"Q3708229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$1BE37EA7-B3E8-4FA5-A4C9-AE02D1F1B44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$5B034A64-A6BF-4C14-9570-F522C9EF9B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbcd3074c470d4a46db67b3dfaa02f9246b5be8","datavalue":{"value":{"entity-type":"item","numeric-id":1170185,"id":"Q1170185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$594AC59B-2869-4016-AB63-81B981483AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$DE49CF95-939B-4613-BB3D-A8C040C894DE","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":"Q1129261$D878ADFC-A658-4349-9C33-A44343358809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c324f2a3068028cb7eaaec522099dce3e3c5e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5571688,"id":"Q5571688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$5AA4187C-FEC1-48B5-A991-F3E41A6F5D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21872be859f3c7902cd61dd3f2803c3c146ef443","datavalue":{"value":{"entity-type":"item","numeric-id":1892939,"id":"Q1892939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$6A599873-7CE2-467D-BB20-165AAC8A7624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$2975688B-BAF0-4BB2-B891-B25EFB9C12B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52e4d1614adf5f67aa0180da2c8c38ab5fb9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1314361,"id":"Q1314361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$D261FC56-EB41-408C-A07F-F8E2C430FA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff46760a2ef745ee2bb7c9c94f48a015dbd5e4f","datavalue":{"value":{"entity-type":"item","numeric-id":4835611,"id":"Q4835611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$6C05CF9F-231F-45DD-B281-6E828E301223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9eaff64990526eb85f89a7a24ea87cb77eaa3cb","datavalue":{"value":{"entity-type":"item","numeric-id":674002,"id":"Q674002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$409514BE-3B8F-4613-838A-D7C3C3D4EDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c58698a601ad88e9de7fc1a25166a184d7467e4","datavalue":{"value":{"entity-type":"item","numeric-id":4744268,"id":"Q4744268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$987A6B42-70BA-4265-8E3B-AADEA2859AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e348d1d642c40962a544082402c4292107f7dda0","datavalue":{"value":{"entity-type":"item","numeric-id":5920791,"id":"Q5920791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$F652F402-4A4E-46B2-8593-68ECA9CAA380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf599c22152bdd4d9e2b5d7f48a18eed27916cc","datavalue":{"value":{"entity-type":"item","numeric-id":1283777,"id":"Q1283777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129261$9B0F0FF8-B353-4BC6-B6EF-3BDB7DD52927","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":"Q1129261$165194AE-5F91-45CB-AAF0-9B362F972388","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":"Q1129261$EAAC7238-55EE-4370-A6C4-D92669AC3DB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6e28e198e7f0c2e2686b0d35dc61587ead36d3","datavalue":{"value":{"entity-type":"item","numeric-id":1283777,"id":"Q1283777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6af28f40ea258244418a16a0f82f59f7bc2282","datavalue":{"value":{"amount":"+0.7897960543632507","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":"Q1129261$9E50DEBE-FC47-4A71-8A57-B1AC967B2687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf75ed0f172b3d955a9fc9517bf975c9c12d5df","datavalue":{"value":{"entity-type":"item","numeric-id":4381706,"id":"Q4381706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0868f31325812d578d90e4e4d308424cddf4cf36","datavalue":{"value":{"amount":"+0.7603222131729126","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":"Q1129261$1BBCC851-0478-41B2-B6DE-16E546D99498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"399367f03632ca13a6bcb05b3f3a69a635df0842","datavalue":{"value":{"entity-type":"item","numeric-id":3329436,"id":"Q3329436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216b21a6a379b5f6895c3dcc463f4ffd4d250b7e","datavalue":{"value":{"amount":"+0.7520744204521179","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":"Q1129261$9C1E2614-DCC4-48BD-88C6-BBEF6D623627","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enlargements of functional algebras for the lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enlargements_of_functional_algebras_for_the_lambda_calculus"}}}}}