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/Birkhoff's_theorem_(equational_logic)
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
unknown
Property
Value
dbo:
description
izrek v enačbni logiki
(sl)
theorem in equational logic
(en)
dbo:
wikiPageWikiLink
dbr
:Garrett_Birkhoff
dbr
:Equational_logic
dbc
:Formal_sciences
dbr
:Logic
dbc
:Logic
dbr
:Equality_(mathematics)
dbr
:Semantic_consequence
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:Logic-stub
dbt
:Sources_exist
dbt
:Short_description
dct:
subject
dbc
:Theorems_in_the_foundations_of_mathematics
dbc
:Formal_sciences
dbc
:Logic
rdfs:
label
Birkhoff's theorem (equational logic)
(en)
owl:
sameAs
wikidata
:Q85747361
dbpedia-global
:C1mC2
dbr
:Birkhoff's_theorem_(equational_logic)
prov:
wasDerivedFrom
wikipedia-en
:Birkhoff's_theorem_(equational_logic)?oldid=1287047996&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Birkhoff's_theorem_(equational_logic)
is
dbo:
wikiPageDisambiguates
of
dbr
:Birkhoff's_theorem
is
dbo:
wikiPageWikiLink
of
dbr
:Birkhoff's_theorem
is
foaf:
primaryTopic
of
wikipedia-en
:Birkhoff's_theorem_(equational_logic)
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International