3 was that computer proofs may tend to be less explanatory than traditional proofs because they are more disjunctive, and disjunctiveness reduces explanatoriness.
Source: wiktionary
Disjunctiveness
Synonyms for "disjunctiveness"
Ranked by relevance and common usage.
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
derived from
1 entriesrelated to
1 entriesSample sentences
1 total sentences available.
Keep exploring
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.