scientific article; zbMATH DE number 3337682

zbMath0213.02403MaRDI QIDQ5614672

John Alan Robinson

Publication date: 1969

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Mechanizing \(\omega\)-order type theory through unification ⋮ Current methods for proving program correctness