# Formalization of the Algebra of Nominative Data in Mizar

> Research article (Annals of Computer Science and Information Systems, 2017) · cited 13× · AI/ML

**Wikidata**: [openalex:W2760607981](https://www.wikidata.org/wiki/openalex:W2760607981)  
**Source**: https://4ort.xyz/entity/formalization-of-the-algebra-of-nominative-data-in-mizar