|
rdfs:label
|
"logical system"@en
"logický systém"@cs
"logikai rendszer"@hu
"logiksistemo"@eo
"logisch systeem"@nl
"logisches System"@de
"logisk system"@nb
"logiskt system"@sv
"logični sistem"@sl
"sistem logic"@ro
"sistem logik"@ms
"sistem logjik"@sq
"sistema logico"@it
"sistema lògic"@ca
"sistema lòzego"@vec
"sistema lógico"@es
"sistema lógico"@pt
"sistema lógico"@pt-br
"sistema lóxico"@gl
"système logique"@fr
"логик система"@tt
"логическая система"@ru
"логички систем"@mk
"логички систем"@sr
"логічна система"@uk
"лягічная сыстэма"@be-tarask
"نظام منطقي"@ar
"論理体系"@ja
"邏輯系統"@zh
|
|
skos:altLabel
|
"Logik"@de
"deductive system"@en
"deduktivt system"@nb
"det logiske systemet"@nb
"logic"@en
"logikk"@nb
"sistem deductiv"@ro
"sistema deductivo"@es
"sistemas lógicos"@pt-br
"sistemas lógicos"@pt
"système déductif"@fr
"дедуктивна система"@uk
"логіка"@uk
|
|
schema:description
|
"formales System, das festlegt, welche Schlussfolgerungen gültig sind"@de
"jenis sistem"@ms
"lloj i sistemit"@sq
"sistema formal dedicado al razonamiento y a las deducciones lógicas"@es
"système formel dédié au raisonnement et aux déductions logiques"@fr
"tip de sistem"@ro
"tipo de sistema"@pt
"tipo de sistema"@pt-br
"tipo di sistema"@it
"type of system"@en
"type system"@nb
"тип системи"@uk
|
|
schema:dateModified
|
"2026-10-03T12:59:48+00:00"^^xsd:dateTime
|
|
schema:version
|
2552588856
|
|
wikibase:identifiers
|
4
|
|
wikibase:sitelinks
|
2
|
|
wikibase:statements
|
11
|
|
p:P1417
|
wd:statement/Q17488292-99BB03C6-5CFD-4AAA-9D77-B23DFA987FF7
|
|
p:P1552
|
wd:statement/Q17488292-16a3afbd-4756-d488-a245-a455e3e4be4a
|
|
p:P2579
|
wd:statement/Q17488292-0cc7b5be-41ad-3778-bcea-4ad107c3795f
|
|
p:P2671
|
wd:statement/Q17488292-3337E4D9-82A9-4F25-9FE4-46CEE9299C6D
|
|
p:P2737
|
wd:statement/Q17488292-e88a8da0-49d4-b460-e4a0-1ad38338faea
|
|
p:P279
|
wd:statement/Q17488292-798f863c-4c52-4b69-987e-7f84fd7f919a
|
|
p:P31
|
wd:statement/Q17488292-f3143b95-41a3-eaf7-8ca1-546c0c8acd53
|
|
p:P527
|
wd:statement/Q17488292-7d0e0c99-474b-a351-b100-0e1e4d054a74
|
|
wd:statement/Q17488292-7f3c5ca9-4fff-e8ca-9799-ebe36dcfbd45
|
|
p:P691
|
wd:statement/Q17488292-2A32B605-C512-4544-9901-66423649AF63
|
|
p:P9322
|
wd:statement/Q17488292-3FC7CC72-1C17-4CB6-AB7B-B6D7D04C95C6
|
|
p:direct-normalized/P2671
|
<http://g.co/kg/g/11b5v5p83t>
|
|
wdt:P1417
|
"topic/logical-system"
|
|
wdt:P1552
|
consistency
|
|
wdt:P2579
|
logic
|
|
wdt:P2671
|
"/g/11b5v5p83t"
|
|
wdt:P2737
|
list of values as qualifiers
|
|
wdt:P279
|
formal system
|
|
wdt:P31
|
type of system
|
|
wdt:P527
|
interpretation
|
|
formal system
|
|
wdt:P691
|
"ph122432"
|
|
wdt:P9322
|
"h0003390-logicke-systemy"
|