wiki_research

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

query_answer (284B)


      1 # Query answer
      2 
      3 A [tuple] (named in [named_perspective], unnamed in [unnamed_perspective]) of [constants] that make a [query] true, i.e., substituting the [free_variables] of the [query] by these constants yields a [query] which evaluates to true
      4 
      5 Up: [query]
      6 
      7 Aliases: query answers