Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Finite model theory
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
22496812
(xsd:integer)
dbo:
wikiPageRevisionID
389051793
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Cat_main
dbt
:See_also_cat
rdf:
type
skos
:Concept
rdfs:
label
Finite model theory
(en)
skos:
broader
dbc
:Model_theory
skos:
prefLabel
Finite model theory
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Finite_model_theory?oldid=389051793&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Parity_game
dbr
:Descriptive_complexity_theory
dbr
:Trakhtenbrot's_theorem
dbr
:Quantifier_rank
dbr
:Lindström_quantifier
dbr
:Logic_of_graphs
dbr
:Spectrum_of_a_sentence
dbr
:Finite_model_theory
dbr
:The_Strange_Logic_of_Random_Graphs
is
dcterms:
subject
of
dbr
:Parity_game
dbr
:Descriptive_complexity_theory
dbr
:Trakhtenbrot's_theorem
dbr
:Quantifier_rank
dbr
:Lindström_quantifier
dbr
:Logic_of_graphs
dbr
:Spectrum_of_a_sentence
dbr
:Finite_model_theory
dbr
:The_Strange_Logic_of_Random_Graphs
is
skos:
broader
of
dbc
:Model_checking
dbc
:Descriptive_complexity
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License