# TH1: The TPTP typed higher-order form with rank-1 polymorphism

> Research article (Workshop practical aspects automated reasoning, 2016) · cited 18× · AI/ML

**Wikidata**: [openalex:W2577363039](https://www.wikidata.org/wiki/openalex:W2577363039)  
**Source**: https://4ort.xyz/entity/th1-the-tptp-typed-higher-order-form-with-rank-1-polymorphism