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