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.
English Satisfiability modulo theories Cited by user RDBrown on 11 Oct 2022 In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable.
Hungarian Kielégíthetőség Cited by user Matek8 on 16 May 2022 A matematikai logikában egy képlet akkor kielégíthető, ha a változóihoz rendelt értékadások mellett igaz.