SHMARQL
Docs
Query
Entity
Story editor
complete Heyting algebra
<http:/
/
www.wikidata.org/
entity/
Q5156470>
algebraic structure
rdfs:
label
ca
en
eo
fr
ja
ko
pt
pt-br
zh
"algèbre de Heyting complète"
@fr
"complete Heyting algebra"
@en
"kompleta alĝebro de Heyting"
@eo
"àlgebra de Heyting completa"
@ca
"álgebra de Heyting completa"
@pt
"álgebra de Heyting completa"
@pt-br
"完備ハイティング代数"
@ja
"完全海廷代数"
@zh
"완비 헤이팅 대수"
@ko
skos:
alt
Label
en
ko
zh
"frame"
@en
"locale"
@en
"完全Heyting代数"
@zh
"장소"
@ko
schema:
description
ca
en
eo
pt
pt-br
"algebraic structure"
@en
"alĝebro de Heyting, kiu estas kompleta latiso"
@eo
"estructura d'àlgebra"
@ca
"estrutura algébrica"
@pt
"estrutura algébrica"
@pt-br
schema:
date
Modified
"2026-02-18T14:06:55+00:00"
^^xsd:dateTime
schema:
version
2464452603
wikibase:
identifiers
4
wikibase:
sitelinks
3
wikibase:
statements
10
p:
P10376
wd:
statement/Q5156470-8bdb4a24-47d0-b051-8981-4a570ad0b530
p:
P138
wd:
statement/Q5156470-e08325f6-4368-8440-0097-916de149a787
p:
P2579
wd:
statement/Q5156470-9937c131-476d-5267-a6d7-c5829e0090a9
p:
P279
wd:
statement/Q5156470-9dfe7310-4835-0d27-3024-5849723ec8a8
wd:
statement/Q5156470-a0c70049-40c3-9369-f702-e5bbf23e5a93
p:
P31
wd:
statement/Q5156470-63f3c854-4292-e262-94cf-dbe3ce33a095
p:
P4215
wd:
statement/Q5156470-9D742C22-E0AC-438E-8E0A-C7146205DCB6
p:
P6366
wd:
statement/Q5156470-B5D128EB-4D13-4CF9-A502-B2FE728593F9
p:
P646
wd:
statement/Q5156470-04D604E8-476C-485F-873A-4404484EA3C6
p:
P7719
wd:
statement/Q5156470-7a19fcf5-41a1-e95a-985a-69f7e9ca2abe
p:
direct-
normalized/
P6366
<https:/
/
makg.org/
entity/
2777250137>
wdt:
P10376
"mathematics/complete-heyting-algebra"
wdt:
P138
Arend Heyting
wdt:
P2579
pointless topology
wdt:
P279
Heyting algebra
complete lattice
wdt:
P31
mathematical concept
wdt:
P4215
"complete Heyting algebra"
wdt:
P6366
"2777250137"
wdt:
P646
"/m/02_m6_"
wdt:
P7719
topological space
Download as:
Turtle
JSON-LD
RDF/XML
data from SPARQL profile:
Wikidata