wiki_research

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

counting_quantifier (137B)

      1 # Counting quantifier
      2 
      3 - [c2]: [fo2] with counting quantifier
      4 - [c2]+tree, c2+[linear_order]
      5 
      6 Up: [logic]
      7 
      8 Aliases: counting quantifiers