Separation theorem Characterization theorems 4 Binary trees 2 Bins 2 Calculations 2 Characterization 2 Church-Rosser property 2 Computer simulation 2 Construction permits 2 Definability 2 Divide-and-conquer technique 2 Equality tests 2 Expressive power 2 Fault tolerance 2 First order logic 2 First-order formulas 2 Forestry 2 Formal logic 2 Free variable 2 Indistinguishability 2 Modal logic 2 Modal logics 2 Model theory 2 Observational equivalences 2 Path expressions 2 Pattern matching 2 Reduction rules 2 Saturation 2 Saturation (materials composition) 2 Semi-automatics 2