@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:Q49938 rdfs:label "حسابيات بيانو"@ar,
        "арыфметыка Пеана"@be,
        "Aritmètica de Peano"@ca,
        "Peanova aritmetika"@cs,
        "Формаллĕ арифметика"@cv,
        "Peano-Arithmetik"@de,
        "Peano arithmetic"@en,
        "aritmetiko de Peano"@eo,
        "aritmética de Peano"@es,
        "arithmétique de Peano"@fr,
        "Peano-aritmetika"@hu,
        "aritmetika Peano"@id,
        "aritmetica di Peano"@it,
        "ペアノ算術"@ja,
        "페아노 산술"@ko,
        "Peano-Arithmeetik"@lb,
        "Peanoaritmetikk"@nb,
        "Peano-rekenkunde"@nl,
        "Peanoaritmetikk"@nn,
        "aritmética de Peano"@pt,
        "арифметика Пеано"@ru,
        "Peanova aritmetika"@sk,
        "Peanoaritmetik"@sv,
        "арифметика Пеано"@uk,
        "số học Peano"@vi,
        "皮亚诺算术"@zh,
        "皮亚诺算术"@zh-cn,
        "皮亚诺算术"@zh-hans,
        "皮亞諾算術"@zh-hant ;
    schema1:dateModified "2026-10-01T20:33:48+00:00"^^xsd:dateTime ;
    schema1:description "Theorie der Arithmetik"@de,
        "axiomatic theory of the arithmetic of nonnegative integers"@en,
        "formala teorio pri la aritmetiko de nenegativaj entjeroj"@eo,
        "théorie axiomatique"@fr,
        "teoria matematica del primo ordine"@it ;
    schema1:version 2551908642 ;
    wikibase:identifiers 7 ;
    wikibase:sitelinks 20 ;
    wikibase:statements 14 ;
    skos:altLabel "Schéma indukce"@cs,
        "PA"@de,
        "PA"@en,
        "PA"@lb,
        "формальная арифметика"@ru,
        "Peanos aritmetik"@sv,
        "формальна арифметика"@uk ;
    p:P10565 wds:Q49938-C1CC2907-E7C6-48DF-9CED-74DCE84A3F40 ;
    p:P14541 wds:Q49938-13767BBA-50E2-4F83-B0BE-16C8D45856EB ;
    p:P1482 wds:Q49938-a36e9d23-401e-2118-25d0-fe8dd893f23d ;
    p:P1813 wds:Q49938-df34e2e7-47f1-a921-9cb4-d54969c12c50 ;
    p:P2283 wds:Q49938-510987ca-4b85-4211-76e1-ea9fe2ea3306 ;
    p:P2671 wds:Q49938-567C5F00-CBCE-422C-ABFF-A8F766BA04A5,
        wds:Q49938-F3EB516A-CD89-4CF3-8F47-7AFAE2F4F0FA ;
    p:P279 wds:Q49938-ad178ea2-49d4-8765-13ff-6ef6b7a68edc ;
    p:P2812 wds:Q49938-4345c6d3-4fb1-e9ba-4704-3beea7a2a787 ;
    p:P31 wds:Q49938-fc125ac2-4963-aaca-ce22-5c7f63e50937 ;
    p:P4215 wds:Q49938-af52e186-4ed2-4340-91bb-1535b163402d ;
    p:P6104 wds:Q49938-FF4EB7C7-D1FC-4EA4-A9E9-272527A2B38D ;
    p:P6477 wds:Q49938-8b735bfb-4678-d086-3c27-b7fe61e19b5a ;
    p:P691 wds:Q49938-afbb94ad-469e-1968-b200-2ce163cc8366 ;
    wdtn:P2671 <http://g.co/kg/g/121v2d7_>,
        <http://g.co/kg/g/122n5dnb> ;
    wdt:P10565 "218527" ;
    wdt:P14541 "1ckptF" ;
    wdt:P1482 <https://proofassistants.stackexchange.com/tags/peano-arithmetic> ;
    wdt:P1813 "PA"@en ;
    wdt:P2283 wd:Q842755 ;
    wdt:P2671 "/g/121v2d7_",
        "/g/122n5dnb" ;
    wdt:P279 wd:Q11205 ;
    wdt:P2812 "PeanoArithmetic" ;
    wdt:P31 wd:Q10859910 ;
    wdt:P4215 "Peano arithmetic" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6477 wd:Q430001 ;
    wdt:P691 "ph468053" .