About: Compactness theorem

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

Theorem

Property Value
dbo:description
  • mathematischer Satz (de)
  • theorem (en)
  • teorema (ca)
  • afirmativa de que um conjunto é satisfazível se todos os subconjuntos finitos o forem (pt)
  • twierdzenie logiki matematycznej (pl)
  • věta matematické logiky (cs)
  • 若可滿足一族一階句子的任意有限條，則可全部滿足 (zh)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Compactness theorem (en)
  • Věta o kompaktnosti (cs)
  • Kompakteca teoremo (eo)
  • Compacidad (lógica) (es)
  • Kompaktheitssatz (Logik) (de)
  • Théorème de compacité (fr)
  • コンパクト性定理 (ja)
  • Teorema di compattezza (logica matematica) (it)
  • 콤팩트성 정리 (ko)
  • Twierdzenie o zwartości (pl)
  • Teorema da compacidade (pt)
  • Теорема Гёделя о компактности (ru)
  • Теорема про компактність (uk)
  • 紧致性定理 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International