scientific article; zbMATH DE number 7699428

DOI10.4230/LIPICS.ITP.2021.11MaRDI QIDQ6157253zbMATH OpenFDO

Authors Czesław Byliński, Artur Korniłowicz, Adam Naumowicz

Publication date 20 June 2023

Full work available at URL https://doi.org/10.4230/LIPICS.ITP.2021.11

zbMATH Keywords

mathematical knowledge representationMizar systemXML representation

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6157253)