@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:Q176786 rdfs:label "المنطق الحدسي"@ar,
        "lògica intuïcionista"@ca,
        "intuicionistická logika"@cs,
        "Intuitionismus"@de,
        "Διαισθητική λογική"@el,
        "intuitionistic logic"@en,
        "intuiciisma logiko"@eo,
        "lógica intuicionista"@es,
        "intuitsionistlik loogika"@et,
        "منطق شهودی"@fa,
        "logique intuitionniste"@fr,
        "lóxica intuicionista"@gl,
        "לוגיקה אינטואיטיבית"@he,
        "matematikai intuicionizmus"@hu,
        "Կոնստրուկտիվ տրամաբանություն"@hy,
        "logica intuizionista"@it,
        "直観主義論理"@ja,
        "მათემატიკური ინტუიციონიზმი"@ka,
        "직관 논리"@ko,
        "Интуиција (философија)"@mk,
        "അന്തഃപ്രജ്ഞ"@ml,
        "logika intuicjonistyczna"@pl,
        "Antuissionism"@pms,
        "lógica intuicionista"@pt,
        "lógica intuicionista"@pt-br,
        "logică intuiționistă"@ro,
        "Интуиционистское исчисление высказываний"@ru,
        "intuicionistična logika"@sl,
        "intuitionistisk logik"@sv,
        "Sezgicilik"@tr,
        "інтуїціоністська логіка"@uk,
        "直觉主义逻辑"@zh ;
    schema1:dateModified "2025-11-25T18:34:33+00:00"^^xsd:dateTime ;
    schema1:description "various systems of symbolic logic"@en,
        "logique formelle constructive"@fr,
        "logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico"@it,
        "lógica simbólica que fundamenta intuicionismo"@pt,
        "felsefe akımı"@tr ;
    schema1:version 2433918370 ;
    wikibase:identifiers 15 ;
    wikibase:sitelinks 23 ;
    wikibase:statements 22 ;
    skos:altLabel "lògina constructiva"@ca,
        "constructive logic"@en,
        "lógica constructiva"@es,
        "直観論理"@ja,
        "intuicionizem"@sl,
        "konstruktivna logika"@sl,
        "构造性逻辑"@zh,
        "构造逻辑"@zh ;
    p:P10283 wds:Q176786-A28B6146-DC04-4AD2-954C-8515530E8DDA ;
    p:P10376 wds:Q176786-a3d34435-4a73-7165-7ba1-b21b497e9946,
        wds:Q176786-f7cc0d3e-4c74-d008-70e8-93a11acb4069 ;
    p:P1051 wds:Q176786-B02DF9DA-CB04-4CF5-9DDC-444979389D5E ;
    p:P1269 wds:Q176786-FCB50928-4A54-4A70-A5E8-1B2B66209450 ;
    p:P1343 wds:Q176786-1bb9b56e-a49e-43b1-9a05-40d9802a7f9a ;
    p:P1417 wds:Q176786-73947169-1F32-4A05-A5C3-A8E0AA5C5219 ;
    p:P1889 wds:Q176786-D5E52A6D-D514-4092-8646-A76544F67AE9 ;
    p:P227 wds:Q176786-c099df72-492c-a941-328b-9468a99c0433 ;
    p:P2579 wds:Q176786-041C6288-CA1D-4F53-A7F4-AB2AF0775C2A ;
    p:P2812 wds:Q176786-D6CA0BC0-1C93-4218-A8F4-25C50667A94F ;
    p:P31 wds:Q176786-C732C0F9-BC9F-4A8F-B785-3D557546B915 ;
    p:P3123 wds:Q176786-5821bd19-496e-1363-78b7-75afa0bbbc3d ;
    p:P3827 wds:Q176786-A9C414D8-C832-45D4-A532-60BF43A20A82 ;
    p:P4215 wds:Q176786-47E387BA-66D8-4CF1-BB01-D790AE81316B ;
    p:P6104 wds:Q176786-BAB2E0B2-6998-4D5A-BB3B-CD9F69172D1B ;
    p:P6366 wds:Q176786-39C7FEC2-EBCD-41FD-9157-F7235CAC7318 ;
    p:P646 wds:Q176786-FF824C78-B668-4379-BA3E-AA0E9521CBEF ;
    p:P6900 wds:Q176786-7e54ff79-416b-594c-ffb0-0b3d776189eb ;
    p:P7726 wds:Q176786-57088c9a-4974-5ff9-1806-61d2a64a696b ;
    p:P8313 wds:Q176786-9d320b9d-4a77-d227-dc55-7e2fdc532436 ;
    p:P910 wds:Q176786-E31B686A-0084-4DA4-BFEB-929A28D06C22 ;
    wdtn:P227 <https://d-nb.info/gnd/4162199-2> ;
    wdtn:P6366 <https://makg.org/entity/178421362> ;
    wdt:P10283 "C178421362" ;
    wdt:P10376 "computer-science/intuitionistic-logic",
        "mathematics/intuitionistic-logic" ;
    wdt:P1051 "7105" ;
    wdt:P1269 wd:Q8078 ;
    wdt:P1343 wd:Q124737632 ;
    wdt:P1417 "topic/intuitionistic-calculus" ;
    wdt:P1889 wd:Q10879018 ;
    wdt:P227 "4162199-2" ;
    wdt:P2579 wd:Q8078 ;
    wdt:P2812 "IntuitionisticLogic" ;
    wdt:P31 wd:Q12812139 ;
    wdt:P3123 "logic-intuitionistic" ;
    wdt:P3827 "intuitionistic-logic" ;
    wdt:P4215 "intuitionistic logic" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "178421362" ;
    wdt:P646 "/m/016p04" ;
    wdt:P6900 "直観主義" ;
    wdt:P7726 "IntuitionisticLogic" ;
    wdt:P8313 "intuitionistisk_logik" ;
    wdt:P910 wd:Q32794654 .