skolemization

Also known as skolemisation, skolemnization

REDIRECT Skolem normal form

~1 min read

REDIRECT Skolem normal form

via Wikidata sitelinks · CC0

Connections

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