Also known as computably enumerable set, c.e. set, r.e. set, semidecidable set, partially decidable set, listable set, provable set, Turing-recognizable set
a set that can be output (enumerated) by an algorithm (mathematical logic, computability theory)
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).