unabbreviate
English
Etymology
un- + abbreviate
Verb
Lua error in Module:en-headword at line 1142: Legacy parameter 1=STEM no longer supported, just use 'en-verb' without params
- (uncommon, transitive) To make unabbreviated, to expand something which was abbreviated.
- 1967, Stephen Cole Kleene, Mathematical Logic, Dover, 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, […]
- 1967, Stephen Cole Kleene, Mathematical Logic, Dover, 2002, page 293: