wiki_research

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

satisfiability_finite (274B)

      1 # Finite satisfiability
      2 
      3 Like [satisfiability] but deciding whether a [logic_formula] has a [finite_model]
      4 
      5 - [finite_model_property]
      6 - [finite_controllability]
      7 - [finite_satisfiability_FO]
      8 
      9 Up: [satisfiability]
     10 
     11 Aliases: finite satisfiability, finsat, finitely satisfiable