An automated prover for Zermelo-Fraenkel set theory in Theorema
From MaRDI portal
Publication:2457343
DOI10.1016/j.jsc.2005.04.013zbMath1125.68108OpenAlexW1988618194MaRDI QIDQ2457343
Publication date: 23 October 2007
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2005.04.013
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Using Theorema in the Formalization of Theoretical Economics ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
Uses Software
Cites Work
This page was built for publication: An automated prover for Zermelo-Fraenkel set theory in Theorema