If explanation is indeed tied closely to unification then it is not hard to see how the disjunctiveness characteristic of computer proof tends to yield proofs that are also considered relatively unexplanatory by mathematicians.
Source: wiktionary
Ranked by relevance and common usage.
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
1 total sentences available.
If explanation is indeed tied closely to unification then it is not hard to see how the disjunctiveness characteristic of computer proof tends to yield proofs that are also considered relatively unexplanatory by mathematicians.
Source: wiktionary
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.