Where does “equisatisfiable” come from?
equisatisfiable (English) comes from English satisfiable, from English satisfy, from Middle English satisfyen, from Old French satisfier, from Latin satisfacere, from French faire, from Middle French faire, from Old French faire.
equisatisfiable (English): Of a pair of formulas, where one formula is...
Definitions
- Of a pair of formulas, where one formula is...
Ancestry of “equisatisfiable”, step by step
equisatisfiable traces back through two separate lines of ancestry.
via English satisfiable
| Step | Language | Word | Meaning |
|---|---|---|---|
| 1 | English | satisfiable | Capable of being satisfied |
| 2 | English | satisfy | To do enough for; to meet the needs of; to... |
| 3 | Middle English | satisfyen | — |
| 4 | Old French | satisfier | to satisfy; to pay |
| 5 | Latin | satisfacere | present active infinitive of satisfaciō |
| 6 | French | faire | to do |
| 7 | Middle French | faire | to do; to make; to choose; to elect |
| 8 | Old French | faire | to do |
| 9 | Latin | faciō | to do |
| 10 | Latin | -torium | nominative neuter singular of -tōrius; accusative... |
| 11 | Latin | -tōrius | ory |
| 12 | Latin | -tor | -er |
| 13 | Proto-Italic | -tōr | Forms agent nouns to verb stems |
| 14 | Proto-Indo-European | -tōr | Derives agent nouns from verbs, denoting someone... |
| 15 | Proto-Indo-European | -tor-s | — |
via English equi
| Step | Language | Word | Meaning |
|---|---|---|---|
| 1 | English | equi | — |