{"version":"1.0","type":"link","title":"Sequent - Newikis","description":"In mathematical logic, a sequent is a very general kind of conditional assertion.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}