Generalization

Home / Glossary / Generalization

Generalization refers to the #$genls predicate. A is said to generalize B iff (genls B A). The inverse relation is referred to as specification.

email

7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA