{"version":"1.0","type":"link","title":"McCarthy 91 function - Newikis","description":"The McCarthy 91 function is a recursive function, defined by the computer scientist John McCarthy as a test case for formal verification within computer science.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}