| 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:applications
|
- Robinson's principle, Upward Löwenheim–Skolem theorem, Non-standard analysis (en)
|
| dbp:field
| |
| dbp:firstProof
| |
| dbp:generalizations
|
- Gödel's completeness theorem (en)
|
| dbp:name
| |
| dbp:relatedTheorems
|
- Downward Löwenheim–Skolem theorem, Lindström's theorem (en)
|
| dbp:statement
|
- A set of first-order sentences has a model if and only if every finite subset of it has a model. (en)
|
| 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)
- Teorema da compacidade (pt)
- Twierdzenie o zwartości (pl)
- Теорема Гёделя о компактности (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 | |
