@prefix p: <http://www.wikidata.org/prop/> .
@prefix pq: <http://www.wikidata.org/prop/qualifier/> .
@prefix pqn: <http://www.wikidata.org/prop/qualifier/value-normalized/> .
@prefix pqv: <http://www.wikidata.org/prop/qualifier/value/> .
@prefix pr: <http://www.wikidata.org/prop/reference/> .
@prefix prn: <http://www.wikidata.org/prop/reference/value-normalized/> .
@prefix prv: <http://www.wikidata.org/prop/reference/value/> .
@prefix ps: <http://www.wikidata.org/prop/statement/> .
@prefix psn: <http://www.wikidata.org/prop/statement/value-normalized/> .
@prefix psv: <http://www.wikidata.org/prop/statement/value/> .
@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 wdno: <http://www.wikidata.org/prop/novalue/> .
@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:P14534 a wikibase:Property ;
    rdfs:label "identificador Mathlib de declaració"@ca,
        "Mathlib Deklaration ID"@de,
        "Mathlib Declaration ID"@en,
        "ID de déclaration Mathlib"@fr,
        "Mathlib 선언 ID"@ko,
        "Mathlib-identificatiecode voor verklaring"@nl,
        "Mathlib 声明 ID"@zh-hans ;
    schema1:dateModified "2026-07-04T12:57:36+00:00"^^xsd:dateTime ;
    schema1:description "Identifikator für eine Deklaration in Mathlib, der Mathematikbibliothek des Lean-Beweisassistenten"@de,
        "identifier for a declaration in Mathlib, the mathematics library of the Lean theorem prover, that formalizes this concept"@en,
        "identifiant pour une déclaration dans Mathlib, la librairie de mathématiques du prouveur de théorèmes Lean, qui formalise ce concept"@fr,
        "Lean 정리 증명 도구의 수학 라이브러리 Mathlib에서, 이 개념을 형식화하는 선언의 식별자"@ko,
        "identificatiecode voor een wiskundig concept in de Mathlib-documentatie"@nl,
        "Lean 定理证明工具数学库 Mathlib 中，形式化这一概念的声明的 ID"@zh-hans ;
    schema1:version 2513804184 ;
    wikibase:claim p:P14534 ;
    wikibase:directClaim wdt:P14534 ;
    wikibase:directClaimNormalized wdtn:P14534 ;
    wikibase:novalue wdno:P14534 ;
    wikibase:propertyType wikibase:ExternalId ;
    wikibase:qualifier pq:P14534 ;
    wikibase:qualifierValue pqv:P14534 ;
    wikibase:qualifierValueNormalized pqn:P14534 ;
    wikibase:reference pr:P14534 ;
    wikibase:referenceValue prv:P14534 ;
    wikibase:referenceValueNormalized prn:P14534 ;
    wikibase:statementProperty ps:P14534 ;
    wikibase:statementValue psv:P14534 ;
    wikibase:statementValueNormalized psn:P14534 ;
    wikibase:statements 21 ;
    skos:altLabel "Mathlib Deklarations-ID"@de,
        "Lean declaration"@en,
        "Mathlib ID"@en,
        "Mathlib declaration"@en,
        "Déclaration Lean"@fr,
        "Déclaration Mathlib"@fr,
        "ID Mathlib"@fr,
        "Lean 선언"@ko,
        "Mathlib ID"@ko,
        "Mathlib 선언"@ko,
        "Lean 声明"@zh-hans,
        "Mathlib ID"@zh-hans,
        "Mathlib 声明"@zh-hans ;
    p:P1630 wds:P14534-272AF841-0A04-4171-B5C3-DA5E84BCC63B ;
    p:P1659 wds:P14534-011FBEE9-7128-4AAD-A9A2-42574E5FA749,
        wds:P14534-7FFF0927-E73C-4FD3-A880-5522076255A4,
        wds:P14534-9DD3C31E-E453-4C9C-9F62-3D2BDBF7EDBC,
        wds:P14534-AB446E28-ED68-43CD-9B69-1132420B10A7 ;
    p:P1793 wds:P14534-4AAA4AB8-BAC9-4A4E-9AA7-5804A5619E7E ;
    p:P1855 wds:P14534-1a349c4b-3d27-4d83-8af2-03babb4789a5,
        wds:P14534-42ca4513-c3fc-478d-a6f4-c85dfc8b6170,
        wds:P14534-b196ab3d-04c0-4453-a60e-dc838c9e985f,
        wds:P14534-df6ad152-71d3-4d03-90e0-5c9c67c16eaa ;
    p:P1896 wds:P14534-97460E62-2B23-4086-BEAA-03C086243590 ;
    p:P2302 wds:P14534-0E13BD01-2186-4FAE-8248-A5E51ADACAD1,
        wds:P14534-4B950046-DDAF-48D1-8F2D-D6A9BFF2E36D,
        wds:P14534-E84B5527-6021-4012-8ED8-7767E06C2D36,
        wds:P14534-EBFF03F4-498F-4396-8255-CEC966186957 ;
    p:P2429 wds:P14534-C17D7030-6FDF-43C1-97C3-150A6B9FDC69 ;
    p:P31 wds:P14534-5C6A56FD-AB45-463E-BF2B-F95625A436BD,
        wds:P14534-77280374-A90D-483C-828B-2CE1083C2E5A ;
    p:P3254 wds:P14534-0DD5EDC5-E782-41BF-B9F9-C3ADB5CBBD91 ;
    p:P6104 wds:P14534-45C0069C-0A9B-4B7D-B2B3-E24BC41E4F83 ;
    p:P9073 wds:P14534-4698C214-A9B1-491A-8218-1993E6DF66A7 ;
    wdt:P1630 "https://leanprover-community.github.io/mathlib4_docs/find/?pattern=$1#doc" ;
    wdt:P1659 wd:P12888,
        wd:P2812,
        wd:P4215,
        wd:P6781 ;
    wdt:P1793 "[\\p{L}_][\\p{L}\\p{N}_'.!?]*" ;
    wdt:P1855 wd:Q11567,
        wd:Q179208,
        wd:Q192760,
        wd:Q863912 ;
    wdt:P1896 <https://github.com/leanprover-community/mathlib4> ;
    wdt:P2302 wd:Q21502404,
        wd:Q21503250,
        wd:Q52004125,
        wd:Q53869507 ;
    wdt:P2429 wd:Q21873886 ;
    wdt:P31 wd:Q19847637,
        wd:Q22988631 ;
    wdt:P3254 <https://www.wikidata.org/wiki/Wikidata:Property_proposal/Mathlib_declaration_ID> ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P9073 wd:Q140128421 .