{"version":"1.0","type":"link","title":"Reduction strategy - Newikis","description":"In rewriting, a reduction strategy or rewriting strategy is a relation specifying a rewrite for each object or term, compatible with a given reduction relation. Some authors use the term to refer to an evaluation strategy.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}