Q4263166
type: Item
instance of: scholarly article
zbMATH Open document ID: 0937.03015
publication date: 2000-06-13T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1341617
zbMATH Keywords: stability
zbMATH Keywords: verification
zbMATH Keywords: reflection
zbMATH Keywords: theorem proving
author: Sergei Artemov
MaRDI profile type: MaRDI publication profile
Recommended article: Q3024916
Recommended article: Self-verifying axiom systems, the incompleteness theorem and related reflection principles
Recommended article: Proof-Producing Reflection for HOL
Recommended article: Q4842534
Recommended article: The Reflective Milawa Theorem Prover Is Sound
description: scientific article; zbMATH DE number 1341617