{"@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/Q896904","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q896904","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q896904","kernelVersion":"v1","immutable":true,"modified":"2026-03-27T11:54:24Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q896904","name":"Termination of rewrite relations on \\(\\lambda\\)-terms based on Girard's notion of reducibility","headline":"Termination of rewrite relations on \\(\\lambda\\)-terms based on Girard's notion of reducibility","description":"scientific article; zbMATH DE number 6521245","url":"https://portal.mardi4nfdi.de/entity/Q896904","datePublished":"2015-12-15","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q235598"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q123643"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.TCS.2015.07.045","url":"https://doi.org/10.1016/J.TCS.2015.07.045"},"sameAs":["https://doi.org/10.1016/J.TCS.2015.07.045"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4659886"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4939690"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1978641"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5200015"},{"@id":"https://portal.mardi4nfdi.de/entity/Q801050"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4023900"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3183520"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4234771"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4463991"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4938611"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5958292"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3540166"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3196359"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3371149"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2723890"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4447247"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5901560"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4657751"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3608812"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5387887"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3644746"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4205074"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1176244"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1260047"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5565113"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1108266"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1349901"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2720293"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2720294"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5667469"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3857730"},{"@id":"https://portal.mardi4nfdi.de/entity/Q593789"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4385532"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3868730"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5055747"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1207945"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4222854"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5111904"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3922646"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4219036"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5625124"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5898167"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3262780"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3997237"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1328180"},{"@id":"https://portal.mardi4nfdi.de/entity/Q853743"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3908463"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5901559"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3816048"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3616447"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3336736"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1391729"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3527310"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3546327"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5581665"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3608416"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3356291"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3918095"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2740996"},{"@id":"https://portal.mardi4nfdi.de/entity/Q930865"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1314356"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4795875"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5881181"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4720069"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3985547"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1127334"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4382485"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1094421"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1235139"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3938536"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5044750"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5758042"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2535386"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1259590"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3395096"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5432350"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3682462"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5561939"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4093416"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5917605"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2653567"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4799892"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1107975"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2265415"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5765445"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5768086"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3856127"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3127078"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3452249"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1850960"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4847000"}]},"provenance":{"prov:generatedAtTime":"2026-03-27T11:54:24Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}