# Barendregt

> Wikimedia disambiguation page

**Wikidata**: [Q2907174](https://www.wikidata.org/wiki/Q2907174)  
**Source**: https://4ort.xyz/entity/barendregt-q2907174