wiki_research

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

synthetic_witness (267B)

      1 # Synthetic witness
      2 
      3 Given a [query] Q and [query_answer] A, a *synthetic witness* is a [database] D such that Q(D) = A
      4 
      5 - [esmailpour2025synthetic]
      6   - [synthetic_witness_existence]
      7   - [minimal_synthetic_witness]
      8 
      9 See also: [minimal_witness]
     10 
     11 Up: [database_theory]