eslavco
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
7
7
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
Finite model theory
Finite model theory
Concept
http://dbpedia.org/resource/Category:Finite_model_theory
Finite model theory
Parity game
Descriptive complexity theory
FO (complexity)
HO (complexity)
Lindström quantifier
Logic of graphs
Quantifier rank
SO (complexity)
Trakhtenbrot's theorem
subject
Descriptive complexity
Model checking
broader
Finite model theory
Concept
http://dbpedia.org/resource/Category:Finite_model_theory
Wikipage page ID
22,496,812
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
389,051,793
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Finite model theory
@en
sameAs
Q8458592
Q8458592
broader
Model theory
prefLabel
Finite model theory
@en
wasDerivedFrom
Category:Finite_model_theory?oldid=389051793