In the Vinony graph
Within Vinony's link graph, FOL connects to first-order logic, folio and Hermann Fol.
Its subject is documented across 7 Wikipedia language editions.
Within Vinony's link graph, FOL connects to first-order logic, folio and Hermann Fol.
Its subject is documented across 7 Wikipedia language editions.
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).