Epigram
E1314169
UNEXPLORED
Epigram is a dependently typed functional programming language and proof assistant that explored interactive program development and influenced later languages like Idris.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Epigram canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T18255990 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Epigram Context triple: [Idris, influencedBy, Epigram]
-
A.
Epigrams
Epigrams is a collection of short, witty, and often pointed poetic compositions attributed to the Hellenistic Greek poet Callimachus.
-
B.
Epigrams
Epigrams is a collection of short, witty, and often satirical poems by the French Renaissance poet Clément Marot.
-
C.
Epitadas
Epitadas was a Spartan commander best known for leading the Spartan garrison on the island of Sphacteria during the Peloponnesian War.
-
D.
Aphorisms
Aphorisms is a seminal medical text by Hippocrates consisting of concise statements that summarize clinical observations and principles of ancient Greek medicine.
-
E.
Aphorisms
"Aphorisms" is an EP by the American post-rock band Red Sparowes, showcasing their atmospheric, instrumental sound.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Epigram Target entity description: Epigram is a dependently typed functional programming language and proof assistant that explored interactive program development and influenced later languages like Idris.
-
A.
Epigrams
Epigrams is a collection of short, witty, and often pointed poetic compositions attributed to the Hellenistic Greek poet Callimachus.
-
B.
Epigrams
Epigrams is a collection of short, witty, and often satirical poems by the French Renaissance poet Clément Marot.
-
C.
Epitadas
Epitadas was a Spartan commander best known for leading the Spartan garrison on the island of Sphacteria during the Peloponnesian War.
-
D.
Aphorisms
Aphorisms is a seminal medical text by Hippocrates consisting of concise statements that summarize clinical observations and principles of ancient Greek medicine.
-
E.
Aphorisms
"Aphorisms" is an EP by the American post-rock band Red Sparowes, showcasing their atmospheric, instrumental sound.
- F. None of above. chosen
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.