Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem
From MaRDI portal
Publication:2845892
zbMATH Open1271.03008MaRDI QIDQ2845892FDOQ2845892
Publication date: 3 September 2013
Recommendations
- scientific article; zbMATH DE number 1975397
- On the mechanization of the proof of Hessenberg's theorem in coherent logic
- Some applications of Gentzen's proof theory in automated deduction
- From Schütte’s Formal Systems to Modern Automated Deduction
- Automated deduction in von Neumann-Bernays-Gödel set theory
- scientific article; zbMATH DE number 1341475
- On a connection between the word problem and decidability of the equational theory
- scientific article; zbMATH DE number 549074
- Hilbert programme and applied proof theory
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
This page was built for publication: Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2845892)
