Also known as mathematical formalism
view that statements of logic can be considered to be statements about the consequences of certain string manipulation rules
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).