@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:Q5548813 rdfs:label "Aritmètica de Heyting"@ca,
        "Heyting-Arithmetik"@de,
        "Heyting arithmetic"@en,
        "Aritmética de Heyting"@es,
        "arithmétique de Heyting"@fr,
        "ハイティング算術"@ja,
        "Aritmética de Heyting"@pt,
        "Heyting算术"@zh ;
    schema1:dateModified "2026-08-22T13:38:53+00:00"^^xsd:dateTime ;
    schema1:description "una axiomatització de l'aritmètica"@ca,
        "axiomatization of arithmetic"@en,
        "axiomatisation de l'arithmétique"@fr ;
    schema1:version 2534833875 ;
    wikibase:identifiers 4 ;
    wikibase:sitelinks 6 ;
    wikibase:statements 6 ;
    skos:altLabel "Aritmetica de Heyting"@es ;
    p:P138 wds:q5548813-b10ad541-4eeb-a2a9-49b5-b91c8669c8ed ;
    p:P31 wds:Q5548813-b858c199-4e2e-d613-9b23-cd123329a1ef ;
    p:P3827 wds:Q5548813-4A0B4D74-E5F8-44D3-A909-A544C8B2C313 ;
    p:P4215 wds:Q5548813-4D8485C2-55A3-4372-B472-BBC56ED2E2BF ;
    p:P6366 wds:Q5548813-7CFCA533-3C99-4B12-92EE-848EAC1E06E1 ;
    p:P646 wds:Q5548813-683577BD-90FD-4F05-B13E-2CEA571D41C0 ;
    wdtn:P6366 <https://makg.org/entity/11966904> ;
    wdt:P138 wd:Q641771 ;
    wdt:P31 wd:Q3239681 ;
    wdt:P3827 "heyting-arithmetic" ;
    wdt:P4215 "Heyting arithmetic" ;
    wdt:P6366 "11966904" ;
    wdt:P646 "/m/07m609" .