{"entities":{"Q4704764":{"pageid":6734341,"ns":120,"title":"Item:Q4704764","lastrevid":46873587,"modified":"2025-12-25T18:32:53Z","type":"item","id":"Q4704764","labels":{"en":{"language":"en","value":"A semantics for lambda calculi with resources"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1369693"}},"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":"Q4704764$2F7108CB-EEF4-45FD-8511-5C98C0607B32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b75e869a2e7c39af1c1957516ad9c83fad91511","datavalue":{"value":{"text":"A semantics for lambda calculi with resources","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4704764$344D3F6F-6CDE-42E8-87BC-4DBCFB453B8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d037a8d7c6788199175bd3f6a4f83e3290c9f39","datavalue":{"value":"0935.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704764$9600C135-0DE7-4070-993B-E7F1C15E8F13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a235995a83182ba3ab95aa6cab7fae90bab277d","datavalue":{"value":"10.1017/S0960129599002893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704764$15B4541C-777D-4191-9BBF-B158D65CE831","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd217ce1412a85115d044de2c17df9698399a47","datavalue":{"value":{"entity-type":"item","numeric-id":685357,"id":"Q685357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704764$CA6D9486-C145-4733-95D0-23ABF6D48FEE","rank":"normal"},{"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":"Q4704764$AB486B3A-637D-466A-9083-33BEAF2A3A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68451847f9ae09f6214e1bf417d7e5aede766367","datavalue":{"value":{"entity-type":"item","numeric-id":4247264,"id":"Q4247264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704764$13523429-BB1B-45CC-BECB-E1CD593F34AA","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":"Q4704764$A7CDC47F-A837-4A97-9F25-D0248D9F5412","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7543152ecddaf21ed728b3008f8361c72e57a31","datavalue":{"value":{"time":"+2000-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4704764$A771B2DD-8655-4AD7-8785-285D52EAC23B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704764$4714019C-AC66-4B4A-B2A4-2DFB9FA13A4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f00d34da047b20847b239a1187351c48c379e03","datavalue":{"value":"1369693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704764$1415FF70-13A8-4D4F-83EB-A1DE999B40EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f4b1e139212717f508f5dda81340b4283dffa2","datavalue":{"value":"\\(\\lambda\\)-calculus with resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704764$18C2FF7A-2216-42D8-86D5-95376217C232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9722727afabd64b63539aa48f3b5109ffe031e99","datavalue":{"value":"convergence testing operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704764$504F91BE-9D87-440C-8B50-03F61775F888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0bd89d747dc1895e8621d4da683fce9657194cf","datavalue":{"value":"control on the substitution process","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704764$4F29A033-B693-4DCD-B188-8DC40C425161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecaeeab4e4e28087c0875bb73cc6106bd3ccc0a5","datavalue":{"value":"domain equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704764$09CE3694-3CA1-493F-9B06-5089198CB560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704764$2DA40B0A-5027-4BC0-BCC5-714B1169241F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704764$0A60EA5D-C27B-437F-AF0C-F69BF70A982B","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":"Q4704764$18A1946E-0B9B-407F-BC4D-46B021D87F67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"533b3bae285620a19c8fae8c442f70835acc7de9","datavalue":{"value":"https://doi.org/10.1017/s0960129599002893","type":"string"},"datatype":"url"},"type":"statement","id":"Q4704764$2D3F6A9F-D2DF-436D-AD83-841EFDB5BC52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11e52685641348daec02688d4dbddf562c7156cc","datavalue":{"value":"W2129432931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704764$4256C8B4-DD8A-4AA0-9C3F-D365B512FC4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45a22afc5a7a77f2420be3307cf556f18dfbc2e","datavalue":{"value":{"entity-type":"item","numeric-id":5878917,"id":"Q5878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"504696fbd014fcd855d5fba1ccb9dfbd48cdf3b8","datavalue":{"value":{"amount":"+0.8693452477455139","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":"Q4704764$B4EC0E0E-FBC8-49E9-9F0D-B6CEE42FB866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12708bcb4342e6b0b166aa5bad99249043ce5524","datavalue":{"value":{"entity-type":"item","numeric-id":2915676,"id":"Q2915676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0be5f0fd0cedf544388497b7355681bc83e578e","datavalue":{"value":{"amount":"+0.8300126194953918","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":"Q4704764$20B725B6-62A8-4FEB-ADCE-CF9DE885DAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2be875db78ecef208abb7753c6e52de23f070c6","datavalue":{"value":{"entity-type":"item","numeric-id":6162097,"id":"Q6162097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c38fe6fc29bfed051c70d6599f8cb157739243","datavalue":{"value":{"amount":"+0.8290266394615173","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":"Q4704764$5C5EF681-0145-4EC5-BE0C-55BFA5E83BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61f1043df0660b821c287adfab81436de44a8af","datavalue":{"value":{"entity-type":"item","numeric-id":4362931,"id":"Q4362931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32fc804c53fd62ec031ab9865c3b2a8e25d2aeda","datavalue":{"value":{"amount":"+0.8157413005828857","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":"Q4704764$09C7E14E-246B-4020-BF80-ED4CF9A1B4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d0a15e9e332dd2310f9c49933751f3ea39b3c7","datavalue":{"value":{"entity-type":"item","numeric-id":3166224,"id":"Q3166224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64a11cc939e760ddab8046a67a804a7fff319d4","datavalue":{"value":{"amount":"+0.813694417476654","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":"Q4704764$FED52D4F-EF45-449A-9622-D22B69854A41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4704764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4704764"}}}}}