Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Finite_model_theory> }
Showing triples 1 to 23 of
23
with 100 triples per page.
- Descriptive_complexity_theory wikiPageWikiLink Category:Finite_model_theory.
- FO_(complexity) wikiPageWikiLink Category:Finite_model_theory.
- Finite_model_theory wikiPageWikiLink Category:Finite_model_theory.
- HO_(complexity) wikiPageWikiLink Category:Finite_model_theory.
- Lindström_quantifier wikiPageWikiLink Category:Finite_model_theory.
- List_of_mathematics_categories wikiPageWikiLink Category:Finite_model_theory.
- Logic_of_graphs wikiPageWikiLink Category:Finite_model_theory.
- Parity_game wikiPageWikiLink Category:Finite_model_theory.
- Quantifier_rank wikiPageWikiLink Category:Finite_model_theory.
- SO_(complexity) wikiPageWikiLink Category:Finite_model_theory.
- Trakhtenbrots_theorem wikiPageWikiLink Category:Finite_model_theory.
- 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.
- Logic_of_graphs 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.
- Trakhtenbrots_theorem subject Category:Finite_model_theory.
- Category:Descriptive_complexity broader Category:Finite_model_theory.
- Category:Model_checking broader Category:Finite_model_theory.