# Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic

> Research article (2019 IEEE International Conference on Energy Internet (ICEI), 2019) · cited 10× · AI/ML

**Wikidata**: [openalex:W2967051698](https://www.wikidata.org/wiki/openalex:W2967051698)  
**Source**: https://4ort.xyz/entity/measuring-interestingness-of-theorems-in-automated-theorem-finding-by-forward-reasoning-based-on-strong-relevant-logic