# The Definitional Side of the Forcing

> Research article (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016) · cited 19× · AI/ML

**Wikidata**: [openalex:W2411119043](https://www.wikidata.org/wiki/openalex:W2411119043)  
**Source**: https://4ort.xyz/entity/the-definitional-side-of-the-forcing