The AI-powered English dictionary
plural subformulas or subformulae
(logic) A formula that is part of another formula. examples