{"entities":{"Q1229201":{"pageid":1239951,"ns":120,"title":"Item:Q1229201","lastrevid":66497781,"modified":"2026-04-12T10:29:07Z","type":"item","id":"Q1229201","labels":{"en":{"language":"en","value":"An algebraic interpretation of the \\(\\lambda\\beta K\\)-calculus; and an application of a labelled \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3523520"}},"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":"Q1229201$637499C1-C57F-4ED1-ABC3-B9792C3FE0EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"214b94f2906eecac7d1984d6c8044c35ace9a262","datavalue":{"value":{"text":"An algebraic interpretation of the \\(\\lambda\\beta K\\)-calculus; and an application of a labelled \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1229201$27409A96-217B-47A7-B0CF-77EDE54FECE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe29a18977e39dabb24db8e10e5ad369a6e7885c","datavalue":{"value":"0335.02016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1229201$F3A108C0-A80F-4A48-AB95-BEACB4D6B4E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"301b1659dc33e36b16febd0ee5ec95354ae5ca4c","datavalue":{"value":"10.1016/0304-3975(76)90009-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1229201$90ED5B37-8922-4DA2-A099-C51498A68D23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f256d5cf43befc80d25eef0366dda59dbd77d3","datavalue":{"value":{"entity-type":"item","numeric-id":1229200,"id":"Q1229200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1229201$FA98D408-C7AF-42C0-AAE7-B343DEF69A5D","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":"Q1229201$DAB6D5E6-CF32-46BA-BAA4-5EE2D69B133C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1229201$10197A84-063B-4697-B37A-1E25D52DD8DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1229201$6BC75B6F-FF0B-40B1-BE82-421E3E112926","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dc7a7570539918026b4ea33b2a919ec17cc3f91","datavalue":{"value":"3523520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1229201$CC11FDDC-5BA3-45AD-9BF4-7CAF09FBCBC6","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":"Q1229201$817210CF-0139-4FA9-B0F0-391D56EB9C13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa99ae87ecacb74497a4827a0721f4c4b00e321d","datavalue":{"value":"https://doi.org/10.1016/0304-3975(76)90009-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1229201$E34A4DEE-4992-43BC-AD99-55DA54C5774D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c32e637b463e0f688b69f448ed9caa6dcd1abf3","datavalue":{"value":"W1999005577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1229201$18E8D33D-B905-4B6F-A78E-77FF150A1CBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1229201$4477355A-0CE2-4372-871F-00F7CD445328","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":"Q1229201$809A6270-B596-4B3A-87B7-43A9C31B1577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856b93e25e4d1d0f8f1a57ec0b7cae72b039f6ba","datavalue":{"value":{"entity-type":"item","numeric-id":4077434,"id":"Q4077434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1229201$701700D2-448B-48CC-8557-7B3DD15D5CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b18d9c76aad0c8542339f6c4a03f92429945113","datavalue":{"value":{"entity-type":"item","numeric-id":4766003,"id":"Q4766003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1229201$17C8CD2F-26EF-439E-A79E-5340BA3EB4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb71c236d3e39641e43866697efc299bd53b303","datavalue":{"value":{"entity-type":"item","numeric-id":4083399,"id":"Q4083399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1229201$F8696B34-F76C-4330-84EF-5362A75AC769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b708b22d72c3975cf34ae3e34c8628d2afc625","datavalue":{"value":{"entity-type":"item","numeric-id":4092932,"id":"Q4092932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1229201$15074688-0BF5-42ED-90AD-70397932501C","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":"Q1229201$DEC65ABB-DAE0-41BC-A862-0829AD9BD79F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic interpretation of the \\(\\lambda\\beta K\\)-calculus; and an application of a labelled \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_interpretation_of_the_%5C(%5Clambda%5Cbeta_K%5C)-calculus;_and_an_application_of_a_labelled_%5C(%5Clambda%5C)-calculus"}}}}}