Disambiguation evidence for sequent calculus via surface form
"sequent calculus"
Triples (1)
Triples where some other subject referred to this entity
as "sequent calculus".
Disambiguation evidence for sequent calculus via surface form
Triples where some other subject referred to this entity
as "sequent calculus".