English Pound-foot (torque) Cited by user HansVonStuttgart on 24 Apr 2024 A pound-foot (lb⋅ft), abbreviated from pound-force foot (lbf · ft), is a unit of torque representing one pound of force acting at a perpendicular distance of one foot…
English Existential theory of the reals Cited by user Citation bot on 12 Jul 2023 In mathematical logic, computational complexity theory, and computer science, the existential theory of the reals is the set of all true sentences of the form, and are…
Russian Экзистенциальная теория вещественных чисел Cited by user Jumpow on 05 Nov 2017 Экзистенциальная теория вещественных чисел — это множество всех верных утверждений вида :