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:
http://dbpedia.org/resource/Lindström's_theorem
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
unknown
Property
Value
dbo:
description
mathematischer Satz
(de)
Theorem in mathematical logic
(en)
dbo:
wikiPageExternalLink
https://archive.org/details/mathematicallogi00jdon
https://archive.org/details/mathematicallogi1996ebbi
dbo:
wikiPageWikiLink
dbr
:Johan_van_Benthem_(logician)
dbr
:Category_theory
dbr
:Löwenheim–Skolem_theorem
dbr
:Per_Lindström
dbr
:Set_theory
dbr
:First-order_logic
dbr
:Closure_(mathematics)
dbc
:Theorems_in_the_foundations_of_mathematics
dbr
:Lindström_quantifier
dbr
:Compactness_theorem
dbr
:Modal_logic
dbr
:Institution_(computer_science)
dbc
:Mathematical_logic
dbc
:Metatheorems
dbr
:Abstract_model_theory
dbr
:Theoria_(philosophy_journal)
dbr
:Negation
dbr
:Mathematical_logic
dbr
:Strength_(mathematical_logic)
dbr
:Logica_Universalis
dbr
:Abstract_logic
dbr
:Springer-Verlag
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:Doi
dbt
:Logic
dbt
:Citation
dbt
:Mathlogic-stub
dbt
:Mathematical_logic
dbt
:Isbn
dbt
:Short_description
dct:
subject
dbc
:Theorems_in_the_foundations_of_mathematics
dbc
:Mathematical_logic
dbc
:Metatheorems
gold:
hypernym
dbr
:Logic
rdfs:
label
Lindström's theorem
(en)
Sätze von Lindström
(de)
Théorème de Lindström
(fr)
Teorema di Lindström
(it)
Stelling van Lindström
(nl)
owl:
sameAs
freebase
:m.0263wvl
wikidata
:Q2379128
dbpedia-it
:Teorema_di_Lindström
dbpedia-nl
:Stelling_van_Lindström
dbpedia-de
:Sätze_von_Lindström
dbpedia-fr
:Théorème_de_Lindström
dbpedia-global
:2F5SA
dbr
:Lindström's_theorem
prov:
wasDerivedFrom
wikipedia-en
:Lindström's_theorem?oldid=1278664299&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Lindström's_theorem
is
dbo:
wikiPageRedirects
of
dbr
:Lindstroem's_theorem
dbr
:Lindstroem_theorem
dbr
:Lindstrom's_theorem
dbr
:Lindstrom_theorem
dbr
:Lindström_theorem
is
dbo:
wikiPageWikiLink
of
dbr
:Löwenheim–Skolem_theorem
dbr
:Per_Lindström
dbr
:First-order_logic
dbr
:Lindström_quantifier
dbr
:Gödel's_completeness_theorem
dbr
:Compactness_theorem
dbr
:Abstract_model_theory
dbr
:Theoria_(philosophy_journal)
dbr
:Mathematical_logic
dbr
:Model_theory
dbr
:Theorem
dbr
:Strength_(mathematical_logic)
dbr
:Lindstrom_(disambiguation)
dbr
:List_of_theorems
dbr
:Second-order_logic
dbr
:Joseph_Sgro
dbr
:Lindstroem's_theorem
dbr
:Lindstroem_theorem
dbr
:Lindstrom's_theorem
dbr
:Lindstrom_theorem
dbr
:Lindström_theorem
is
foaf:
primaryTopic
of
wikipedia-en
:Lindström's_theorem
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International