subformula

English

Etymology

From sub- +‎ formula.

Noun

subformula (plural subformulas or subformulae)

1. (logic) A formula that is part of another formula.

Holonyms

• formula

Translations

formula that is a part of another one

• Czech: podformule f
• Finnish: alikaava, alakaava
• German: Teilformel f
• Polish: podformuła f