|
rdfs:label
|
"Logica algebrica"@it
"Logika aljabar"@id
"Logisk algebra"@da
"Lògica algebraica"@ca
"algebra logiko"@eo
"algebraic logic"@en
"algebraická logika"@cs
"algebraische Logik"@de
"logică algebrică"@ro
"logique algébrique"@fr
"lógica algebraica"@es
"lógica algébrica"@pt
"lógica algébrica"@pt-br
"αλγεβρική λογική"@el
"Алгебралық логика"@kk
"алгебарска логика"@mk
"алгебраическая логика"@ru
"алгебраїчна логіка"@uk
"منطق جبری"@fa
"အက္ခရာသင်္ချာနည်းကျ ယုတ္တိဗေဒ"@my
"代数逻辑"@zh
"代数逻辑"@zh-hans
"代數邏輯"@yue
"代數邏輯"@zh-hant
"代數邏輯"@zh-hk
"대수 논리"@ko
|
|
skos:altLabel
|
"Algebraic logic"@en
|
|
schema:description
|
"raisonnement obtenu en manipulant des équations avec des variables libres"@fr
"reasoning about equations with free variables"@en
|
|
schema:dateModified
|
"2026-10-02T13:42:19+00:00"^^xsd:dateTime
|
|
schema:version
|
2552176986
|
|
wikibase:identifiers
|
11
|
|
wikibase:sitelinks
|
13
|
|
wikibase:statements
|
15
|
|
p:P10283
|
wd:statement/Q1005222-D9F1B337-3CAA-4127-B3A1-EC897F1870B4
|
|
p:P10376
|
wd:statement/Q1005222-2d44fd56-43d6-3923-f20f-53ae5a6ce6ae
|
|
p:P279
|
wd:statement/Q1005222-2851747d-4578-82bf-c402-9fadfdfbac24
|
|
p:P31
|
wd:statement/Q1005222-ee4b5275-4bb3-f835-446a-97afcffb1bb1
|
|
p:P3285
|
wd:statement/Q1005222-ba32dc47-423b-63df-4e68-cc25d8adaecb
|
|
p:P3417
|
wd:statement/Q1005222-B2E5F00E-BE9F-4310-9D49-49AAED50D646
|
|
p:P373
|
wd:statement/Q1005222-cc5dbee0-40bb-6a60-5566-bb08c26e211d
|
|
p:P3827
|
wd:statement/Q1005222-A9AB6217-27E7-430B-BEC9-985D192BD4FD
|
|
p:P3847
|
wd:statement/Q1005222-4a5f25c5-43d2-99de-6844-deac4d0746fe
|
|
p:P6366
|
wd:statement/Q1005222-D3F8ACA9-8BE1-40B1-BC12-80E1012F3B79
|
|
p:P646
|
wd:statement/Q1005222-168863F0-2473-4BCF-B507-E0DC0FDA887D
|
|
p:P691
|
wd:statement/Q1005222-DBC73C60-6413-4D95-89F7-B089DC5DD16F
|
|
p:P8313
|
wd:statement/Q1005222-F3402617-0BFB-45AA-81A7-1CDED25A1A81
|
|
p:P8408
|
wd:statement/Q1005222-EBF06055-2F67-44E7-8EB6-30EBB46367EF
|
|
p:P910
|
wd:statement/Q1005222-2CCE9E1E-4CA0-4501-A8F1-BBA6779B404B
|
|
p:direct-normalized/P3285
|
<http://msc2010.org/resources/MSC/2010/03Gxx>
|
|
p:direct-normalized/P6366
|
<https://makg.org/entity/86523455>
|
|
p:direct-normalized/P8408
|
<http://kbpedia.org/kko/rc/AlgebraicLogic>
|
|
wdt:P10283
|
"C86523455"
|
|
wdt:P10376
|
"mathematics/algebraic-logic"
|
|
wdt:P279
|
mathematical logic
|
|
wdt:P31
|
branch of mathematics
|
|
wdt:P3285
|
"03Gxx"
|
|
wdt:P3417
|
"Algebraic-Logic"
|
|
wdt:P373
|
"Algebraic logic"
|
|
wdt:P3827
|
"algebraic-logic"
|
|
wdt:P3847
|
"algebraic_logic"
|
|
wdt:P6366
|
"86523455"
|
|
wdt:P646
|
"/m/026gyjw"
|
|
wdt:P691
|
"ph249426"
|
|
wdt:P8313
|
"logisk_algebra"
|
|
wdt:P8408
|
"AlgebraicLogic"
|
|
wdt:P910
|
Category:Algebraic logic
|