@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q5156470 rdfs:label "àlgebra de Heyting completa"@ca,
        "complete Heyting algebra"@en,
        "kompleta alĝebro de Heyting"@eo,
        "algèbre de Heyting complète"@fr,
        "完備ハイティング代数"@ja,
        "완비 헤이팅 대수"@ko,
        "álgebra de Heyting completa"@pt,
        "álgebra de Heyting completa"@pt-br,
        "完全海廷代数"@zh ;
    schema1:dateModified "2026-02-18T14:06:55+00:00"^^xsd:dateTime ;
    schema1:description "estructura d'àlgebra"@ca,
        "algebraic structure"@en,
        "alĝebro de Heyting, kiu estas kompleta latiso"@eo,
        "estrutura algébrica"@pt,
        "estrutura algébrica"@pt-br ;
    schema1:version 2464452603 ;
    wikibase:identifiers 4 ;
    wikibase:sitelinks 3 ;
    wikibase:statements 10 ;
    skos:altLabel "frame"@en,
        "locale"@en,
        "장소"@ko,
        "完全Heyting代数"@zh ;
    p:P10376 wds:Q5156470-8bdb4a24-47d0-b051-8981-4a570ad0b530 ;
    p:P138 wds:Q5156470-e08325f6-4368-8440-0097-916de149a787 ;
    p:P2579 wds:Q5156470-9937c131-476d-5267-a6d7-c5829e0090a9 ;
    p:P279 wds:Q5156470-9dfe7310-4835-0d27-3024-5849723ec8a8,
        wds:Q5156470-a0c70049-40c3-9369-f702-e5bbf23e5a93 ;
    p:P31 wds:Q5156470-63f3c854-4292-e262-94cf-dbe3ce33a095 ;
    p:P4215 wds:Q5156470-9D742C22-E0AC-438E-8E0A-C7146205DCB6 ;
    p:P6366 wds:Q5156470-B5D128EB-4D13-4CF9-A502-B2FE728593F9 ;
    p:P646 wds:Q5156470-04D604E8-476C-485F-873A-4404484EA3C6 ;
    p:P7719 wds:Q5156470-7a19fcf5-41a1-e95a-985a-69f7e9ca2abe ;
    wdtn:P6366 <https://makg.org/entity/2777250137> ;
    wdt:P10376 "mathematics/complete-heyting-algebra" ;
    wdt:P138 wd:Q641771 ;
    wdt:P2579 wd:Q7208386 ;
    wdt:P279 wd:Q1617044,
        wd:Q2362924 ;
    wdt:P31 wd:Q24034552 ;
    wdt:P4215 "complete Heyting algebra" ;
    wdt:P6366 "2777250137" ;
    wdt:P646 "/m/02_m6_" ;
    wdt:P7719 wd:Q179899 .