{"entities":{"Q4236754":{"pageid":6266355,"ns":120,"title":"Item:Q4236754","lastrevid":46586235,"modified":"2025-12-25T02:45:59Z","type":"item","id":"Q4236754","labels":{"en":{"language":"en","value":"Functional runtime systems within the lambda-sigma calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1270111"}},"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":"Q4236754$2A6014B6-B680-4CB7-A866-C6711B0CC918","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73a9bf2528fc87e7fb44e20a6a6c62988b6183eb","datavalue":{"value":{"text":"Functional runtime systems within the lambda-sigma calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236754$CF3963DE-D858-4F4A-8C4D-29B21F0FEAF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9d9a1af424a0c99e498d4871ba5390fc9b38637","datavalue":{"value":"0918.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236754$A7C670B8-A63B-4CA0-AF6E-9AAD8E5B0138","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c80263845a0b79f43389af559a7af3b72b64605e","datavalue":{"value":"10.1017/S0956796898002986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236754$CFF3DBE2-57C3-43AF-879F-9C27D867A9AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c50f42ac443d41828b557f6076f88056505c203d","datavalue":{"value":{"entity-type":"item","numeric-id":918955,"id":"Q918955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236754$CE5009F7-BA01-4427-8656-E5085C73A2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3834b4eeab4ea9897275a163b7967947d31e830c","datavalue":{"value":{"entity-type":"item","numeric-id":453521,"id":"Q453521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236754$20765346-3C66-45A9-8D07-EC2709F9A72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8646274cd2d18abc02b09c57eaa251851fc7b24d","datavalue":{"value":{"entity-type":"item","numeric-id":1680824,"id":"Q1680824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236754$51865D05-3789-4EAF-8AAD-46410DE2F4D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236754$460F26C0-C89F-45D7-A552-4B80E2D1611B","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":"Q4236754$E57E2AFB-5B05-4B08-9019-3AA0807CB0E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236754$B89BAEFB-6BF5-4D25-9C12-A841C7F17D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236754$5F6657A4-1AFA-425D-85E6-157BA0F31837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236754$4E5A8C02-6D57-411E-B179-97C5F75A36D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236754$2B1A51DC-96C9-4C3C-A00F-0B65939C10AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82b6dd733212da338b0bc48a8c65ce8c90dbc9e3","datavalue":{"value":"1270111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236754$3B33330E-489F-4EF5-8640-92C178696DE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65a1a56f65b0b16f370e1bcd3c477c3aa2ab22b6","datavalue":{"value":"weak \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236754$8BFDDDFE-7E5B-4D70-8DD6-DEF165D5B989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778b9a6d5f8bfb04971fe8e49b5ea24abf2eaf7e","datavalue":{"value":"functional compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236754$EEF22C2D-BF10-4248-9051-796869DDF595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e6d667ade9f0d8246c0c6bef3b60f45f84d6d12","datavalue":{"value":"runtime systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236754$1322FD7B-B06D-4D6C-86C0-812AFDC62E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236754$414562E6-5D4A-418B-9D6E-8193687441C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1974a43c2877af8af733b505265e5669426e2da","datavalue":{"value":"Krivine machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236754$CF4DD274-BF44-4AB2-99EC-08B4B2E6FAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f561de41ea3fd49b5cef2fdefbf79d3f9ec50f7","datavalue":{"value":"SECD","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236754$4D11EB84-66A7-4FE7-905F-D07A3CE753D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fde66865586f5d24d3d0a8d8b418309a8cb3c3aa","datavalue":{"value":"FAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236754$57A0AAFB-67DC-48B0-A626-A73B9DF2D795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f99562ba668f25d642ad630f7ad7c1f06addb0d","datavalue":{"value":"CAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236754$0C4E5DFD-8AA8-493D-8479-4FDBC17E9365","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":"Q4236754$029A5200-3D23-4A05-9C41-0E61021EDFEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a801c283cad107e7cc6afd2a6360393aee37ade","datavalue":{"value":"https://doi.org/10.1017/s0956796898002986","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236754$6CCD189C-8C07-4C48-8824-CC81F6B076DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55b7f42e25d7074469c0f300d7429d6894e1e5dc","datavalue":{"value":"W2160740215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236754$988CBBE5-85AD-40A2-A23D-9DE845D751D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9dcc6ecbbcb1b6c503b1ff4e2ede75be7f09c1","datavalue":{"value":{"entity-type":"item","numeric-id":2817681,"id":"Q2817681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12429c59f50813b76da072663ce79eba5bc81f93","datavalue":{"value":{"amount":"+0.9521971940994264","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":"Q4236754$E8375E2D-B492-47AC-AD25-722E4482F426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1381ba5e65d72f963524301b06e5959f3d3eac3c","datavalue":{"value":{"entity-type":"item","numeric-id":3395095,"id":"Q3395095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad4b45d59dccfc0b7dc7e456f8377d7547c01fa","datavalue":{"value":{"amount":"+0.750666618347168","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":"Q4236754$C6A13188-5D48-4681-A21D-50C582BD0ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b1973fafec7c0e225e4714033791428782b18d","datavalue":{"value":{"entity-type":"item","numeric-id":2464715,"id":"Q2464715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3bb97885d1e605ea663e1b64c7975f8a317c3f","datavalue":{"value":{"amount":"+0.7477104663848877","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":"Q4236754$9E9C544F-E528-4A29-AA2B-CDB3D79F73B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"753995a7591fdc07125446e04545c9e631973be2","datavalue":{"value":{"entity-type":"item","numeric-id":4474853,"id":"Q4474853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccfabe0d36a659f7d2f6831c7eca28fa8ea0d0f","datavalue":{"value":{"amount":"+0.7427821159362793","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":"Q4236754$E72E0DEB-7F8B-4D28-B5A2-A3E279070EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b55c1e018dcc7d1fbd95aeb639eefcb65f04b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2785671,"id":"Q2785671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee41c8e12664c77d496cbfd899ec84447984e37d","datavalue":{"value":{"amount":"+0.7392416596412659","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":"Q4236754$0976C1EF-D9DE-4369-81D9-D803DDE2DB34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236754"}}}}}