DBpedia-association
/
snapshot-2021-06
/
Login
Register
TriplyDB
Snapshot of core data from en.wikipedia.org 2021-06
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Finite model theory
Finite model theory
Concept
http://dbpedia.org/resource/Category:Finite_model_theory
Descriptive complexity theory
FO (complexity)
Finite model theory
HO (complexity)
Lindström quantifier
Logic of graphs
Parity game
Quantifier rank
SO (complexity)
The Strange Logic of Random Graphs
Trakhtenbrot's theorem
Link from a Wikipage to another Wikipage
Descriptive complexity theory
FO (complexity)
Finite model theory
HO (complexity)
Lindström quantifier
Logic of graphs
Parity game
Quantifier rank
SO (complexity)
The Strange Logic of Random Graphs
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
wikiPageUsesTemplate
Template:Cat_main
Template:See_also_cat
type
Concept
label
Finite model theory
@en
broader
Model theory
prefLabel
Finite model theory
@en
wasDerivedFrom
Category:Finite_model_theory?oldid=389051793&ns=14