{"version":"1.0","type":"link","title":"Branching quantifier - Newikis","description":"In logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}