sequent

Hierarchy: 
Description: 
{{logic}} An element of a sequence, usually a sequence in which every entry is an axiom or can be inferred from previous elements.
Ngram: 
Ngram Text: 
sequent
Source: 
Wiktionary
Issue: 
0
Wiktionary tag: 
Ngram Count: 
1