About: Spectrum of a sentence

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In mathematical logic

Property	Value
dbo:description	in mathematical logic (en)
dbo:wikiPageExternalLink	http://www.almaden.ibm.com/cs/people/fagin/genspec.pdf https://archive.org/details/descriptivecompl00imme_115/page/n119
dbo:wikiPageWikiLink	dbr:Prime_number dbr:First-order_logic dbr:Set_(mathematics) dbr:Parity_(mathematics) dbr:Cardinality dbr:Sentence_(mathematical_logic) dbr:Logical_conjunction dbc:Finite_model_theory dbr:Ronald_Fagin dbr:Field_(mathematics) dbr:Intersection_(set_theory) dbr:Boolean_satisfiability_problem dbr:Mathematical_logic dbr:Complexity_class dbr:Spectrum_of_a_theory dbr:Finite_field dbr:Bijection dbr:Union_(set_theory) dbr:Fagin's_theorem dbr:Finite_model_theory dbr:Natural_number dbr:Turing_machine dbr:Second-order_logic dbr:Springer-Verlag dbr:Existential_second-order_logic dbr:Alan_Selman dbr:Universal_quantifier dbr:NEXP dbr:NP_(complexity_class) dbr:Existential_quantifier dbr:Descriptive_complexity dbr:Disjunction
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Finite_model_theory dbc:Descriptive_complexity
gold:hypernym	dbr:Set
rdfs:label	Spectrum of a sentence (en)
owl:sameAs	freebase:Spectrum of a sentence wikidata:Spectrum of a sentence dbpedia-global:Spectrum of a sentence
prov:wasDerivedFrom	wikipedia-en:Spectrum_of_a_sentence?oldid=1285871037&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Spectrum_of_a_sentence
is dbo:wikiPageDisambiguates of	dbr:Spectrum_(disambiguation)
is dbo:wikiPageWikiLink of	dbr:Günter_Asser dbr:Spectrum_(disambiguation) dbr:Spectrum_of_a_theory dbr:Fagin's_theorem dbr:Spectrum_problem
is foaf:primaryTopic of	wikipedia-en:Spectrum_of_a_sentence