English Decision problem Cited by user Citation bot on 19 Mar 2023 In computability theory and computational complexity theory, a decision problem is a computational problem that can be posed as a yes–no question of the input values.
French Fragment (logique) Cited by user HeMath on 09 Mar 2023 En logique mathématique, un fragment d'un langage ou d'une théorie logique est un sous-ensemble de ce langage obtenu en lui imposant des restrictions syntaxiques.
English Zohar Manna Cited by user Vkuncak on 13 Oct 2020 Zohar Manna (1939 – 30 August 2018) was an Israeli-American computer scientist who was a professor of computer science at Stanford University.