Большой англо-русский и русско-английский словарь
выполнимый jointly satisfiable formulas ≈ совместно выполнимые формулы secondarily satisfiable formula ≈ вторично выполнимая формула - finitely satisfiable - jointly satisfiable - satisfiable formula - satisfiable sentence - satisfiable statement - secondary satisfiable удовлетворимый (логика) выполнимый
Новый большой англо-русский словарь
[ʹsætısfaıəb(ə)l] a
1) удовлетворимый
2) лог. выполнимый
Большой французско-русский и русско-французский словарь
f лог.
удовлетворимый, выполнимый