Disambiguation evidence for Gentzen-style proof systems via surface form
"Gentzen-style proof systems"
Triples (1)
Triples where some other subject referred to this entity
as "Gentzen-style proof systems".
Gerhard Gentzen
→
knownFor
→
"Gentzen-style proof systems"
ⓘ
↳ resolves to Gentzen-style proof systems