{"version":"1.0","type":"link","title":"Two-variable logic - Newikis","description":"In mathematical logic and computer science, two-variable logic is the fragment of first-order logic where formulae can be written using only two different variables. This fragment is usually studied without function symbols.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}