@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:Q1137814 rdfs:label "بنائية"@ar,
        "constructivisme"@ca,
        "konstruktivní matematika"@cs,
        "konstruktivisme"@da,
        "mathematischer Konstruktivismus"@de,
        "constructivism"@en,
        "matematika konstruismo"@eo,
        "constructivismo"@es,
        "برساختگرایی"@fa,
        "konstruktivismi"@fi,
        "constructivisme"@fr,
        "קונסטרוקטיביזם"@he,
        "Կոնստրուկտիվ մաթեմատիկա"@hy,
        "costruttivismo matematico"@it,
        "構成主義 (数学)"@ja,
        "구성주의"@ko,
        "constructivisme"@nl,
        "Matematisk konstruktivisme"@nn,
        "Konstruktywizm w filozofii matematyki"@pl,
        "construtivismo"@pt,
        "construtivismo"@pt-br,
        "Constructivism"@ro,
        "конструктивная математика"@ru,
        "matematihkalaš konstruktivisma"@se,
        "konstruktivizem"@sl,
        "matemaatlâš konstruktivism"@smn,
        "matemaattlaž konstruktivismm"@sms,
        "konstruktivism"@sv,
        "Oluşturmacı matematik"@tr,
        "конструктивізм"@uk,
        "Toán học kiến thiết"@vi,
        "数学结构主义"@zh,
        "数学结构主义"@zh-hans,
        "數學結構主義"@zh-hant,
        "數學結構主義"@zh-hk ;
    schema1:dateModified "2026-06-15T17:32:20+00:00"^^xsd:dateTime ;
    schema1:description "وجهة النظر الرياضية التي تقول بأن أدلة الوجود يجب أن تكون بناءة"@ar,
        "matematisk filosofi"@da,
        "mathematik-philosopische Richtung, die eine Reihe von Axiomen in Frage stellt"@de,
        "mathematical viewpoint that existence proofs must be constructive"@en,
        "filozofio de matematiko"@eo,
        "escuela en la filosofía de las matemáticas"@es,
        "position vis-à-vis des mathématiques"@fr,
        "構成的な視点は、古典的な解釈をもって半端なままである、存在記号のひとつの立証的な解釈を含む。"@ja,
        "wiskunde"@nl,
        "negação da validade do axioma da escolha"@pt,
        "математическое мировоззрение, согласно которому доказательства существования должны быть конструктивными"@ru,
        "matematično stališče, da morajo biti dokazi obstoja konstruktivni"@sl ;
    schema1:version 2506380150 ;
    wikibase:identifiers 18 ;
    wikibase:sitelinks 23 ;
    wikibase:statements 25 ;
    skos:altLabel "konstruktivistisk logik"@da,
        "konstruktivistische Mathematik"@de,
        "constructive mathematics"@en,
        "constructivist mathematics"@en,
        "mathematical constructivism"@en,
        "konstruisma matematiko"@eo,
        "matemaattinen konstruktivismi"@fi,
        "mathématique constructive"@fr,
        "mathématiques constructives"@fr,
        "הוכחה קונסטרוקטיבית"@he,
        "לוגיקה קונסטרוקטיבית"@he,
        "costruttivismo"@it,
        "構成 (数学)"@ja,
        "構成的数学"@ja,
        "구성주의 수학"@ko,
        "Constructivismul matematic"@ro,
        "конструктивизм"@ru,
        "konstruktivisma"@se,
        "konstruktivism"@smn,
        "konstruktivismm"@sms,
        "matematisk konstruktivism"@sv,
        "Matematiksel Oluşturmacılık"@tr,
        "数学构造主义"@zh ;
    p:P11514 wds:Q1137814-505B3425-7F24-46AD-9505-FCBD457D71B0 ;
    p:P1343 wds:Q1137814-ca803e8e-3819-4026-ab1a-30da43fb0937 ;
    p:P13591 wds:Q1137814-7692FC10-A4E0-4D08-8570-7C8C50426104 ;
    p:P1417 wds:Q1137814-D73BA4AE-F0B4-424A-B9EB-0B0F900AC305 ;
    p:P1482 wds:Q1137814-0e4c5cb6-4a6f-a4e2-b3ee-dc803607ac83,
        wds:Q1137814-b9bcb2bb-4547-e6b2-28b6-d04830d3dab7,
        wds:Q1137814-e1d471ab-4e6e-4da3-911b-b2a757ac8f76 ;
    p:P227 wds:Q1137814-46D2683B-186D-4A0F-B9AF-60655EC080C0 ;
    p:P2581 wds:Q1137814-1770E48F-1E34-4FB0-8C19-C4436EB257CE ;
    p:P279 wds:Q1137814-0d48eeaf-4e29-368a-ae47-49d550204f1d ;
    p:P2924 wds:Q1137814-0a74df28-4270-2f5c-4ac4-7ef6603070ce ;
    p:P3123 wds:Q1137814-6B916675-9AEA-4A4D-B863-01BC6A658EFA ;
    p:P3219 wds:Q1137814-496A45D1-372A-4789-BEE4-9BAF2758875B ;
    p:P361 wds:Q1137814-10c9791c-4cdc-b598-adb2-22d1f427a03a ;
    p:P3827 wds:Q1137814-28F7DE96-A38C-499E-B145-56FF6E19B703,
        wds:Q1137814-6D26D5C4-D0C3-4BC8-B5E3-18FCC8A81628 ;
    p:P4215 wds:Q1137814-97612a47-4dc5-26fb-cd90-802a6c99428e ;
    p:P5088 wds:Q1137814-FAE52820-91CE-4402-AE1B-0908D59F7372 ;
    p:P6366 wds:Q1137814-5C7A27B3-763B-46C7-897D-0A1464B4AE97 ;
    p:P646 wds:Q1137814-F0915F0C-B3F2-4F5E-95FC-A53C51CA40A2 ;
    p:P691 wds:Q1137814-8A03889B-D90C-4DFA-81A5-17112900DEDB ;
    p:P7554 wds:Q1137814-756957ef-4d1b-c176-4079-594abe4b76be ;
    p:P8313 wds:Q1137814-0d75e712-4155-1948-be52-bde4096787c9 ;
    p:P8408 wds:Q1137814-80273232-A8F3-442B-BBD1-E6CD7525C2DC ;
    p:P910 wds:Q1137814-AA9F467F-E7DA-4AC3-9010-D4C8B47789EF ;
    wdtn:P227 <https://d-nb.info/gnd/4165105-4> ;
    wdtn:P2581 <http://babelnet.org/rdf/s13993378n> ;
    wdtn:P6366 <https://makg.org/entity/104283011> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/ConstructivismMathematics> ;
    wdt:P11514 "konstruktivnaia-matematika-bb072a" ;
    wdt:P1343 wd:Q124737632 ;
    wdt:P13591 "concept/e7e2c48e-4934-4516-8ab0-0e6dcf5e6c88" ;
    wdt:P1417 "topic/constructivism-philosophy-of-mathematics" ;
    wdt:P1482 <https://cstheory.stackexchange.com/tags/constructive-mathematics>,
        <https://mathoverflow.net/tags/constructive-mathematics>,
        <https://proofassistants.stackexchange.com/tags/constructive> ;
    wdt:P227 "4165105-4" ;
    wdt:P2581 "13993378n" ;
    wdt:P279 wd:Q12558574 ;
    wdt:P3123 "mathematics-constructive" ;
    wdt:P3219 "constructivisme-mathematique" ;
    wdt:P361 wd:Q180536 ;
    wdt:P3827 "constructive-mathematics",
        "mathematical-constructivism" ;
    wdt:P4215 "constructive mathematics" ;
    wdt:P5088 "con-math" ;
    wdt:P6366 "104283011" ;
    wdt:P646 "/m/05956" ;
    wdt:P691 "ph293198" ;
    wdt:P7554 "Constructive_mathematics" ;
    wdt:P8313 "konstruktivistisk_logik" ;
    wdt:P8408 "ConstructivismMathematics" ;
    wdt:P910 wd:Q9621872 .