subformula in Finnish
subformula in Finnish
alakaava
(logic) A formula that is part of another formula.
alikaava
(logic) A formula that is part of another formula.