Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
1996 ◽
Vol 54
◽
pp. 636-637