Also known as automated deduction, ATP, theorem proving
subfield of automated reasoning dealing with proving theorems by computer programs
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).