🌐EnglishEnglishDeutschEspañolFrançaisPortuguêsSvenskaРусскийالعربيةفارسی한국어中文日本語EntityQ935944· pop 12· linked from 540 articlesfree and bound variablesclassification of variables in a logic formula based on whether or not they are inside the scope of a quantifierConnectionslogicEntitycalculusEntityCategoriesComputer programmingLogic symbolsMathematical notationPredicate logic