Skip to content
EntityQ376166· pop 11· linked from 40 articles

cut-elimination

Sign in to save

Also known as Cut-elimination theorem

theorem

Connections

Categories