Errata to ``75 problems for testing automatic theorem provers''
type: Item
instance of: scholarly article
title: Errata to ``75 problems for testing automatic theorem provers''
zbMATH Open document ID: 0642.68148
author: Francis Jeffry Pelletier
published in: Journal of Automated Reasoning
publication date: 1988-01-01T00:00:00Z
review text: Errata concerned with ibid. 2, 191-216 (1986; see the preceding review).
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 4047176
zbMATH Keywords: automatic theorem proving
MaRDI profile type: Publication
Recommended article: Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic''
Recommended article: Q3216155
Recommended article: Erratum to: Proving properties of Pascal programs in MIZAR 2
Recommended article: Erratum: ``Verification by augmented finitary abstraction''
Recommended article: Q3571252
Recommended article: Q3781732
Recommended article: Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM
Recommended article: Q3034850
Recommended article: Q3709920
description: scientific article; zbMATH DE number 4047176