{"entities":{"Q860836":{"pageid":862684,"ns":120,"title":"Item:Q860836","lastrevid":64899645,"modified":"2026-04-11T22:58:25Z","type":"item","id":"Q860836","labels":{"en":{"language":"en","value":"Differential interaction nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083493"}},"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":"Q860836$D5CD099F-7CB5-4AEF-9267-FCFC8222508D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e70d2e3d9b2c4d1d8463d95a090701efb53499c","datavalue":{"value":{"text":"Differential interaction nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860836$D3F92C0C-8D43-48E6-87CD-A9CB93BC3EB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a67a066095a35a0f260acc6dc9d303a85eb80d28","datavalue":{"value":"1113.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860836$DC6BF059-112B-45B1-B33D-6F1BB6AF9C1D","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":"Q860836$CC3295CD-61F1-482F-99DC-8F4E3567EC90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-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":"Q860836$16CE1BF3-66D2-40C0-A1F6-F9BEA7993F89","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3be2a183475d384aa65616ea7796996421de5f9","datavalue":{"value":"Differential interaction nets, introduced in this paper, arise naturally as a graphical though formal presentation of commutations satisfied by morphisms associated to modalities of linear logic. Using these nets, the authors provide a linear logic account for their earlier extension of lambda-calculus with differentiation, see [\\textit{T. Ehrhard} and \\textit{L. Regnier}, ``The differential lambda-calculus'', Theor. Comput. Sci. 309, No.~1--3, 1--41 (2003; Zbl 1070.68020)]. The authors also furnish a criterion for their net to be a correct differential net and prove this criterion to be preserved under reduction. They also show that correct nets are strongly normalizable.   As the authors remark, differential nets can be viewed as a nondeterministic extension of multiplicative proof nets of linear logic, with certain exponential operations allowing several ``agents'' to communicate in a common ``broadcast area''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q860836$58AB4ABA-F97E-46A7-8BAF-DFE331ACC672","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c634a7a610dc4a60ec0b802b8dd89a79b8a3056","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$21BFAC58-3D1E-4151-AE33-D6F55CFB0763","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860836$E1AC9909-5A8E-4A8E-822F-5A8EA13A7EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860836$AF24098F-5B58-4C9D-A2AB-A4EB027D9C46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dec6a59001cd42ecbf52dc7b73e52b871ed708c6","datavalue":{"value":"5083493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860836$DAA018A5-66F1-48CF-A79B-6BEC36E5A46C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q860836$E519F38D-4030-483D-A545-84608613D690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q860836$5D9B4FF5-7B42-4042-B020-C75A3CB6FD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acad6d49f2182ebcc1bd131270b8e4da89bcd1f6","datavalue":{"value":"differential lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q860836$0DCC2A83-5A46-4195-878F-A5DAAD8DA831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6218c9d0ca3f3b990a828bc3481a200f47070161","datavalue":{"value":"interaction net","type":"string"},"datatype":"string"},"type":"statement","id":"Q860836$AE4C7688-7373-4033-815A-E2050B2F9643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb3645857de6dc0c9df78ac97f97fed006ed964","datavalue":{"value":"resource lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q860836$15203690-AA9A-482E-B18E-A84CB08180CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9446370396a3510e055104585a50b2c294baa5","datavalue":{"value":"lambda-calculus with multiplicities","type":"string"},"datatype":"string"},"type":"statement","id":"Q860836$159DF3E3-3A53-4374-BF6A-09D2261AC01B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$42FE5CD0-6FA6-4EA4-B41B-E3B33DCB6586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49e3c8845ab642f2985e3636263f72c45eb25d5e","datavalue":{"value":{"entity-type":"item","numeric-id":944385,"id":"Q944385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$A8A4579C-C574-4F55-AE70-E0B0952FCC9A","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":"Q860836$CE1D4792-A322-40AB-BD72-03A1818D3FAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9109a2fc9e48fcacaf83897ba92e81873e51a34f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q860836$2EE9418C-1A15-4770-B782-A413B4C3D04A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28edb1149eef15073091d5e1f793c2bc8bf8939d","datavalue":{"value":"W2093561140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860836$AB16E268-C7CB-493A-AE04-BCB7869F8FCD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f01b06158b4e07cc4d9582e13d059ba9b0706f","datavalue":{"value":{"entity-type":"item","numeric-id":3419787,"id":"Q3419787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$6F339D93-DD0F-457F-9B45-DD3D857E58F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07f14b62efd715b711839cc90b635e634470777","datavalue":{"value":{"entity-type":"item","numeric-id":4704764,"id":"Q4704764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$2B5163EE-7E00-4441-9550-D1038CEBBDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8676817bf4cf63d9b15b510894742b7c46fc0cc","datavalue":{"value":{"entity-type":"item","numeric-id":5897364,"id":"Q5897364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$18A6A16A-D363-488E-8FD1-CBECB0BB059A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$8945509F-3569-4EF5-AB9F-B9040B1A09A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8942ca8af4693b2a95bafc41ae23d115582ec56","datavalue":{"value":{"entity-type":"item","numeric-id":4792972,"id":"Q4792972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$EEBC2B70-1B24-402A-A9DF-0E6021A020A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$9C170278-6B5A-4D53-BE1F-3BF9C148749F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$E0F34DC8-851A-4856-8F66-19669D9763F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$B46B44E6-F7E6-4C6A-8A5F-21D90B3EC9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$D34EC18C-AD20-405D-81A7-A9E85A313751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$93A613B6-4CCD-4274-AC2A-D3AC6E6ED600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211633feba60e3b5d86f54253f1def7897daadb4","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$8628EFC0-BE69-48DA-A60D-BCEF901C79FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$1D9628F0-9842-42CF-9322-9D93FF4B9C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$A00B973C-A2DD-4756-9F4F-153F421F8363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865b75cced7ee435c9dfb2ebd9223962b3c16bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2373711,"id":"Q2373711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860836$DADC9529-DE06-4AC5-A59A-44B70C10ABAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a08c23413d0ca699f340a7b7f1cefa273971336","datavalue":{"value":"10.1016/J.TCS.2006.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860836$921F674E-53D1-4DF6-BDBA-AEC25C017A14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6990434b41fdca93f3852fee03bb7b413f380b45","datavalue":{"value":{"entity-type":"item","numeric-id":534707,"id":"Q534707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8af65fdf68d9211e512ec71d7596f715cf366a","datavalue":{"value":{"amount":"+0.8442545533180237","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":"Q860836$614C9AAE-E409-46C9-9388-83527D14F5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c068a52ba499359ac5068d4912469a97fa816a56","datavalue":{"value":{"entity-type":"item","numeric-id":2958530,"id":"Q2958530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0099e421fefbb52de25a0aff9757e24279fb1b","datavalue":{"value":{"amount":"+0.8109898567199707","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":"Q860836$4302331E-6005-4FD3-87FC-00673A284A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab10b24be216a05f8c083b458a26eb416822e18","datavalue":{"value":{"entity-type":"item","numeric-id":3498483,"id":"Q3498483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3225565b07ed14a9ca04c4d4c2c9520414a3ae86","datavalue":{"value":{"amount":"+0.8095235228538513","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":"Q860836$811BD3C7-857E-4325-8988-B50CE90A4644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e00492223d8a74fdffca3bd01a0982fa7c35cf","datavalue":{"value":{"entity-type":"item","numeric-id":1583245,"id":"Q1583245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a995340b287361c9fa76e6a28f537879403f5a0c","datavalue":{"value":{"amount":"+0.7983880639076233","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":"Q860836$29E203D6-10B7-4980-90FA-F3097142E254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be5c69fd1d601847426f9cbc639f0d595f77f8a","datavalue":{"value":{"entity-type":"item","numeric-id":409321,"id":"Q409321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc108df0d141e8b4c89285c6eadfd5b96220afce","datavalue":{"value":{"amount":"+0.7887954711914062","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":"Q860836$797D0EB6-6F47-4377-8A1A-A698F3EC9788","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Differential interaction nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Differential_interaction_nets"}}}}}