Terms vs Unabbreviate - What's the difference?
terms | unabbreviate |
(uncommon) To make unabbreviated, to expand something which was abbreviated.
* 1967 , (Stephen Cole Kleene), Mathematical Logic , Dover, 2002, page 293:
As a noun terms
is .As a verb unabbreviate is
(uncommon|transitive) to make unabbreviated, to expand something which was abbreviated.unabbreviate
English
Verb
(unabbreviat)- 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,