Get to know Subformulae better with 2 real example sentences, the meaning.
Subformulae in a sentence
Subformulae meaning
plural of subformula
Using Subformulae
- The main meaning on this page is: plural of subformula
Context around Subformulae
- Average sentence length in these examples: 20.5 words
- Position in the sentence: 0 start, 0 middle, 2 end
- Sentence types: 2 statements, 0 questions, 0 exclamations
Corpus analysis for Subformulae
- In this selection, "subformulae" usually appears near the end of the sentence. The average example has 20.5 words, and this corpus slice is mostly made up of statements.
- Around the word, smaller stand out and add context to how "subformulae" is used.
- Recognizable usage signals include into smaller subformulae and of the subformulae. That gives this page its own corpus information beyond isolated example sentences.
- By corpus frequency, "subformulae" sits close to words such as aabc, aacr and aacsb, which helps place it inside the broader word index.
Example types with subformulae
The same corpus examples are grouped by length and sentence type, making it easier to see the contexts in which the word appears:
Then repeat this recursive deconstruction process to each of the subformulae. (11 words)
A decision procedure for determining whether a formula is well-formed goes as follows: "deconstruct" the formula by applying the Construction Rules backwards, thereby breaking the formula into smaller subformulae. (30 words)
A decision procedure for determining whether a formula is well-formed goes as follows: "deconstruct" the formula by applying the Construction Rules backwards, thereby breaking the formula into smaller subformulae. (30 words)
Then repeat this recursive deconstruction process to each of the subformulae. (11 words)
Example sentences (2)
A decision procedure for determining whether a formula is well-formed goes as follows: "deconstruct" the formula by applying the Construction Rules backwards, thereby breaking the formula into smaller subformulae.
Then repeat this recursive deconstruction process to each of the subformulae.