{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6137846","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6137846","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q6137846","kernelVersion":"v1","immutable":true,"modified":"2026-03-18T18:22:02Z","fdo:hasComponent":[{"@id":"#fulltext","componentId":"fulltext","mediaType":"application/pdf"}]},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q6137846","name":"Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic","headline":"Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic","description":"scientific article; zbMATH DE number 7788995","url":"https://portal.mardi4nfdi.de/entity/Q6137846","datePublished":"2024-01-16","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q897927"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2786118"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.46298/LMCS-19(4:23)2023","url":"https://doi.org/10.46298/LMCS-19(4:23)2023"},"sameAs":["https://doi.org/10.46298/LMCS-19(4:23)2023"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q5408457"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2819700"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3460910"},{"@id":"https://portal.mardi4nfdi.de/entity/Q685430"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5111891"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2958373"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1623116"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4939690"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5178845"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2980972"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5111892"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2794671"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3586054"},{"@id":"https://portal.mardi4nfdi.de/entity/Q6124931"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2900255"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4936120"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5111304"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4281466"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4474834"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4836022"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5856410"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1342247"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5028444"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2828243"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5410667"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2943375"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2941754"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3584932"},{"@id":"https://portal.mardi4nfdi.de/entity/Q534698"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1401946"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2904629"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4635623"},{"@id":"https://portal.mardi4nfdi.de/entity/Q860836"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4494368"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2937686"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4444908"},{"@id":"https://portal.mardi4nfdi.de/entity/Q579249"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1271560"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1193854"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3608416"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3395095"},{"@id":"https://portal.mardi4nfdi.de/entity/Q876041"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1827397"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4650583"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3024846"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2866344"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1575882"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1342250"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2864502"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5897348"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3527292"},{"@id":"https://portal.mardi4nfdi.de/entity/Q476190"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1044837"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1185009"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1378432"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5747634"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3540177"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4414725"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5703851"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3644769"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5890063"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5168904"}]},"provenance":{"prov:generatedAtTime":"2026-03-18T18:22:02Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}