@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:Q1617044 rdfs:label "Àlgebra de Heyting"@ca,
        "Heytingova algebra"@cs,
        "Heyting-Algebra"@de,
        "Heyting algebra"@en,
        "alĝebro de Heyting"@eo,
        "álgebra de Heyting"@es,
        "algèbre de Heyting"@fr,
        "אלגברת הייטינג"@he,
        "aljabar Heyting"@id,
        "algebra di Heyting"@it,
        "ハイティング代数"@ja,
        "헤이팅 대수"@ko,
        "ဟေးတင့် အက္ခရာသင်္ချာ"@my,
        "algebra Heytinga"@pl,
        "álgebra de Heyting"@pt,
        "álgebra de Heyting"@pt-br,
        "алгебра Гейтинга"@ru,
        "Heytingova algebra"@sl,
        "алгебра Гейтінга"@uk,
        "海廷代数"@zh,
        "海廷代数"@zh-cn ;
    schema1:dateModified "2026-09-08T10:46:42+00:00"^^xsd:dateTime ;
    schema1:description "tipus d'estructures algebraiques"@ca,
        "sémantika intuicionistické logiky"@cs,
        "spezielle partielle Ordnungen in der Mathematik"@de,
        "bounded lattice that models intuitionistic propositional logic"@en,
        "kekisi berbatas, dengan operasi sambungan dan pertemuan yang tertulis ∨ dan ∧ dan dengan elemen terkecil 0 dan elemen terbesar 1"@id,
        "직관 명제 논리의 모형을 이루는 유계 격자"@ko,
        "klasa struktur algebraicznych"@pl,
        "classe de estruturas algébricas"@pt,
        "classe de estruturas algébricas"@pt-br,
        "класс алгебраических структур"@ru,
        "有界格，构成直观命题逻辑的模型"@zh-cn ;
    schema1:version 2542200436 ;
    wikibase:identifiers 12 ;
    wikibase:sitelinks 15 ;
    wikibase:statements 24 ;
    skos:altLabel "algebra de Heyting"@es,
        "псевдобулева алгебра"@ru,
        "імплікативна ґратка"@uk,
        "Heyting代数"@zh,
        "Heyting代數"@zh ;
    p:P10283 wds:Q1617044-2CFB7F6E-381D-49E2-9D74-D9FA5914CAF6 ;
    p:P13591 wds:Q1617044-35572E6E-4E5B-4266-BECD-F735EB4236B4 ;
    p:P138 wds:q1617044-769c116d-4a1c-c346-3cd0-a4bbef2ab2bd ;
    p:P244 wds:Q1617044-19e0ce7c-149d-4bab-91ed-6433dc3c1208 ;
    p:P2579 wds:Q1617044-7725fea7-41de-cfa3-260d-3fa05a6a248c,
        wds:Q1617044-f0ea641c-40c3-573d-b49d-2e5935ba33a9 ;
    p:P2581 wds:Q1617044-0B7F90C9-0C41-4A32-B5C3-D367C9530903 ;
    p:P279 wds:Q1617044-633f4170-457a-e3b6-8092-53b34e2e2e5b,
        wds:Q1617044-65a551c7-44b7-24eb-8212-690650fb17e8,
        wds:Q1617044-78a4b993-40c9-07b8-fe7c-66165b69f786,
        wds:Q1617044-9f3ec10c-4858-59dd-f158-369f6522f853,
        wds:Q1617044-cccc56c8-44e7-010f-2e32-f4f1ae80b92b,
        wds:Q1617044-e3b19b58-4a6a-3fa4-2731-33ec15704d01 ;
    p:P2812 wds:Q1617044-53DA4E65-B62E-40E5-8BF7-E938551FFA6E ;
    p:P31 wds:Q1617044-c614b5bd-474e-68aa-4a84-d4e6cd13b76a ;
    p:P373 wds:Q1617044-069b3d25-78f7-4ee1-a6aa-d5e734f849aa ;
    p:P3827 wds:Q1617044-BBCC12B4-0690-46EB-8335-48F5FF7A49E0 ;
    p:P4215 wds:Q1617044-F3BC494C-4A01-467B-9806-BB8656739CDD ;
    p:P508 wds:Q1617044-CE06FF23-FF70-427B-99F8-D167078A7551 ;
    p:P6104 wds:Q1617044-0C3E8B83-4DF1-46FC-8647-41CC944D6824 ;
    p:P6366 wds:Q1617044-2BF6DC1E-341D-401C-8F61-07979A25FF3B ;
    p:P646 wds:Q1617044-D791904F-21B0-4869-B0D4-DCBB880A4D82 ;
    p:P7726 wds:Q1617044-a3547a3d-4db1-6e8d-35f8-f1949db2a229 ;
    p:P8189 wds:Q1617044-4D131C79-EE84-4828-9C0C-B3B947E9DAA2 ;
    wdtn:P244 <http://id.loc.gov/authorities/names/sh2010014322> ;
    wdtn:P2581 <http://babelnet.org/rdf/s02443810n> ;
    wdtn:P508 <http://purl.org/bncf/tid/67959> ;
    wdtn:P6366 <https://makg.org/entity/187062830> ;
    wdt:P10283 "C187062830" ;
    wdt:P13591 "concept/971ee427-f1d0-414b-8d44-73fd6a7590a3" ;
    wdt:P138 wd:Q641771 ;
    wdt:P244 "sh2010014322" ;
    wdt:P2579 wd:Q1166618,
        wd:Q18533485 ;
    wdt:P2581 "02443810n" ;
    wdt:P279 wd:Q10326443,
        wd:Q121504772,
        wd:Q121504773,
        wd:Q1725874,
        wd:Q2363730,
        wd:Q9462417 ;
    wdt:P2812 "HeytingAlgebra" ;
    wdt:P31 wd:Q24034552 ;
    wdt:P373 "Heyting Algebra" ;
    wdt:P3827 "heyting-algebras" ;
    wdt:P4215 "Heyting algebra" ;
    wdt:P508 "67959" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "187062830" ;
    wdt:P646 "/m/01szjs" ;
    wdt:P7726 "HeytingAlgebra" ;
    wdt:P8189 "987007572533605171" .