subformula

From Wiktionary, the free dictionary

Jump to navigation Jump to search

English[edit]

Etymology[edit]

sub- +‎ formula

Noun[edit]

subformula (plural subformulas or subformulae)

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

Holonyms[edit]

formula

Translations[edit]

formula that is a part of another one

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

Retrieved from "https://en.wiktionary.org/w/index.php?title=subformula&oldid=70937836"