wiki_research

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

first_order_logic_width (183B)

      1 # First order logic width
      2 
      3 The *width* of a [first_order_logic] formula is the maximal size of a [set] of [free_variables] in a [subformula] of the [formula]
      4 
      5 Up: [first_order_logic]