{"entities":{"Q631753":{"pageid":633601,"ns":120,"title":"Item:Q631753","lastrevid":63111966,"modified":"2026-04-11T10:40:03Z","type":"item","id":"Q631753","labels":{"en":{"language":"en","value":"Constructive semantics for instantaneous reactions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5865583"}},"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":"Q631753$C442F681-6304-48DA-B472-A69B2190ECD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fe400c3c7da095cb7a22f36ae664c8bb29055b8","datavalue":{"value":{"text":"Constructive semantics for instantaneous reactions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631753$40CE91D4-E401-44A1-8F05-ED23601E0B9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d7704a3fce44779272d4e17b3a5acf788707cf9","datavalue":{"value":"1207.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631753$A4DBA370-1215-4017-842B-9EFB9817328D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5df9fc7d0550119a1d93fd411470833995ab03e9","datavalue":{"value":{"entity-type":"item","numeric-id":631752,"id":"Q631752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$34358CA8-DA9F-4ED1-8CEF-49B381CD1DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$EF791AAD-59DF-4372-80F9-D112D9BD1A05","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":"Q631753$41AB2AA7-FBB9-4FAD-8F1F-645250B63195","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f05c15c599566c03aa1303bff626bf49bc05676","datavalue":{"value":{"time":"+2011-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q631753$C889AE00-00EF-4A62-A037-DE2BB6A812F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631753$C4E781C2-D22C-402B-BF4F-E1871C73E338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631753$85D56587-6A14-4096-8520-14C4DFD71215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631753$99EF248A-7CD0-40FB-B522-716729C5DFDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dda477e11ea8dd7db100adb5d8f9cf32c0d7505f","datavalue":{"value":"5865583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631753$95960BA2-26DD-44CD-9220-08F82CEC66DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb162c196a3357547697a42a48b523e2788d32f","datavalue":{"value":"constructive semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q631753$846D5695-0930-4D4F-8C5D-6BC0AF431F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2614c623151aabbc9a890ff297b9706ea0784ef","datavalue":{"value":"synchronous languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q631753$3623C71B-529D-44D3-95A3-8FA1F43E8CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffd754f3936c94919254083ee2325a6ad152cf9d","datavalue":{"value":"maze game","type":"string"},"datatype":"string"},"type":"statement","id":"Q631753$A09953B7-261D-48CB-9A12-FF71C7E34E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b4b081f2a1f07be976826f43c103f76b5a29dcb","datavalue":{"value":"Statecharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q631753$ADA92ABC-26C7-4C41-B6E1-73187F2AC0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee4ef6bb55219b1492603620068d8a307a5edee7","datavalue":{"value":"Esterel","type":"string"},"datatype":"string"},"type":"statement","id":"Q631753$1FCC52AB-B50A-4574-8FFA-EA22D4263BCB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b00f9b75451792f63c6cdd7a46c59857d66382a4","datavalue":{"value":{"entity-type":"item","numeric-id":34659,"id":"Q34659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$EF9C9499-5547-42B5-B6EE-0A3BEEB498A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$65503ACD-5CBF-4AB6-8118-5B25F9F72CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28ccc37db0f0a3223b380e7a88fe8bd0020cc227","datavalue":{"value":{"entity-type":"item","numeric-id":14335,"id":"Q14335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$0002B094-04E9-4E18-A765-A2401647ABCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"422bfa190ccd9f0a1e60fd85267772495a12f889","datavalue":{"value":{"entity-type":"item","numeric-id":20973,"id":"Q20973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$414E2F7C-E61F-46DE-A20D-2AD2A2C27FA7","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":"Q631753$8CDE3171-12E9-49E1-910B-92A4C9B81442","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17200d3a3c3da82801edcc4081e63205cd2da259","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.09.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q631753$7EF2FC1F-564D-46E6-A202-A0194A4CB38A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6e3ea6efa5ae008200c2428363442e4986ec367","datavalue":{"value":"W2019707334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631753$604391C5-3987-42E4-9EA1-8E0829B93271","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$9C73E6EA-7163-4FAC-9956-376C2304E8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$22CE4468-3988-470C-B5D0-407C1F845EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$CC19F9B4-885B-491A-9436-35E948D02ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b369a81af4c62721333eef666adb1eccb4713b7","datavalue":{"value":{"entity-type":"item","numeric-id":5308701,"id":"Q5308701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$5159E2A2-51F4-4857-B2EA-F7651625D0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636c6e298e946a12286cca69c377fdc40d027e7d","datavalue":{"value":{"entity-type":"item","numeric-id":3971259,"id":"Q3971259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$34390349-C132-4BEE-B1C5-4C1BA86AFA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0e24fd9d86567ce3482ecbed81b082643d345b","datavalue":{"value":{"entity-type":"item","numeric-id":4439564,"id":"Q4439564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$E0B2A015-7A85-459C-A6B1-D422F08D5B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$14389B85-092A-4CA0-97D7-D6A1521F1EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df3bbf76d1cf56d734b855affe040b343b8dfdb","datavalue":{"value":{"entity-type":"item","numeric-id":5342140,"id":"Q5342140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$C07B0619-A8E4-4960-9352-3C58525BE53C","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":"Q631753$0FE1E969-9BF1-4213-9F6E-735F42605AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$471632ED-91A0-42EB-930D-014B991FCCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7daeb403dc6eb02b2b3d98538b63790ac31827c","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$3DD91F19-7647-4A5A-9E68-0DC4A9F244E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b407c1db27f4fbab214a00dacb554c06694941d","datavalue":{"value":{"entity-type":"item","numeric-id":3792222,"id":"Q3792222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$55765898-8839-42F7-8DA0-081B45D5A274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$62849C0D-42C8-49E6-AF46-9D3F27793060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$EF7873D7-D176-4DE9-AF1B-C76021B36FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$3AE3F105-5882-438D-AD3C-BAE3A98499F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1b562559ef2ee2c2b871470a936681bc761745","datavalue":{"value":{"entity-type":"item","numeric-id":5738950,"id":"Q5738950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$9C66A1D6-E527-4E43-9DAD-C27E935B5771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9ee99b035ff48a1637fcdd4accf9c4b3700553","datavalue":{"value":{"entity-type":"item","numeric-id":453539,"id":"Q453539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$E4119200-932B-4EBB-9C06-40815A374B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe3c0282ca08e17e502d48783c1032c53cc1aff","datavalue":{"value":{"entity-type":"item","numeric-id":6162113,"id":"Q6162113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$278A24A6-10A2-4CFC-93F7-BE3AF2D44763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28ecabde8f5d0b90df596cdd1697be80853d9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5096220,"id":"Q5096220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$4DAA6FDC-3B46-48B6-A1B8-48CFDC52CF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa7b0d8cda6e0f253d24cbea7d7cba06e5f73188","datavalue":{"value":{"entity-type":"item","numeric-id":4490130,"id":"Q4490130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$C63F7D66-E1FB-4CFA-B1DA-EF1B6DB09603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd0c1616bf7eb37cc968ae34d9e99e203f4897","datavalue":{"value":{"entity-type":"item","numeric-id":4010369,"id":"Q4010369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$C44D4FC6-48EE-4239-9A3D-A23A89FD3D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$5B111201-34A4-44BB-A487-8899683B6DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631753$99B068DA-A9FE-4C45-BCB8-3BB34255C729","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b892b5a8d8a4319eadc1ba67e79d9c3a20162ae","datavalue":{"value":"10.1016/J.TCS.2010.09.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631753$1833116A-B90B-4104-980D-D7AEACC7EB79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be8626e8a8ee245a4478e01c2843760b38e1e67","datavalue":{"value":{"entity-type":"item","numeric-id":4484500,"id":"Q4484500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d25d630d889d76cfee65be17113f668d5c767d","datavalue":{"value":{"amount":"+0.7581549286842346","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":"Q631753$91007C9F-B5C6-444A-9BEC-7E682F1D6B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac2cac58860568b64d29a94246bb5f3740bf378","datavalue":{"value":{"entity-type":"item","numeric-id":2848132,"id":"Q2848132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9770bb807af7e8bbfd5316700fe61fd02aa2450f","datavalue":{"value":{"amount":"+0.7508293390274048","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":"Q631753$9B75A3B7-5E86-4B2D-9EC1-80B7564E6459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9e215d608668671a9ebe2575495bf60687aa75","datavalue":{"value":{"entity-type":"item","numeric-id":3587261,"id":"Q3587261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74982e8b97fe8143ad06cce44516b1c7259a2df","datavalue":{"value":{"amount":"+0.7429409027099609","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":"Q631753$715DD8BB-E7FB-450A-89B0-BB586AFBA32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6a0fc09082be7dd7c0908e5f84f3cc1cbaa176","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc3e11013674eeef32c3d6fca08cbbf4509c1463","datavalue":{"value":{"amount":"+0.7311071753501892","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":"Q631753$F32CA256-B2F3-46A2-AD26-FC328992E710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76530f8d8e6ca5784896fdbdd213f7c4e083b70","datavalue":{"value":{"entity-type":"item","numeric-id":5958617,"id":"Q5958617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba37770208d9db13fd8e5726d2bb19d382c49ba","datavalue":{"value":{"amount":"+0.7289993166923523","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":"Q631753$73AD4720-56D7-405E-B58F-9E3E735A8CA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive semantics for instantaneous reactions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_semantics_for_instantaneous_reactions"}}}}}