{"version":"1.0","type":"link","title":"Abstract rewriting machine - Newikis","description":"The Abstract Rewriting Machine (ARM) is a virtual machine which implements term rewriting for minimal term rewriting systems.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}