On this page you'll find 2 example sentences with Tinelli. Discover how to use the word correctly in a sentence.
Tinelli in a sentence
Context around Tinelli
- Average sentence length in these examples: 19.5 words
- Position in the sentence: 0 start, 0 middle, 2 end
- Sentence types: 2 statements, 0 questions, 0 exclamations
Corpus analysis for Tinelli
- In this selection, "tinelli" usually appears near the end of the sentence. The average example has 19.5 words, and this corpus slice is mostly made up of statements.
- Around the word, barrett, cesare and 2014 stand out and add context to how "tinelli" is used.
- Recognizable usage signals include and cesare tinelli and king barrett tinelli 2014. That gives this page its own corpus information beyond isolated example sentences.
- By corpus frequency, "tinelli" sits close to words such as aabc, aacr and aacsb, which helps place it inside the broader word index.
Example types with tinelli
The same corpus examples are grouped by length and sentence type, making it easier to see the contexts in which the word appears:
The SMT-LIB Standard: Version 2.0, by Clark Barrett, Aaron Stump, and Cesare Tinelli. (15 words)
More recent Satisfiability Modulo Theories solvers use complete integer programming techniques to handle quantifier-free fragment of Presburger arithmetic theory (King, Barrett, Tinelli 2014). (24 words)
More recent Satisfiability Modulo Theories solvers use complete integer programming techniques to handle quantifier-free fragment of Presburger arithmetic theory (King, Barrett, Tinelli 2014). (24 words)
The SMT-LIB Standard: Version 2.0, by Clark Barrett, Aaron Stump, and Cesare Tinelli. (15 words)
Example sentences (2)
More recent Satisfiability Modulo Theories solvers use complete integer programming techniques to handle quantifier-free fragment of Presburger arithmetic theory (King, Barrett, Tinelli 2014).
The SMT-LIB Standard: Version 2.0, by Clark Barrett, Aaron Stump, and Cesare Tinelli.