{"version":"1.0","type":"link","title":"Ground expression - Newikis","description":"In mathematical logic, a ground term of a formal system is a term that does not contain any variables. Similarly, a ground formula is a formula that does not contain any variables.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}