cs podformule (n)
― RelatedTo ⟶
Weight: 1.0
en subformula Source: English Wiktionary
en axiom scheme (n)
― RelatedTo ⟶
Weight: 1.0
en subformula Source: English Wiktionary
en axiom schema (n)
― RelatedTo ⟶
Weight: 1.0
en subformula Source: English Wiktionary
en schema (n)
― RelatedTo ⟶
Weight: 1.0
en subformula Source: English Wiktionary
en subformula (n)
― RelatedTo ⟶
Weight: 1.0
en formula Source: English Wiktionary