[SMT-LIB] question on terminology: the kind of equisatisfiability that we actually want

[Johannes Waldmann]

Dear all, I inquired about a name for

> "F and G are equisatisfiable, and Var(F) \subseteq Var(G),
> and the models of F are the restrictions of the models of G"

Armin Biere points to Norbert Manthey's recent thesis
http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-158672
He defines "constructible" (and variants) in Section 3.1

Best regards, Johannes.