theory of logic based on the orthocomplemented lattice of closed subspaces of a separable Hilbert space, regarded as the lattice of quantum propositions
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).