{"entities":{"Q804281":{"pageid":806129,"ns":120,"title":"Item:Q804281","lastrevid":49501792,"modified":"2026-01-07T08:46:47Z","type":"item","id":"Q804281","labels":{"en":{"language":"en","value":"An abstract framework for environment machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4201608"}},"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":"Q804281$A9C83F6E-3A5F-4260-A843-6D8D5DB9D12F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb91fd893dcd223f84079a230b93fea9e51e56ec","datavalue":{"value":{"text":"An abstract framework for environment machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804281$2A537279-4649-4E3F-8C5A-CB6A5EF0E8B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"811fb038f75983eeaf77ce396ef8884c5f97964f","datavalue":{"value":"0727.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804281$1D212F8A-49CF-436F-8431-A16B5CBABE63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f35e7b8c23e2474e2775bb0dd05791702212ba4d","datavalue":{"value":"10.1016/0304-3975(91)90230-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804281$926550F1-9C06-4448-A979-4F5B9D30E298","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":"Q804281$C6E4468A-CD72-41E1-A3BA-A56715284E57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q804281$9CAEED5D-1D69-4F6B-B062-DEB07F999BC1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"553a8a58f75b04130e7adf4a9b618e1af2724bdf","datavalue":{"value":"This paper developes a calculus of classes, i.e. a formalism to handle \\(\\lambda\\)-terms with substitutions. It is shown that machines with environment (Krivine's machine and the CAM) essentially corresponds to different strategies for normalizing closures (call by name, call by value). Simple typed closures are also considered and a categorical point of view is sketched.","type":"string"},"datatype":"string"},"type":"statement","id":"Q804281$BB01167F-C057-410F-BB30-8BD306D107E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804281$23CECE32-A865-471B-8C51-8A9575466ABF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c67d3439474dbf29035950d35c1f2480a226b8d","datavalue":{"value":"4201608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804281$360793D8-D721-4DDE-AA21-F8499EB4954E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2427991a851b81c85e39293497a63a2289c57e93","datavalue":{"value":"environment machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q804281$D434FFE1-7A41-4449-9E9F-3460A8276647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77f6b122613ab28ed1949959e76bf4107c78456","datavalue":{"value":"\\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q804281$079DA373-2D84-4481-9AE1-33B94972ABE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$0BD26373-66AD-4372-B746-D2249A0B093E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a7b1de5980b26d5c9cc9949f66981448bd3a656","datavalue":{"value":{"entity-type":"item","numeric-id":1089329,"id":"Q1089329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$1606F129-D371-44FC-A39E-482188D61303","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":"Q804281$5DEB19C1-68C4-4941-BB33-999D7A1D9052","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":"Q804281$6CC516D4-6126-4FA6-9A3F-37292CA1E1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$FE25CC48-A8BA-433E-A653-550A6D07E4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$DE95E701-4893-4BC0-946F-F6069E6F1387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a9e57880bcb024607477392ee626f984e1b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":1078543,"id":"Q1078543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$5367E44F-7FD7-4BE0-B2B9-7F9170344DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$06FE38C5-8737-46C9-B48F-8A14B32B3876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$CE488B65-BDD2-4E36-B163-0384737C3CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a720b69b73a77620c7218acc700c3c632bdb8a","datavalue":{"value":{"entity-type":"item","numeric-id":918956,"id":"Q918956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$D30CF0CC-E928-4E63-991C-ADAF37BAF900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54868b722751ad0e075936ac6a123a5f7734f8","datavalue":{"value":{"entity-type":"item","numeric-id":4029341,"id":"Q4029341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$36FAD04E-CF1F-4049-A2D6-6139875F7930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$E7313951-40FE-4952-A808-1246C6AC7B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05087253c3164ea7978f0a24612b46131e225dad","datavalue":{"value":{"entity-type":"item","numeric-id":4735315,"id":"Q4735315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$7878F47E-FDC6-4A66-B20C-BDBA9C505854","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":"Q804281$3F7BC421-43F7-4815-9BB5-EC7FD2F55D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$8D70D7A8-83C9-40B4-B66A-D4E7F24FC028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83bf7e764843684610edae08b166a258e6b8103","datavalue":{"value":{"entity-type":"item","numeric-id":3659756,"id":"Q3659756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$2308F23F-6BEA-4E46-87F7-2736EDDDBCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$B003A4B7-0B61-4A6D-AE51-5D6340CFEFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133bd8899e21a531bf8d5b9085f6dc19f9b32b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3474271,"id":"Q3474271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804281$64FE824F-3528-4E52-8604-9BF5CE0AC179","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1400c0f43d6cd76ce0b9a0d051df4abbd4d9d49d","datavalue":{"value":{"entity-type":"item","numeric-id":5277795,"id":"Q5277795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7db674408a473149a305a65f407426c418b14df","datavalue":{"value":{"amount":"+0.8645539283752441","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":"Q804281$7A3D5C3F-4FAA-4E90-9823-ADE12A35164C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a12cfccfda8cae0bdbac14cd8faca3246a69c6c4","datavalue":{"value":{"entity-type":"item","numeric-id":5170161,"id":"Q5170161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"334c2e6a7a711a3c0618ae2f0616b06ed7d4e60f","datavalue":{"value":{"amount":"+0.8532320261001587","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":"Q804281$554D5FA3-25F4-42F1-A5E5-DD7E4CA0D83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"901601425e6a873e87c732891c24a30a1c03b196","datavalue":{"value":{"entity-type":"item","numeric-id":4763978,"id":"Q4763978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41bef3bf15e186377915cc883ac4e2ce726f1823","datavalue":{"value":{"amount":"+0.8209624886512756","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":"Q804281$A4E1E439-6B3B-4454-A84C-DCA25B48D9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ab1edf7612c42a1357b64dd03cd97b5cca22e","datavalue":{"value":{"entity-type":"item","numeric-id":4236202,"id":"Q4236202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41bef3bf15e186377915cc883ac4e2ce726f1823","datavalue":{"value":{"amount":"+0.8209624886512756","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":"Q804281$6C5FD71E-3792-46A3-AAC0-49CFA505CC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10054636e829ffa0c0d0fe4d8992ec2f1af818c4","datavalue":{"value":{"entity-type":"item","numeric-id":879356,"id":"Q879356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba97545dca40f8a912d0d689ac83020f921bc7ef","datavalue":{"value":{"amount":"+0.7823209166526794","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":"Q804281$942F28EF-3E4D-4C00-9856-4A66A9256C0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:804281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:804281"}}}}}