Montague adopted a very strong notion of systematicity and regularity in translation, much stronger than mere effective computability of the translation function (i.e., automatability in principle).
Source: wiktionary
Ranked by relevance and common usage.
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
3 total sentences available.
Montague adopted a very strong notion of systematicity and regularity in translation, much stronger than mere effective computability of the translation function (i.e., automatability in principle).
Source: wiktionary
All of these cases raise the issue of computer supportability and automatability of proof procedures.
Source: wiktionary
To validate the applicability of Furcas in practice as well as the automatability of certain aspects, such as the automatic inversion of OCL query expressions, several academic as well as industrial case studies were conducted….
Source: wiktionary
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.