@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:Q11538 rdfs:label "wiskundige bewys"@af,
        "Demostración matematica"@an,
        "برهان رياضي"@ar,
        "برهان د لماط"@ary,
        "برهان رياضى"@arz,
        "গাণিতিক প্ৰমাণ"@as,
        "Demostración matemática"@ast,
        "Riyazi sübut"@az,
        "Математик иҫбатлау"@ba,
        "матэматычны доказ"@be,
        "матэматычны доказ"@be-tarask,
        "Математическо доказателство"@bg,
        "গাণিতিক প্রমাণ"@bn,
        "Matematički dokaz"@bs,
        "demostració"@ca,
        "ئیسپات"@ckb,
        "riyaziy isbat"@crh,
        "matematický důkaz"@cs,
        "Ĕнентерӳ (математика)"@cv,
        "prawf mathemategol"@cy,
        "matematisk bevis"@da,
        "mathematischer Beweis"@de,
        "μαθηματική απόδειξη"@el,
        "mathematical proof"@en,
        "Mathematical proof"@en-ca,
        "mathematical proof"@en-gb,
        "matematika pruvo"@eo,
        "demostración matemática"@es,
        "tõestus"@et,
        "Froga matematiko"@eu,
        "برهان"@fa,
        "Matemaattinen todistus"@fi,
        "démonstration mathématique"@fr,
        "Bewis"@frr,
        "數學證明"@gan,
        "Démonstrasyon"@gcr,
        "proba matemática"@gl,
        "Beweis"@gsw,
        "הוכחה"@he,
        "गणितीय उपपत्ति"@hi,
        "mathematical proof"@hif,
        "Matematički dokaz"@hr,
        "matematikai bizonyítás"@hu,
        "Մաթեմատիկական ապացույց"@hy,
        "Մաթեմաթիկական ապացոյց"@hyw,
        "prova mathematic"@ia,
        "pembuktian matematika"@id,
        "Stærðfræðileg sönnun"@is,
        "dimostrazione matematica"@it,
        "証明"@ja,
        "Matimatikal pruuf"@jam,
        "cipra"@jbo,
        "მათემატიკური დამტკიცება"@ka,
        "Дәлелдеу"@kk,
        "ಗಣಿತದ ಪುರಾವೆ"@kn,
        "증명"@ko,
        "Îsbata matematîkî"@ku,
        "Demonstratio mathematica"@la,
        "mathematesche Beweis"@lb,
        "matematinis įrodymas"@lt,
        "Matemātisks pierādījums"@lv,
        "證明"@lzh,
        "математички доказ"@mk,
        "തെളിവ് ഗണിതശാസ്ത്രത്തിൽ"@ml,
        "गणितीय पुरावा"@mr,
        "bukti matematik"@ms,
        "بوقتي ماتماتيک"@ms-arab,
        "သင်္ချာဆိုင်ရာ သက်သေပြခြင်း"@my,
        "Chèng-bêng"@nan,
        "matematisk bevis"@nb,
        "Bewies"@nds,
        "गणितीय प्रमाण"@new,
        "wiskundig bewijs"@nl,
        "matematisk bevis"@nn,
        "Demostracion matematica"@oc,
        "ਗਣਿਤਕ ਸਬੂਤ"@pa,
        "dowód"@pl,
        "Preuva matemàtica"@pms,
        "میتھمیٹیکل ثبوت"@pnb,
        "ریاضیکي ثبوت"@ps,
        "prova matemática"@pt,
        "demonstração"@pt-br,
        "demonstrație matematică"@ro,
        "математическое доказательство"@ru,
        "Математічне доказательство"@rue,
        "Dimustrazzioni matimàtica"@scn,
        "رياضياتي ثبوت"@sd,
        "Matematėnis iruodėms"@sgs,
        "Dokaz"@sh,
        "ගණිතමය ඔප්පු කිරීම්"@si,
        "Dôkaz"@sk,
        "matematični dokaz"@sl,
        "Provat matematikore"@sq,
        "математички доказ"@sr,
        "математички доказ"@sr-ec,
        "matematički dokaz"@sr-el,
        "matematiskt bevis"@sv,
        "Thibitisho la kihisabati"@sw,
        "கணித நிறுவல்"@ta,
        "การพิสูจน์เชิงคณิตศาสตร์"@th,
        "Pang-matematikang patibay"@tl,
        "matematiksel ispat"@tr,
        "математик исбатлау"@tt,
        "математической доказательство"@udm,
        "доведення"@uk,
        "ریاضیاتی ثبوت"@ur,
        "chứng minh toán học"@vi,
        "Karig-onan matematika"@war,
        "证明"@wuu,
        "מאטעמאטישער דערווייז"@yi,
        "數學證明"@yue,
        "證明"@zh,
        "证明"@zh-cn ;
    schema1:dateModified "2026-10-13T04:40:21+00:00"^^xsd:dateTime ;
    schema1:description "الاستدلال على صحة عبارة رياضية بناء على عبارة أخرى تعتبر من المسلمات"@ar,
        "дэманстрацыя сапраўднасьці матэматычнага сьцьверджаньня"@be-tarask,
        "raonament realitzat amb una lògica vàlida"@ca,
        "matematická demonstrace pravdivosti tvrzení"@cs,
        "dadl gyfeiriol ar ddatganiad mathemategol"@cy,
        "logische Begründung einer mathematischen Aussage"@de,
        "rigorous demonstration that a mathematical statement follows from its premises"@en,
        "rigora montro, ke io estas logika konsekvenco de la donitaj aksiomoj kaj hipotezoj"@eo,
        "razonamiento realizado con una lógica válida"@es,
        "استدلالی متقاعدکننده است که نشان میدهد یک گزارهٔ ریاضی (با توجه به استانداردهای مربوط)، الزاماً صحیح است"@fa,
        "établissement d'une proposition mathématique à partir d'axiomes et de règles de déduction"@fr,
        "razoamento convincente dentro dos estándares vixentes conducente a que algunha proposición é necesariamente certa"@gl,
        "סדרת טענות הנובעות זו מזו ומגובות בהגדרות ואקסיומות"@he,
        "ek mathematics ke statement ke sachchaai ke test"@hif,
        "տրամաբանական մտահանգումների շղթա, որ ցույց է տալիս որոշակի պնդում ճիշտ է, աքսիոմաների որոշակի հավաքածուի դեպքում։"@hy,
        "demonstrasi cermat untuk menguji logika pada pernyataan matematika"@id,
        "processo di deduzione"@it,
        "命題の真偽を定理・定義を元に示すこと"@ja,
        "수학적 진술에 대한 추론"@ko,
        "binebeşê matematîkê"@ku,
        "formeel sluitend betoog in de wiskunde"@nl,
        "wykazanie prawdziwości zdania"@pl,
        "Raciocínio lógico para validar afirmações teóricas"@pt,
        "demonstrație riguroasă a faptului că o afirmație matematică rezultă din premisele sale"@ro,
        "цепочка логических умозаключений, показывающая, что при каком-то наборе аксиом и правил вывода верно некоторое утверждение"@ru,
        "inferential argument for a mathematical statement"@sco,
        "Maingat at metodolohikal na pagpapakita ng katotohanan ng isang matematikal na pahayag"@tl,
        "ilgilenilen bir önermenin, belirli aksiyomlar esas alınarak, doğru olduğunu gösterme yöntemi"@tr,
        "процедура, за допомогою якої встановлюють істинність гіпотези чи будь-якого твердження"@uk,
        "מאטעמאטישער באוויר פון אן ארויסזאג"@yi ;
    schema1:version 2556467081 ;
    wikibase:identifiers 16 ;
    wikibase:sitelinks 115 ;
    wikibase:statements 44 ;
    skos:altLabel "إثبات رياضي"@ar,
        "البرهان الرياضى"@ar,
        "البرهنة الرياضية"@ar,
        "برهان رياضي"@ary,
        "برهان ماطيماتيكي"@ary,
        "اثبات رياضى"@arz,
        "دليل رياضى"@arz,
        "доказ"@be-tarask,
        "Beweis"@de,
        "Beweis in der Mathematik"@de,
        "axiomatischer Beweis"@de,
        "mathematisches Beweisen"@de,
        "proof"@en,
        "proof (mathematics)"@en,
        "proof in mathematics"@en,
        "pruvo"@eo,
        "demostracion matematica"@es,
        "demostración"@es,
        "matemaatiline tõestus"@et,
        "Demonstration (mathematiques elementaires)"@fr,
        "Démonstration"@fr,
        "Démonstration (Mathématiques Élémentaires)"@fr,
        "démonstration"@fr,
        "preuve"@fr,
        "preuve mathématique"@fr,
        "demostración matemática"@gl,
        "proba"@gl,
        "bizonyítás (matematika)"@hu,
        "ապացույց"@hy,
        "prova matemática"@pt-br,
        "demonstrație"@ro,
        "demonstrație în matematică"@ro,
        "доказательство"@ru,
        "dokaz"@sl,
        "dokaz v matematiki"@sl,
        "matematiksel kanıt"@tr,
        "математичне доведення"@uk ;
    p:P10 wds:Q11538-6f15d002-40f0-0a5d-a7f0-12eb69651a57,
        wds:Q11538-e36c088f-4e5e-cc37-8d0a-0ef56dade8df,
        wds:Q11538-eeaff88a-46e8-d1f7-e75a-d8ee498dd91d ;
    p:P10283 wds:Q11538-4D973A4D-45AE-4E98-89D9-F40CC11B3310 ;
    p:P10376 wds:Q11538-ee7605e1-418c-dd16-b694-dfc36f168aae ;
    p:P13750 wds:Q11538-5FDCF2D6-06E9-45B1-A41B-DB002D72F0EB ;
    p:P1417 wds:Q11538-8F7C1C62-6E00-40AE-89C9-9121480DC8C6 ;
    p:P1482 wds:Q11538-0bd21b6a-4c98-b714-7ceb-d879f6d65b2f,
        wds:Q11538-c08a4b64-4edd-4c72-de17-fc2a76db2808 ;
    p:P155 wds:Q11538-6ab53b23-49e6-bc94-3397-3e73ebb678e5 ;
    p:P1552 wds:Q11538-c8eaa521-4b3b-03c8-6c84-8c842f5c218b,
        wds:Q11538-e4e194ca-4f1a-e30a-d2da-30662fc3758f ;
    p:P1889 wds:Q11538-57909BFE-3FC6-495F-917F-6BF8F7132B64 ;
    p:P2283 wds:Q11538-8b8130dc-40ab-81f5-1ca5-6cc393614d37,
        wds:Q11538-c9ccb61f-4deb-d8e8-66d4-86412bd78aa7,
        wds:Q11538-db7e7d4c-4944-32b6-1bab-0fbd2cdc26ac ;
    p:P2579 wds:Q11538-50b9bba1-4b64-c0c2-0e43-8a42023ee96c ;
    p:P279 wds:Q11538-2fff9fb8-48ff-82c7-1673-2385e65028fa,
        wds:q11538-832d699f-4fc8-0b5f-58a3-8f5e8a7212c4 ;
    p:P2812 wds:Q11538-DE66BD40-A85D-43C1-971B-CC9F62DD55AC ;
    p:P31 wds:Q11538-39f80b3d-41b1-9bec-a20b-bfde43541b39,
        wds:Q11538-9d2b99d7-44f9-04a7-1a5c-1436bb1c91a5 ;
    p:P3417 wds:Q11538-34236911-C9E3-47D2-8C72-9D9679E34AD4 ;
    p:P3569 wds:Q11538-2F17E390-8E4E-4B5D-92D6-1C5D4B1F66BB ;
    p:P3712 wds:Q11538-d9a526d8-4950-2db6-1ca3-06bb8ccb0b1d ;
    p:P373 wds:q11538-AA3A5ED2-0BC1-4462-92B9-16D5F5030005 ;
    p:P4212 wds:Q11538-2049FADB-D5E9-4207-92E2-E1EE6F3DBA10 ;
    p:P460 wds:Q11538-6a8dc0b1-451d-5a7f-9463-a77c17fe92e0 ;
    p:P5008 wds:Q11538-7A94DAF4-6514-4E8D-88C8-1F45BDFC466D,
        wds:Q11538-957EE10D-A634-4DCA-9637-597E60AD8AE6 ;
    p:P5063 wds:Q11538-AD33EED0-774A-43BC-A8D9-AAAA0671F192 ;
    p:P5555 wds:Q11538-503fa353-485d-5deb-73ba-2a764ec66c4e ;
    p:P6104 wds:Q11538-7A223ACE-5830-43D5-AB58-2F171181E56A ;
    p:P6366 wds:Q11538-18A73FF0-D63A-4AF9-8BC5-5E3E284F0F1A ;
    p:P646 wds:Q11538-8894463C-BEAB-4C6E-A6D5-0523DC9424B1 ;
    p:P6802 wds:Q11538-3d0b817c-48f2-4422-d4ea-d6d23028dc72,
        wds:Q11538-8eec2a3e-4cce-071a-15fe-59290796961c,
        wds:Q11538-d3339a58-426e-f45f-e859-d904b7c6b4fa ;
    p:P691 wds:Q11538-0EF856CC-6522-40D8-AC4E-8C935F42F472 ;
    p:P7033 wds:Q11538-2A61F13C-E49E-419F-B912-E31E0EAB0545 ;
    p:P8408 wds:Q11538-3DB92417-8C5D-49C7-B685-4CAE157A990D ;
    p:P8885 wds:Q11538-b67ab52e-463c-6f71-984e-92fa07702b4b ;
    p:P910 wds:Q11538-4e2951d3-443f-10f3-319d-d8757ec7a76c ;
    p:P9322 wds:Q11538-BE35F35E-9B4B-4859-B4E0-D54B4417CBAC ;
    wdtn:P4212 <https://ark.frantiq.fr/ark:/26678/pcrtdtgqtlY6sa> ;
    wdtn:P5063 <http://globalwordnet.org/ili/i71413> ;
    wdtn:P6366 <https://makg.org/entity/108710211> ;
    wdtn:P7033 <http://vocabulary.curriculum.edu.au/scot/7777> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/Proof> ;
    wdt:P10 <http://commons.wikimedia.org/wiki/Special:FilePath/%D0%94%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2%D0%BE.webm>,
        <http://commons.wikimedia.org/wiki/Special:FilePath/Beweise%20-%20Quatematik.webm>,
        <http://commons.wikimedia.org/wiki/Special:FilePath/Pythag%20anim.gif> ;
    wdt:P10283 "C108710211" ;
    wdt:P10376 "mathematics/mathematical-proof" ;
    wdt:P13750 "14542" ;
    wdt:P1417 "topic/proof-theory" ;
    wdt:P1482 <https://math.stackexchange.com/tags/proofs>,
        <https://matheducators.stackexchange.com/tags/proofs> ;
    wdt:P155 wd:Q319141 ;
    wdt:P1552 wd:Q1047000,
        wd:Q516021 ;
    wdt:P1889 wd:Q19814025 ;
    wdt:P2283 wd:Q17736,
        wd:Q65943,
        wd:Q8078 ;
    wdt:P2579 wd:Q852732 ;
    wdt:P279 wd:Q122766417,
        wd:Q186619 ;
    wdt:P2812 "Proof" ;
    wdt:P31 wd:Q114424400,
        wd:Q24034552 ;
    wdt:P3417 "Proofs-mathematics" ;
    wdt:P3569 "wiskunde/bewijs" ;
    wdt:P3712 wd:Q65943 ;
    wdt:P373 "Mathematical proof" ;
    wdt:P4212 "pcrtdtgqtlY6sa" ;
    wdt:P460 wd:Q2762418 ;
    wdt:P5008 wd:Q5460604,
        wd:Q6173448 ;
    wdt:P5063 "i71413" ;
    wdt:P5555 <http://commons.wikimedia.org/wiki/Special:FilePath/Beispiel%20zum%20Aufbau%20eines%20Beweises.svg> ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "108710211" ;
    wdt:P646 "/m/0l46k" ;
    wdt:P6802 <http://commons.wikimedia.org/wiki/Special:FilePath/LK%20dem%20contraposition.png>,
        <http://commons.wikimedia.org/wiki/Special:FilePath/P.%20Oxy.%20I%2029.jpg>,
        <http://commons.wikimedia.org/wiki/Special:FilePath/Twocolumnproof.png> ;
    wdt:P691 "ph307639" ;
    wdt:P7033 "scot/7777" ;
    wdt:P8408 "Proof" ;
    wdt:P8885 "증명" ;
    wdt:P910 wd:Q6799333 ;
    wdt:P9322 "0249251-matematicke-dukazy" .