Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem
type: Item
instance of: scholarly article
zbMATH Open document ID: 1271.03008
publication date: 2013-09-03T00:00:00Z
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6204080
author: Martin Davis
MaRDI profile type: Publication
Recommended article: Q4424640
Recommended article: On the mechanization of the proof of Hessenberg's theorem in coherent logic
Recommended article: Some applications of Gentzen's proof theory in automated deduction
Recommended article: From Schütte’s Formal Systems to Modern Automated Deduction
Recommended article: Automated deduction in von Neumann-Bernays-Gödel set theory
Recommended article: Q4263014
Recommended article: On a connection between the word problem and decidability of the equational theory
Recommended article: Q4286882
Recommended article: Q3018989
title: Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem
description: scientific article; zbMATH DE number 6204080