@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:Q852732 rdfs:label "Bewysteorie"@af,
        "نظرية البرهان"@ar,
        "Sübut nəzəriyyəsi"@az,
        "тэорыя доказаў"@be-tarask,
        "প্রমাণ তত্ত্ব"@bn,
        "teoria de la demostració"@ca,
        "teorie důkazu"@cs,
        "Beweistheorie"@de,
        "proof theory"@en,
        "pruvoteorio"@eo,
        "teoría de la demostración"@es,
        "tõestusteooria"@et,
        "نظریه برهان"@fa,
        "todistusteoria"@fi,
        "théorie de la démonstration"@fr,
        "teoría da proba"@gl,
        "תורת ההוכחות"@he,
        "प्रमाण सिद्धांत"@hi,
        "Ապացույցների տեսություն"@hy,
        "teoria della dimostrazione"@it,
        "証明論"@ja,
        "증명 이론"@ko,
        "Beweistheorie"@lb,
        "證明論"@lzh,
        "teori bukti"@ms,
        "تيوري بوقتي"@ms-arab,
        "သက်သေပြချက်သီအိုရီ"@my,
        "bewijstheorie"@nl,
        "teoria dowodu"@pl,
        "د ثبوت نظريه"@ps,
        "teoria da prova"@pt,
        "သက်သီပြချက်"@rki,
        "teoria demonstrației"@ro,
        "теория доказательств"@ru,
        "teorija dokazov"@sl,
        "теорија доказа"@sr,
        "теорија доказа"@sr-ec,
        "teorija dokaza"@sr-el,
        "bevisteori"@sv,
        "İspat teorisi"@tr,
        "исбатлау теориясе"@tt,
        "теорія доведення"@uk,
        "teòria de ła demostrasion"@vec,
        "lý thuyết chứng minh"@vi,
        "证明论"@zh,
        "语法地"@zh-cn,
        "证明论"@zh-hans,
        "語法地"@zh-hant ;
    schema1:dateModified "2026-10-22T15:16:17+00:00"^^xsd:dateTime ;
    schema1:description "গাণিতিক যুক্তির শাখা"@bn,
        "Teilgebiet der mathematischen Logik"@de,
        "branch of mathematical logic"@en,
        "fako de matematika logiko"@eo,
        "rama de la lógica matemática"@es,
        "matemaatilise loogika valdkond"@et,
        "branche de la logique mathématique"@fr,
        "ענף בלוגיקה מתמטית"@he,
        "branca della matematica logica"@it,
        "数理論理学の一分野であり、証明を数学的対象として形式的に表して数学的解析を施す分野"@ja,
        "Deelgebitt vun der Mathematescher Logik"@lb,
        "သင်္ချာယုတ္တိဗေဒ၏ ဘာသာခွဲတစ်ခု"@my,
        "dział logiki matematycznej"@pl,
        "ramură a logicii matematice"@ro,
        "раздел математической логики"@ru ;
    schema1:version 2559699062 ;
    wikibase:identifiers 29 ;
    wikibase:sitelinks 30 ;
    wikibase:statements 37 ;
    skos:altLabel "نظريه البرهان"@ar,
        "proof systems"@en,
        "teoria de la demostracion"@es,
        "teoria de la demostración"@es,
        "teoria de la prueba"@es,
        "teoría de la demostracion"@es,
        "teoría de la prueba"@es,
        "تئوری اثبات"@fa,
        "نظریه اثبات"@fa,
        "نظریهٔ برهان"@fa,
        "théorie de la preuve"@fr,
        "teoría da demostración"@gl,
        "תורת ההוכחה"@he,
        "証明 (数学)"@ja,
        "証明理論"@ja,
        "論証 (数学)"@ja,
        "증명론"@ko,
        "증명이론"@ko,
        "математическая теория доказательств"@ru,
        "teorija dokaza"@sl,
        "дәлилләү теориясе"@tt,
        "Теорія доказів"@uk,
        "lí thuyết chứng minh"@vi,
        "验证理论"@zh ;
    p:P10283 wds:Q852732-80BC137B-9B33-4C51-B9B1-3AC022B06CC8 ;
    p:P1036 wds:Q852732-1B6C3412-6B94-47D7-81B2-B57F1379C74C ;
    p:P1149 wds:Q852732-90522def-4f9d-876a-8851-a6840f3704e9 ;
    p:P13591 wds:Q852732-5E00CF02-18EC-4D8E-8A4D-EA0343E6DC88 ;
    p:P1368 wds:Q852732-17e8b4c3-401e-fc9a-042d-876b865fcf07 ;
    p:P13772 wds:Q852732-7426E588-A36D-46E3-BAE0-A7A9D54F55B9 ;
    p:P1482 wds:Q852732-0b192980-4526-1469-cb06-e855b882ab83 ;
    p:P2179 wds:Q852732-AB8B5461-0520-4E4A-880E-38BF23B41745 ;
    p:P227 wds:Q852732-70706296-476a-edf8-b110-b99ec2cb05e3 ;
    p:P2347 wds:Q852732-0C94946D-4C30-4418-8CAF-0EE99EE2E449 ;
    p:P244 wds:Q852732-7db2f6cf-51a2-4e84-ad05-d2605ef9a082 ;
    p:P2578 wds:Q852732-8effda35-4c77-82ac-79ee-f1806cd20e6f ;
    p:P2671 wds:Q852732-33782A82-FE12-4EFC-A0AA-8A4A2C9FB76D ;
    p:P268 wds:Q852732-2d31d7dc-4518-4549-9f64-76ded8daf789 ;
    p:P279 wds:Q852732-1045cc37-4598-b047-8257-59d58c40d5df ;
    p:P2812 wds:Q852732-70B6B6D5-E215-4EA2-B51C-BD55339CF45F ;
    p:P31 wds:Q852732-FCE25090-3626-4D9C-8FAD-03A8CBA2613B,
        wds:q852732-568ae2d7-4f2c-7e4a-f8a8-44b9649cb95d ;
    p:P3123 wds:Q852732-B5071CE4-8D83-435E-BAC6-5C7C8D5B46BD,
        wds:Q852732-B6207CE4-A299-4524-AAC7-A9F5A44BF668 ;
    p:P3219 wds:Q852732-0D0B744D-E0DF-4F3B-92E4-486A2E3B4282,
        wds:Q852732-DEAFFD28-5FE2-4BBF-98AE-FF9BEDF125AF ;
    p:P3285 wds:Q852732-4dd79f5a-42ab-ce1e-6669-7b24c1892072 ;
    p:P349 wds:Q852732-1DB8E118-0432-4E32-B8B0-66106C2B70E8 ;
    p:P3553 wds:Q852732-92C21752-B6A2-4F58-BCBC-470B73AB337C ;
    p:P3827 wds:Q852732-A1BB7C4A-BAD2-45F5-897D-E6464A8530D3 ;
    p:P4215 wds:Q852732-C1E1B45B-0422-4C5F-B313-46C689895BF7 ;
    p:P508 wds:q852732-228DB505-15C1-4F78-BEB2-C2D41F172889 ;
    p:P6104 wds:Q852732-811B8930-35C6-4295-B6ED-D63374BC76B3 ;
    p:P6366 wds:Q852732-47D513EA-3DF9-4DD6-81FE-454B6D16CF0A ;
    p:P646 wds:Q852732-FFEF5EA2-F93B-4FD7-8433-10EBCB7256DC ;
    p:P6781 wds:Q852732-17e45da8-4a03-577e-65d7-ff0a89f29048 ;
    p:P691 wds:Q852732-22F0A9F9-6D38-4155-960B-79AD86881292 ;
    p:P8189 wds:Q852732-7281007E-7184-4B64-839F-083443954131 ;
    p:P8408 wds:Q852732-2E14140F-690F-480D-9F00-D74ACF95F95E ;
    p:P910 wds:Q852732-4553FE69-2969-4B59-AB5A-2CE3C0EFDB03 ;
    p:P9322 wds:Q852732-74E3B057-4382-4293-95E5-65C3FFBA5788 ;
    wdtn:P1149 <http://id.loc.gov/authorities/classification/QA9.54> ;
    wdtn:P227 <https://d-nb.info/gnd/4145177-6> ;
    wdtn:P2347 <http://www.yso.fi/onto/yso/p455> ;
    wdtn:P244 <http://id.loc.gov/authorities/names/sh85107437> ;
    wdtn:P2671 <http://g.co/kg/g/12dpwymzg> ;
    wdtn:P268 <http://data.bnf.fr/ark:/12148/cb122670310#about> ;
    wdtn:P3285 <http://msc2010.org/resources/MSC/2010/03Fxx> ;
    wdtn:P349 <http://id.ndl.go.jp/auth/ndlna/01190375> ;
    wdtn:P508 <http://purl.org/bncf/tid/4936> ;
    wdtn:P6366 <https://makg.org/entity/2318724> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/ProofTheory> ;
    wdt:P10283 "C2318724" ;
    wdt:P1036 "511.36" ;
    wdt:P1149 "QA9.54" ;
    wdt:P13591 "concept/4230d2ca-e04a-4d90-88b4-aa1bccf58ad0" ;
    wdt:P1368 "000137654" ;
    wdt:P13772 "proof-theory" ;
    wdt:P1482 <https://mathoverflow.net/tags/proof-theory> ;
    wdt:P2179 "10003792" ;
    wdt:P227 "4145177-6" ;
    wdt:P2347 "455" ;
    wdt:P244 "sh85107437" ;
    wdt:P2578 wd:Q11538 ;
    wdt:P2671 "/g/12dpwymzg" ;
    wdt:P268 "122670310" ;
    wdt:P279 wd:Q1166618 ;
    wdt:P2812 "ProofTheory" ;
    wdt:P31 wd:Q11862829,
        wd:Q4671286 ;
    wdt:P3123 "proof-theory",
        "proof-theory-development" ;
    wdt:P3219 "theorie-de-la-demonstration",
        "verite-mathematique" ;
    wdt:P3285 "03Fxx" ;
    wdt:P349 "01190375" ;
    wdt:P3553 "19839268" ;
    wdt:P3827 "proof-theory" ;
    wdt:P4215 "proof theory" ;
    wdt:P508 "4936" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "2318724" ;
    wdt:P646 "/m/0191r1" ;
    wdt:P6781 "Definition:Proof_Theory" ;
    wdt:P691 "ph126551" ;
    wdt:P8189 "987007541259805171" ;
    wdt:P8408 "ProofTheory" ;
    wdt:P910 wd:Q7452060 ;
    wdt:P9322 "0334109-teorie-dukazu" .