Sequent depth refers to the complexity of a sequent calculus proof, specifically measuring the maximum number of antecedents in any sequent within the proof. It provides insight into the structure and depth of reasoning required to derive a conclusion from premises. Higher sequent depth can indicate more intricate relationships among premises, while a lower depth may suggest simpler derivations. Overall, it serves as a metric for evaluating the proof's intricacy.
12
12
Sequent Computer Systems was created in 1983.
The term "sequent" refers to something that follows in a sequence or order, often in a logical or mathematical context. A synonym for "sequent" is "subsequent," while an antonym is "precedent."
sequent-occupance
A Unix-based operating system from Sequent Computer that ran on its Symmetry series of x86 symmetric multiprocessing (SMP) servers. IBM acquired Sequent in 1999.
successive, consequent, next, sequent
Yes, you can suggest that it rhymes with frequent or anything else.
successive - sequential - running - sequent - serial
Following; succeeding; in continuance., Following as an effect; consequent., A follower., That which follows as a result; a sequence.
TACA
An example of sequent occupance is the transformation of a building in a historical district from a residence to a commercial space, and then to a museum over time. Each occupation leaves a mark on the building's architecture and function, reflecting the evolution of the community's needs and values.