bn:01651507n
Noun Concept
IT
soddisfacibilità  soddisfacibile
EN
In mathematical logic, a formula is satisfiable if it is true under some assignment of values to its variables. Wikipedia
English:
logics
Relations
Sources