@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 wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q54500890 rdfs:label "Induktionsaxiom"@de,
        "principle of mathematical induction"@en,
        "principo de matematika indukto"@eo,
        "principio de inducción matemática"@es,
        "principe de récurrence"@fr,
        "principio di induzione"@it,
        "princípio de indução matemática"@pt,
        "принцип математической индукции"@ru,
        "načelo matematične indukcije"@sl ;
    schema1:dateModified "2025-02-04T06:44:11+00:00"^^xsd:dateTime ;
    schema1:description "mathematical axiom"@en,
        "assioma matematico"@it ;
    schema1:version 2306654145 ;
    wikibase:identifiers 3 ;
    wikibase:sitelinks 2 ;
    wikibase:statements 8 ;
    skos:altLabel "induction axiom"@en,
        "mathematical induction axiom"@en,
        "principle of induction"@en,
        "principle of weak induction"@en,
        "weak induction"@en,
        "weak induction axiom"@en,
        "principio de inducción"@es,
        "principio d'induzione"@it,
        "аксиома индукции"@ru,
        "аксиома математической индукции"@ru,
        "аксиома полной индукции"@ru,
        "принцип индукции"@ru,
        "indukcijski aksiom"@sl ;
    p:P1542 wds:Q54500890-1e3330c9-44b9-bfd2-5839-e00d0fbabb3d ;
    p:P2534 wds:Q54500890-6e90ed5e-4418-7c04-7330-6293bab41ae1 ;
    p:P2812 wds:Q54500890-c5b0166c-49d9-ea86-4076-33d6f3d86cc9 ;
    p:P31 wds:Q54500890-6a60c196-445d-1f4f-ca47-60467435f9ce ;
    p:P361 wds:Q54500890-19741073-4e86-287b-b107-34fe45b40360 ;
    p:P6104 wds:Q54500890-979F8164-B36A-4771-B20D-ADE529F8B8DB ;
    p:P6781 wds:Q54500890-81591713-40d8-805b-588a-c7ddf9d9c2a7 ;
    p:P7554 wds:Q54500890-8eaffda6-4e21-31c1-bc9c-a336fcddce9f ;
    wdt:P1542 wd:Q178377 ;
    wdt:P2534 "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mi>P</mi><mo stretchy=\"false\">(</mo><mn>0</mn><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">&#x2227;</mo><mi mathvariant=\"normal\">&#x2200;</mi><mi>x</mi><mo stretchy=\"false\">(</mo><mi>P</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27F9;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mi>P</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">+</mo><mn>1</mn><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27F9;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mi mathvariant=\"normal\">&#x2200;</mi><mi>x</mi><mi>P</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2812 "PrincipleofMathematicalInduction" ;
    wdt:P31 wd:Q17736 ;
    wdt:P361 wd:Q842755 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6781 "Principle_of_Mathematical_Induction" ;
    wdt:P7554 "Induction_axiom" .