{"entities":{"Q4236202":{"pageid":6265803,"ns":120,"title":"Item:Q4236202","lastrevid":46591926,"modified":"2025-12-25T03:43:54Z","type":"item","id":"Q4236202","labels":{"en":{"language":"en","value":"An environment machine for the \u03bb\u03bc-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268676"}},"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":"Q4236202$9F8FBD79-C922-4B3D-B885-9227FB48A77F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c471bfc42260c1ce53ef1c8fc0fae394ddf1585","datavalue":{"value":{"text":"An environment machine for the \u03bb\u03bc-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236202$5D040C7C-D59B-4CCA-BC1C-A44E08268809","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4df948b6f2281c54a86cf364fc7941f1d2691f4d","datavalue":{"value":"0918.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236202$6BE62754-83D8-4D4E-97FB-FC512C89CBF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0aad13ae96a59f726a3d154fc2f329a8541d107","datavalue":{"value":"10.1017/S0960129598002667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236202$A36CB799-4A71-406E-A201-B9AAEC9631C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c815c41e465f4878bd238b300cc994da6be7937","datavalue":{"value":{"entity-type":"item","numeric-id":831146,"id":"Q831146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236202$CB9662A3-657E-46AE-BEE0-64B6912FE930","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236202$1FC16224-F063-4689-ADAA-9DFF974E3119","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8644b3f3170c33297fd848370044d7764102e51","datavalue":{"value":{"time":"+1999-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236202$A3E1DC6A-347A-4F39-9C54-9CBDC2DCC113","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236202$64C4D181-5718-4025-980B-1F3DE171CAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236202$BB34D333-70FD-467F-ABE0-0156A6B24A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236202$4F366285-4C66-40F5-BC86-ADB994BC3A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236202$1482029B-4409-49D3-B4CA-70FD6DDA9225","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b887bf499bd0b9ed41db4eedb6a9d1809b0b6cc","datavalue":{"value":"1268676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236202$5EB6C1E1-3ED6-46F7-8400-11756CFB07ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0026bcd8bc6d68d1a3ce499b2f0a76cbce8d2686","datavalue":{"value":"extension of \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236202$CBECFDAC-BDEF-4A04-B1DA-AAB625536579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236202$F06FFA94-952B-42BF-AA66-8719A4BA8A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216ace9210b8a9445f836b5d7843000108085251","datavalue":{"value":"control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236202$06CC0E94-5781-4DC7-8801-6EEF659F8E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f81c3928520e4ec5f43d3fd8d619f55edb1401e7","datavalue":{"value":"environment machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236202$35F603A6-7A0A-4D0E-84E8-942A86492498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f4f4245fd81a55c323a02341c04241588009d50","datavalue":{"value":"typed \\(\\lambda\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236202$DBF2E19D-A95D-4E83-BD8F-364B95293F6B","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":"Q4236202$1D96DFDF-8B4D-4F2A-8568-69E33243051B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e268013a2b619b7c21b2276357366cf3ebb236c","datavalue":{"value":{"entity-type":"item","numeric-id":4218109,"id":"Q4218109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd5942e4387310f9d67c79de4ee2f1a4399b7fa","datavalue":{"value":{"amount":"+0.8235448598861694","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":"Q4236202$18191BF2-1C0A-4759-B0F6-14A35F54EDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6956d7da2b47b2b8591f3b093091a7c8687189e4","datavalue":{"value":{"entity-type":"item","numeric-id":1946673,"id":"Q1946673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd932e7b4321d451a85f1de820bf65b4539f5cf1","datavalue":{"value":{"amount":"+0.7925684452056885","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":"Q4236202$2BD267C1-D7D2-4C97-A195-BF98E4E897B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8666ed9331dd0b79d5048e10e8d9eb901e034449","datavalue":{"value":{"entity-type":"item","numeric-id":5055999,"id":"Q5055999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21348b1d97d4f0876902a512fcf6015795196769","datavalue":{"value":{"amount":"+0.7768146395683289","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":"Q4236202$4272EFEC-FF68-41B6-BF69-C478131BA682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec3be053c0496b730a6e83c3d93e4f021451039","datavalue":{"value":{"entity-type":"item","numeric-id":4813223,"id":"Q4813223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bee3c88c627375f184f49cefb9baf68784e2741","datavalue":{"value":{"amount":"+0.7758103609085083","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":"Q4236202$3683A836-9FAD-47E9-B943-2FFF121C7B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd4b62f5232d7b00f9e6dcf99cee3f622b6409c","datavalue":{"value":{"entity-type":"item","numeric-id":428894,"id":"Q428894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0e32a4781829839482ab96f3280c90672f934a","datavalue":{"value":{"amount":"+0.7753687500953674","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":"Q4236202$76B557DC-7A81-46D3-9938-CB5949345D2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236202"}}}}}