formula_measure (118B)
1 # Formula measure 2 3 - [quantifier_rank] 4 - [first_order_logic_width] 5 6 Up: [logic], [formula] 7 8 See also: [width_measure]
![]() | wiki_researchpersonal research wiki |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |