# Implementation of the Composition-nominative Approach to Program Formalization in Mizar

> Research article (DOAJ (DOAJ: Directory of Open Access Journals), 2018) · cited 10× · AI/ML

**Wikidata**: [openalex:W2806298605](https://www.wikidata.org/wiki/openalex:W2806298605)  
**Source**: https://4ort.xyz/entity/implementation-of-the-composition-nominative-approach-to-program-formalization-in-mizar