About: http://dbpedia.org/resource/Category:Finite_model

Property	Value
rdf:type	skos:Concept
rdfs:label	Finite model theory
skos:broader	dbpedia:Category:Model_theory
skos:prefLabel	Finite model theory
is skos:broader of	dbpedia:Category:Model_checkers
is skos:subject of	dbpedia:Model_checking dbpedia:Finite_model_theory dbpedia:Lindström_quantifier dbpedia:Trakhtenbrot's_theorem

About: http://dbpedia.org/resource/Category:Finite_model_theory