Semantics of Mizar as an Isabelle object logic

From MaRDI portal
Publication:2323445

DOI10.1007/s10817-018-9479-zzbMath1468.68290OpenAlexW2889093133WikidataQ108482110 ScholiaQ108482110MaRDI QIDQ2323445

Cezary Kaliszyk, Karol Pąk

Publication date: 2 September 2019

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-018-9479-z




Related Items (6)


Uses Software


Cites Work


This page was built for publication: Semantics of Mizar as an Isabelle object logic