How to avoid the formal verification of a theorem prover

DOI10.1093/JIGPAL/9.1.1zbMath0970.68158OpenAlexW2094976963MaRDI QIDQ2708306

Alessandro Avellone, Ugo Moscato, Marco Benini

Publication date: 17 April 2001

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/11cf51412aaa6745fb7869e37c22fd308f841e33

zbMATH Keywords

theorem provertableau-based theorem prover

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication: How to avoid the formal verification of a theorem prover