wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

over_approximation (243B)

      1 # Over approximation
      2 
      3 An [over_approximation] of a [query] Q in a given [query_class] is a [query] from the same class in which Q is [query_contained]
      4 
      5 - [minimal_over_approximation]
      6 
      7 Up: [query_approximation]
      8 
      9 See also: [under_approximation]