wiki_research

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

fo_mod (261B)

      1 # FO+MOD
      2 
      3 [first_order_logic] with [modularity_quantifier]
      4 
      5 [heimberg2016hanf]: [hanf_normal_form] for FQ+MOD
      6 
      7 [berkholz2017answering2]: [enumeration] for this class
      8 
      9 Up: [first_order_logic] with [modularity_quantifier]
     10 
     11 See also: [logic_counting], [straubing]