unabbreviate

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

un- +‎ abbreviate

Verb[edit]

unabbreviate (third-person singular simple present unabbreviates, present participle unabbreviating, simple past and past participle unabbreviated)

  1. (uncommon, transitive) To make unabbreviated, to expand something which was abbreviated.
    • 1967, Stephen Cole Kleene, Mathematical Logic, Dover, published 2002, page 293:
      It is easy to see what is going on, if in G & ∀x∃yP(x, y) we not only unabbreviate G, but take the outer conjunctions apart, []