@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:Q236975 rdfs:label "منطق تقليدي"@ar,
        "класічная логіка"@be,
        "клясычная лёгіка"@be-tarask,
        "lògica clàssica"@ca,
        "klasická logika"@cs,
        "klassische Logik"@de,
        "classical logic"@en,
        "klasika logiko"@eo,
        "lógica clásica"@es,
        "Klassikaline loogika"@et,
        "منطق کلاسیک"@fa,
        "logique classique"@fr,
        "lóxica clásica"@gl,
        "לוגיקה קלאסית"@he,
        "शास्त्रीय तर्कशास्त्र"@hi,
        "klasszikus logika"@hu,
        "logika klasik"@id,
        "logica classica"@it,
        "古典論理"@ja,
        "logji be lo jdice"@jbo,
        "고전논리학"@ko,
        "Klassesch Logik"@lb,
        "klasikinė logika"@lt,
        "класична логика"@mk,
        "klassieke logica"@nl,
        "lógica clássica"@pt,
        "logică clasică"@ro,
        "классическая логика"@ru,
        "klasická logika"@sk,
        "klasična logika"@sl,
        "класична логика"@sr,
        "klassisk logik"@sv,
        "மரபு அளவையியல்"@ta,
        "ตรรกศาสตร์แบบฉบับ"@th,
        "Klasikong lohika"@tl,
        "klasik mantık"@tr,
        "класична логіка"@uk,
        "lòzega clàsega"@vec,
        "古典邏輯"@yue,
        "经典逻辑"@zh,
        "经典逻辑"@zh-cn,
        "经典逻辑"@zh-hans,
        "經典邏輯"@zh-hant,
        "經典邏輯"@zh-hk,
        "经典逻辑"@zh-sg,
        "經典邏輯"@zh-tw ;
    schema1:dateModified "2026-11-03T13:14:10+00:00"^^xsd:dateTime ;
    schema1:description "logische Systeme"@de,
        "class of formal logics"@en,
        "sistema formal"@es,
        "système logique formel développé à partir de la fin du XIXe siècle"@fr,
        "variante máis común de lóxica dedutiva"@gl,
        "class sesuatu logika formal"@id,
        "branca della logica formale"@it,
        "形式論理の部類"@ja,
        "matematiksel mantıkta 19. yüzyılın sonundan itibaren geliştirilen ilk dil ve matematiksel akıl yürütme biçimlendirmesi"@tr ;
    schema1:version 2564334354 ;
    wikibase:identifiers 13 ;
    wikibase:sitelinks 29 ;
    wikibase:statements 31 ;
    skos:altLabel "المنطق التقليدي"@ar,
        "Zweiwertige Logik"@de,
        "Frege–Russell logic"@en,
        "standard logic"@en,
        "lógica estándar"@es,
        "Standardloogika"@et,
        "לוגיקה סטנדרטית"@he,
        "Logica bivalente"@it,
        "古典論理学"@ja,
        "standardna logika"@sl,
        "standart mantık"@tr,
        "古典逻辑"@zh ;
    p:P10283 wds:Q236975-797EE76B-FA2B-4F6B-8A42-8D70C829B931 ;
    p:P1051 wds:Q236975-BC7E8E18-BF7F-4C7B-BD2C-AEC7BA268B4D ;
    p:P11093 wds:Q236975-FF6E80E4-AC72-4955-B2B1-7EB6B57AD90D ;
    p:P1424 wds:Q236975-60408714-2831-45b6-83e8-c4f9f4ce660a ;
    p:P1482 wds:Q236975-cd33b77b-4caf-9364-1942-6c84e481bd38 ;
    p:P1552 wds:Q236975-1d17f892-4d72-5689-49d4-07a302f4a731,
        wds:Q236975-2ea8bbb3-4219-1e37-a2a8-0368e6d4a469,
        wds:Q236975-468dd64a-4ab8-e08b-1966-3a8f54558e06,
        wds:Q236975-7cd702a2-4a17-dd0d-4890-1098e37b8353,
        wds:Q236975-935d2445-471a-190f-7925-1d6a7c71ac86,
        wds:Q236975-bf9a87a3-4cc7-18b6-dc0c-2c5a0a0b293b,
        wds:Q236975-c53fda19-4bf9-8342-32d5-b86a4a6ac0cd ;
    p:P156 wds:Q236975-2351f22a-4bab-66a0-86a8-0320cd511814,
        wds:Q236975-3D917413-BFCC-46D0-9562-22184260DBAA ;
    p:P227 wds:Q236975-E3C26E15-CF2F-49B4-A94F-A5383C007E6E ;
    p:P2579 wds:Q236975-37c1356a-4035-75f0-7906-aaece1c7bae1,
        wds:Q236975-5b57679c-487c-973b-8d1a-7ce666de3c8c,
        wds:Q236975-d0e1ebb2-42a9-ffc1-7d98-849cc5e8b252 ;
    p:P279 wds:Q236975-eda604d7-48ed-8c95-2640-ebf1227bb175 ;
    p:P3123 wds:Q236975-8D1E40ED-ED52-45AC-9DB7-4AD9A94D6B43 ;
    p:P3235 wds:Q236975-f87bfa28-4587-abe8-b3b2-9b53bf8c4e79 ;
    p:P3417 wds:Q236975-1A928942-F2A0-4AD0-AD9B-4846BC07F5C7 ;
    p:P361 wds:Q236975-608E5285-3B62-4FFD-BD6C-28F0ECB02395 ;
    p:P373 wds:Q236975-749843B5-337F-457B-9BA2-19CB09891C3C ;
    p:P4215 wds:Q236975-26631B95-8157-4B48-9216-910B46C99C2A ;
    p:P6366 wds:Q236975-967D4767-8C89-40F5-9F8B-73E90A10E461 ;
    p:P646 wds:Q236975-833BCF3C-3744-4A10-89FB-90891D77564C ;
    p:P8408 wds:Q236975-92914809-773B-4202-BAEE-BD3AB5F5802F ;
    p:P910 wds:Q236975-13E68682-1630-45EF-93A4-AD22FE1E3DD5 ;
    p:P9545 wds:Q236975-4EB03A49-2A0B-482A-9603-034917A5C80F ;
    p:P9621 wds:Q236975-f2cd1080-45ae-8842-1877-af442d1f866b ;
    wdtn:P227 <https://d-nb.info/gnd/4333219-5> ;
    wdtn:P6366 <https://makg.org/entity/32241873> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/ClassicalLogic> ;
    wdt:P10283 "C32241873" ;
    wdt:P1051 "7097" ;
    wdt:P11093 "klasik_mantik" ;
    wdt:P1424 wd:Q18668371 ;
    wdt:P1482 <https://proofassistants.stackexchange.com/tags/classical-logic> ;
    wdt:P1552 wd:Q1945137,
        wd:Q468422,
        wd:Q5155091,
        wd:Q5988174,
        wd:Q60190,
        wd:Q737471,
        wd:Q868437 ;
    wdt:P156 wd:Q239179 ;
    wdt:P227 "4333219-5" ;
    wdt:P2579 wd:Q1166618,
        wd:Q21198,
        wd:Q491412 ;
    wdt:P279 wd:Q17488292 ;
    wdt:P3123 "logic-classical" ;
    wdt:P3235 "classical-logic" ;
    wdt:P3417 "Classical-Logic" ;
    wdt:P361 wd:Q8078 ;
    wdt:P373 "Classical logic" ;
    wdt:P4215 "classical logic" ;
    wdt:P6366 "32241873" ;
    wdt:P646 "/m/0fhpt" ;
    wdt:P8408 "ClassicalLogic" ;
    wdt:P910 wd:Q7470264 ;
    wdt:P9545 "204652" ;
    wdt:P9621 "logica-classica" .