{"entities":{"Q687575":{"pageid":689424,"ns":120,"title":"Item:Q687575","lastrevid":63615018,"modified":"2026-04-11T14:21:54Z","type":"item","id":"Q687575","labels":{"en":{"language":"en","value":"Semantics of the typed \\(\\lambda\\)-calculus with substitution in a cartesian closed category"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 433089"}},"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":"Q687575$0E5A19C0-29E3-42FC-B86C-51137CEC6AFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80835945a5fec54750dd7f7a851ba35a79058aa3","datavalue":{"value":{"text":"Semantics of the typed \\(\\lambda\\)-calculus with substitution in a cartesian closed category","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q687575$DF0C43CA-AA59-4796-97E0-EC4B403D6761","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f74091b165bace171b96cb7af141c07096d04e05","datavalue":{"value":"0786.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687575$68724F52-AEAF-40C0-9509-1B45DFF4E491","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46f545d040ef6d1f337fff9a2305c5ac6d09a46c","datavalue":{"value":"10.1016/0022-4049(93)90089-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687575$520996A3-29B2-430A-A396-0082B9BEFC96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b5cd70a601ae7d73d42d795608769e2a4e95ba3","datavalue":{"value":{"entity-type":"item","numeric-id":687574,"id":"Q687574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687575$B5710EAE-1F78-4C95-B9FA-38C01331AD3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687575$68236CDC-5F92-4AC3-AD21-7A2BBCEFCDBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6818f7f510ff62259b85c553b228e9c36b25fe25","datavalue":{"value":{"time":"+1993-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q687575$8AA1A9C2-FAE7-485F-B7F5-0F6596FEF03A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687575$85337A11-8F40-49A5-AFD7-06149518E02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687575$F4105EAE-01A9-41D7-B5E2-90D90013E8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687575$DA657F69-2415-43DA-BA38-930A7334A8B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6658c0a571edadc326c5e3f5df87fb2c9fffec1","datavalue":{"value":"433089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687575$A4BBA7B7-D711-41DC-A21F-6BE49ECB3FF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q687575$F550F0E2-CA46-475B-AE54-525A36A76D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e0f43cb836158c30dc244372145f14b01bb0fb8","datavalue":{"value":"typed \\(\\lambda\\)-calculus with substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q687575$B0EE7BBA-250E-4295-A327-D1101BCA6430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"633f83fd6d8a2f8fc0ce525cbaf2c5381a23778b","datavalue":{"value":"global environments object","type":"string"},"datatype":"string"},"type":"statement","id":"Q687575$FFF4395C-D9D6-4100-BDDA-21CF5C098DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"738d2981ab0ee6b9f414e64334a61bd46748dd1b","datavalue":{"value":"individual environments objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q687575$E95BDBDA-8398-4D29-BCFF-95BF31EF0E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecde210eb82d0fa8085cfea767fcd31ead722c86","datavalue":{"value":"interpretation function","type":"string"},"datatype":"string"},"type":"statement","id":"Q687575$CBEC7E2C-8C1B-4D88-8097-D91066269F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q687575$71A6722C-91F0-4583-992E-EA30DF81B148","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":"Q687575$DF1FB45F-716D-4218-B3AB-318087DBEAA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687575$A39E84E3-CC24-4AE3-B8FA-BEEFEC82E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c0a322641e0fb0bfcedb9760d56ea332ad04e","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687575$B8724E02-024A-4FED-AEFF-1B3B44A147D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb1f5730dc671e95d2c4237dfdcada480417c74","datavalue":{"value":{"entity-type":"item","numeric-id":3142163,"id":"Q3142163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687575$7AF90752-1BFE-4F94-9F02-CECE1E0B9ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2dcb0390f8cbacfc6eb44ba408bb13c644039c","datavalue":{"value":{"entity-type":"item","numeric-id":3978972,"id":"Q3978972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687575$1E811DAB-0849-420E-A4C3-E4190949A097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b3e65b91448d97073db371ec4396aac12ecbad","datavalue":{"value":{"entity-type":"item","numeric-id":6116572,"id":"Q6116572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687575$02FAEBF1-B72D-47AF-8994-9F252312F6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687575$54898A2B-11BC-4308-B2EC-5633354ADC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c284a1af1754906447cd4b2a1c98a6adcb98e0","datavalue":{"value":{"entity-type":"item","numeric-id":3342573,"id":"Q3342573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687575$F0BF3BA1-D1F6-40E2-85AA-DFFB54A95997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687575$4D7B441F-A230-4549-BC62-3A5A5BC25CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a92b361a18a5491ab3cc99003979f5f231d4721","datavalue":{"value":{"entity-type":"item","numeric-id":3719801,"id":"Q3719801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687575$33E4EAAE-FE9F-46B0-A0E7-AA1D833CEB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6673e979bdd363e490241c63c78b723796d86cb","datavalue":{"value":{"entity-type":"item","numeric-id":4723264,"id":"Q4723264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687575$E5B024BE-9341-418F-8B7F-E61BF3B31CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687575$F2873195-DCBB-420D-9F24-243D5F015178","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eaf1b4434dd63be30e34a133d16e928b854b7b0","datavalue":{"value":{"entity-type":"item","numeric-id":6116572,"id":"Q6116572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2d07d25a01e9ddcf46420e0156cf4fed312cac","datavalue":{"value":{"amount":"+0.8103250861167908","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":"Q687575$716FF9A6-5CD2-45E4-A8F5-CFEC1FBEF6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a64f9fd6f1e5409551a26ee49cd56f091134dfb","datavalue":{"value":{"entity-type":"item","numeric-id":3714050,"id":"Q3714050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d35b151a85e5a363e133bb60ef1a4144274448","datavalue":{"value":{"amount":"+0.7884130477905273","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":"Q687575$CFCFC328-6915-428B-AA86-52C5E3468B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bf460eb579338a48f05b4d8e88a6e0efb84168","datavalue":{"value":{"entity-type":"item","numeric-id":1894315,"id":"Q1894315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb779626d17e2f689787b5c09ec3faf9a1ac1bcb","datavalue":{"value":{"amount":"+0.7875403761863708","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":"Q687575$5619816B-40DD-475C-AEC4-28320CD96A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5c0a24411ff0f72386eeecf77d6d0bdd7bf889","datavalue":{"value":{"entity-type":"item","numeric-id":4263880,"id":"Q4263880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe36cd1a44086afe339e719ed9b93093216583c","datavalue":{"value":{"amount":"+0.786439061164856","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":"Q687575$452E1C0F-4DB1-49EB-B38D-47C4F89B1033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b921691b4d2505e7a5c5ded47c65c86ae05c09a3","datavalue":{"value":{"entity-type":"item","numeric-id":3760508,"id":"Q3760508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a843c49df7ee6c3160370e5da0b41e2c170f93d5","datavalue":{"value":{"amount":"+0.7807546257972717","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":"Q687575$3966D9F3-AE1F-47F3-8C86-5D5A306E2021","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics of the typed \\(\\lambda\\)-calculus with substitution in a cartesian closed category","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_of_the_typed_%5C(%5Clambda%5C)-calculus_with_substitution_in_a_cartesian_closed_category"}}}}}