{"entities":{"Q2482841":{"pageid":2493584,"ns":120,"title":"Item:Q2482841","lastrevid":50342876,"modified":"2026-01-13T20:53:32Z","type":"item","id":"Q2482841","labels":{"en":{"language":"en","value":"Strong normalization of classical natural deduction with disjunctions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267333"}},"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":"Q2482841$7D875EBD-B21A-46C9-9B56-100C3D5443E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d246ca6868aa934e728cf2472da83107bd97c8a5","datavalue":{"value":{"text":"Strong normalization of classical natural deduction with disjunctions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2482841$E7BFE30A-89AB-4874-931C-509C14F40691","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5404b9559115783f7da64df4473b888082e1353b","datavalue":{"value":"1141.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482841$F929C236-44FE-4619-A4EB-3A3AF3D63BA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3bbd3187d950ecd141481b362fa15a71f8566a6","datavalue":{"value":{"entity-type":"item","numeric-id":514510,"id":"Q514510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$F11502A1-6F17-441C-8F45-421578627386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$8C1BADF3-E328-40AD-A439-A83B661FE9B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$3FAEBF87-3CCC-4362-8792-F149175822D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2482841$3C8BB154-934F-4BC3-A1A6-5F292FACEFC3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"235b6755e28091e03a8f777c2f26569aa9bfb19a","datavalue":{"value":"In \\(\\lambda\\mu\\)-calculus, a vacuous \\(\\mu\\)-term, namely \\(\\mu aM\\) with no occurrence of \\(a\\) in \\(M\\), causes trouble, which the authors call erasing-continuation, in connexion with CPS-translation. (`CPS' is for `continuation passing style'.) This difficulty was overlooked by \\textit{P. de Groote} in his article [``Strong normalization of classical natural deduction with disjunction'', Lect. Notes Comput. Sci. 2044, 182--196 (2001; Zbl 0981.03027)], and so his proof of strong normalization is incomplete. To overcome the difficulty, the authors use the device of augmentations which they introduced in a previous paper [J. Symb. Log. 68, No. 3, 851--859 (2003); Corrigendum ibid. 68, No. 4, 1415--1416 (2003; Zbl 1058.03060)]. To a term \\(M\\), a set, \\(\\text{Aug}(M)\\), of non-vacuous terms are associated in such a way that any reduction of \\(M\\) is simulated by terms in \\(\\text{Aug}(M)\\) while avoiding erasure of continuation. Thus, in this paper, the authors complete a proof of strong normalization of the \\(\\lambda\\mu\\)-calculus with \\(\\rightarrow\\), \\(\\wedge\\), \\(\\vee\\), and \\(\\perp\\). They extend the strong normalization proof to the calculus that incorporates general elimination rules of \\textit{J. von Plato} [Arch. Math. Logic 40, No. 7, 541--567 (2001; Zbl 1021.03050)]. \\{The authors' citation `Annals of\\hbox{\\dots'} is in error.\\} This calculus allows permutative conversions and thus provides the sub-formula property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482841$326D39DD-EFEC-47D4-8854-91120841AE1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482841$C0A4A349-4017-46C5-A4E5-80A4F5F928B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482841$878AD9CF-377B-4FCE-8730-A8FF85E7A82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482841$C1708B4B-F4C7-4B79-B1FD-237327DCB493","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a1a6d755ab6da404f6f5c96831da02470d05d4e","datavalue":{"value":"5267333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482841$3C85DF77-BC0A-4C7E-BEDB-FEF0E45A34C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9070650248892f99e4132bfd1d0fef05fd7f6d2e","datavalue":{"value":"\\(\\lambda\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482841$C99AB339-5202-4DF1-810B-6C0E891F62EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482841$1A5A9A90-09E3-49B2-B39F-319C5CDDFDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7547b0f63b18775f2a3e5101db1500e9847e1299","datavalue":{"value":"CPS-translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482841$967FA6E7-8F1D-4B58-AE0F-AD1211116CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ef24373f277ac433ba2209e705312530f7e9d73","datavalue":{"value":"general elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482841$8955EBFC-4846-4C7F-9408-1EAD82576086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ee02f0ddc510a82630d2121cf8d03915cbee3f","datavalue":{"value":"permutative conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482841$B9DC4EF9-C5EC-4ADC-9BF4-2A4E34413DDA","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":"Q2482841$976E08D0-C0F6-4DDC-8A61-B09238F45813","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08ab5379bfd46ce8a4827fb68bb32c0751689070","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2482841$30DD1907-3391-42CB-8F62-298C93F994F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b29f8cc22d5f1a7b1acf66a5fc70a76ed92f634","datavalue":{"value":"W2043498337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482841$FC7BB621-EA34-487F-984E-BB2E09BBAD94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"115adf875681b76e6e24dffcf58a246bfd7b0a90","datavalue":{"value":{"entity-type":"item","numeric-id":1861541,"id":"Q1861541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$68B53E1D-0E8E-4349-94D8-993BD754A51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$CB7D24DA-6983-49BD-A187-4E87DE91C71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ceeb9d1d61c6f5a256858dc451469f1b7db716","datavalue":{"value":{"entity-type":"item","numeric-id":4650284,"id":"Q4650284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$D34B1FEB-07A9-489A-9D72-B3DFCC40E37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7dc71408bfc822fcfb26590a9ac4a240325ab9b","datavalue":{"value":{"entity-type":"item","numeric-id":3024836,"id":"Q3024836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$6184D755-6054-491B-9763-12C48E60C2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0188d0b062ce233e0f9cf2a92159d09920bb3a55","datavalue":{"value":{"entity-type":"item","numeric-id":2778822,"id":"Q2778822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$2EB469BD-6033-44DC-9466-FB648D9266A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c43b5305804b9a8d81c8c472c25b8921246913","datavalue":{"value":{"entity-type":"item","numeric-id":1400711,"id":"Q1400711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$18FF56F6-0FA7-4D11-AD41-0740DB1C0E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89ddbcbedbc2944384a44feb02b02519cd3b018","datavalue":{"value":{"entity-type":"item","numeric-id":2729625,"id":"Q2729625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$C465CCC2-055D-459C-B55F-50FA62C326AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff5899cb10d4648638b85deb045e4421cf26463","datavalue":{"value":{"entity-type":"item","numeric-id":2723897,"id":"Q2723897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$8F9FD266-D6DF-4795-9D06-D1EAAABCBB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$BB530DBD-E64C-4C03-9CD8-0EDE6AA06C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051cb109d2e734f1f5bae25265486cd60ce9810f","datavalue":{"value":{"entity-type":"item","numeric-id":5477358,"id":"Q5477358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$8A3CA3BF-BE66-4B1E-B5C0-F4A777A1123D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd017d35f44f14a51ba00ad5bb8a601ffea5446","datavalue":{"value":{"entity-type":"item","numeric-id":1772778,"id":"Q1772778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$9A982706-B2B3-4841-91A4-32AF53F88E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8586193e198456c5636e9dc32629cae648e642bd","datavalue":{"value":{"entity-type":"item","numeric-id":4650260,"id":"Q4650260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$8495318D-EFB1-4A97-B0CA-96E0978E088B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12fe15b5512bcfef952a27d5040d116dcd6d788","datavalue":{"value":{"entity-type":"item","numeric-id":3612641,"id":"Q3612641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$A1A5F9ED-F906-449D-A353-F42F5FCA1F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a3c34acdb0c6e70dbc14ab49bf7dd099b73494","datavalue":{"value":{"entity-type":"item","numeric-id":2851691,"id":"Q2851691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$A49BC1CD-F7F2-4FEC-9BC1-0E3362F059E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8efeef83979b8964ebfc0e774e06e698c31492","datavalue":{"value":{"entity-type":"item","numeric-id":2766791,"id":"Q2766791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$F247F241-BEFA-4162-82F2-B385B401B51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$2CCD0F42-C85C-4A4A-857E-50555B18A360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$FBD4AE28-7042-4C0F-B238-B4CD50CDE3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$AA287CA7-8102-4540-9617-9CCB434D659D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f2560e85cad46ef92a12be10d89f82dad85618","datavalue":{"value":{"entity-type":"item","numeric-id":2566069,"id":"Q2566069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$EDF69BDC-63DD-4CFE-AD7F-E6B51E00F6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$593CC6AE-7506-4E1B-B7DB-CE40D797BF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3f2bf5bdd0157f237b95c3e33b17ccd52822b8","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$AB7654BE-BB5C-4EA3-8040-918B6E078C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"752dd771413e9922488baa62aa1726ab48dfe085","datavalue":{"value":{"entity-type":"item","numeric-id":1881230,"id":"Q1881230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482841$2824784F-9F4E-4039-9868-7AA87130B407","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92ecc76dbfe83d8cdf473dbaa8734c909d50c487","datavalue":{"value":"10.1016/J.APAL.2008.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482841$B07188D9-CA4D-4748-ADDA-A52937759CF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c09444982f9bd042910875767a1ad6a22df771f","datavalue":{"value":{"entity-type":"item","numeric-id":5015364,"id":"Q5015364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92eda59e984c83b34362ac29344eeaf3464c4fb9","datavalue":{"value":{"amount":"+0.8801649212837219","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":"Q2482841$6D7CC600-0571-4D24-9180-0DAF4747B9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"979744c10a372b30615f5d4ae26329d711b616f3","datavalue":{"value":{"entity-type":"item","numeric-id":636353,"id":"Q636353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58573f2fc0a4703c68703e3e5961b1cd5dc92262","datavalue":{"value":{"amount":"+0.875848650932312","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":"Q2482841$EA67C584-8999-422E-96B6-3E0821D8DA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fdcddadbf3da5f3e6fd0b5fb36d0f4b317eb3a","datavalue":{"value":{"entity-type":"item","numeric-id":818927,"id":"Q818927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa83f89c0d7dda56f8c84b032e4788b0ec515c44","datavalue":{"value":{"amount":"+0.8624554872512817","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":"Q2482841$729F7D3C-4A5E-4A3E-B0D5-E51004DC21D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ecf3b9dfd6a0e5496fe9d491fee29829fdc2de","datavalue":{"value":{"entity-type":"item","numeric-id":4650284,"id":"Q4650284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c540f8aa3da9716e0d2731eddc1c2cb060b9d2c1","datavalue":{"value":{"amount":"+0.8613048791885376","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":"Q2482841$BC2396D4-51E3-44BB-ABD0-1CECDED374D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00de8bd7c4dfcc5a8609632826389524b0a0e2be","datavalue":{"value":{"entity-type":"item","numeric-id":2566069,"id":"Q2566069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709c1d526048f1bcedb0467c3c8e3eb372d02b7b","datavalue":{"value":{"amount":"+0.8417565822601318","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":"Q2482841$6771FF95-0EA6-4D75-B99A-54CE4A122ED5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2482841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2482841"}}}}}