Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic
Summary
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic is a scholarly article[1].
Key Facts
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic's instance of is recorded as scholarly article[2].
References
Programmatic citations — every numbered marker resolves to a verifiable graph row below.
Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.
APA4ort.xyz Knowledge Graph. (2026). Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic. Retrieved May 24, 2026, from https://4ort.xyz/entity/measuring-interestingness-of-theorems-in-automated-theorem-finding-by-forward-reasoning-based-on-strong-relevant-logic
MLA“Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/measuring-interestingness-of-theorems-in-automated-theorem-finding-by-forward-reasoning-based-on-strong-relevant-logic.
BibTeX@misc{4ortxyz_measuring-interestingness-of-theorems-in-automated-theorem-finding-by-forward-reasoning-based-on-strong-relevant-logic_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic}}, year = {2026}, url = {https://4ort.xyz/entity/measuring-interestingness-of-theorems-in-automated-theorem-finding-by-forward-reasoning-based-on-strong-relevant-logic}, note = {Accessed: 2026-05-24}}
LLM promptAccording to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic — https://4ort.xyz/entity/measuring-interestingness-of-theorems-in-automated-theorem-finding-by-forward-reasoning-based-on-strong-relevant-logic (retrieved 2026-05-24)
