Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Finite_model_theory> . }
Showing items 1 to 10 of
10
with 100 items per page.
- Descriptive_complexity_theory subject Category:Finite_model_theory.
- FO_(complexity) subject Category:Finite_model_theory.
- Finite_model_theory subject Category:Finite_model_theory.
- HO_(complexity) subject Category:Finite_model_theory.
- Lindström_quantifier subject Category:Finite_model_theory.
- Parity_game subject Category:Finite_model_theory.
- Quantifier_rank subject Category:Finite_model_theory.
- SO_(complexity) subject Category:Finite_model_theory.
- Trakhtenbrot's_theorem subject Category:Finite_model_theory.
- Category:Model_checking broader Category:Finite_model_theory.