💡 Words with a Similar Meaning to "Equisatisfiability"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| equisummabilitynoun | The property of being equisummable. |
| equinumerositynoun | (mathematics) The state or quality of being equinumerous. |
| elementary equivalencenoun | (logic) A relation between two structures which have the property that every first-order formula is valid in one structure if and only if it is valid in the other. |
| equilateralitynoun | (mathematics) The condition of being equilateral |
| equidecomposabilitynoun | (geometry) The quality of being equidecomposable. |
| equivariancenoun | (mathematics) The condition of being equivariant |
| summabilitynoun | (mathematics) The condition of being summable. |
| structuralitynoun | (philosophy, theology) The qualities or types of the structure or structures an object possesses. |
| system of equationsnoun | (mathematics) a set of equations required to be satisfied simultaneously or considered as a whole |
| equiregularitynoun | (mathematics) The condition of being equiregular |
| schemanoun | (databases) A formal description of the structure of a database: the names of the tables, the names of the columns of each table, and the data type and other attributes of each column. |
| well-formed formulanoun | (logic) A statement that is expressed in a valid, syntactically correct manner. |
| equationnoun | (mathematics) An assertion that two expressions are equal, expressed by writing the two expressions separated by an equal sign; in mathematical problems, equations describe various essential aspects of the problem, each of which contributes to the resolution of the problem in part. |
| algebraizabilitynoun | (mathematics) The condition of being algebraizable. |
| semidefinitenessnoun | The condition of being semidefinite |
| quantivalencenoun | (by extension, generally) Equivalence measured quantitatively. |
| semivariabilitynoun | Synonym of semivariance. |
| tseytin transformationnoun | A transformation that, given an arbitrary combinatorial logic circuit, produces an equisatisfiable Boolean formula in conjunctive normal form, the length of the formula being linear in the size of the circuit. |
| equidifferencenoun | (mathematics) An equal difference. |
| conjunctive normal formnoun | (logic) The form of a Boolean formula that the formula has if the formula is a conjunction of disjunctions of literals, such as “(A or B or C) and (D or E or not F)”. |
Translate “Equisatisfiability” into Another Language
Pick a language — the word will be pre-filled in the translator.