Report copyright - Marie Duží [email protected] formula is in the theory decidable, i.e., the theory proves either the formula or its negation, which means that all the formulas true in the intended
Please pass captcha verification before submit form