Category:Proof theorists

Wikimedia category

Show 2 more facts

via Wikidata · CC0

via Wikidata sitelinks · CC0

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).