|
rdfs:label
|
"Predikaatlogika"@af
"Predikaatloogika"@et
"Predikaattilogiikka"@fi
"Predikatlogik"@sv
"Predikátová logika"@cs
"Predikátová logika"@sk
"Prädikatenlogik"@de
"logica dei predicati"@it
"logika predykatów"@pl
"logique des prédicats"@fr
"lògica de predicats"@ca
"lógica de predicados"@es
"lógica de predicados"@pt
"predicate logic"@en
"predicatenlogica"@nl
"predikata logiko"@eo
"predikatlogikk"@nb
"predikatna logika"@sl
"predikatų logika"@lt
"predikátumlogika"@hu
"prædikatslogik"@da
"Κατηγορηματική λογική"@el
"Предикатна логика"@bg
"Предикаттық логика"@kk
"исчисление предикатов"@ru
"лёгіка прэдыкатаў"@be-tarask
"предикатна логика"@mk
"предикатна логіка"@uk
"תחשיב הפרדיקטים"@he
"منطق مسند"@fa
"謂詞邏輯"@zh-hant
"謂詞邏輯"@zh-tw
"谓词逻辑"@zh
"谓词逻辑"@zh-hans
"谓词逻辑"@zh-cn
"述語論理"@ja
"술어 논리"@ko
|
|
skos:altLabel
|
"Ensimmäisen kertaluvun logiikka"@fi
"Ensimmäisen kertaluvun predikaattilogiikka"@fi
"Predikaattikalkyyli"@fi
"Predikat"@sv
"Predikátový kalkul"@cs
"Prädikatenkalkül"@de
"Prädikatorenlogik"@de
"Quantorenlogik"@de
"Rozšíření predikátové teorie"@cs
"Toisen kertaluvun logiikka"@fi
"Toisen kertaluvun predikaattilogiikka"@fi
"calcolo dei predicati"@it
"calcul des prédicats"@fr
"calcul des relations"@fr
"elsőrendű logika"@hu
"funktionslogik"@da
"kvantorlogikk"@nb
"lógica predicativa"@es
"predicaat"@nl
"predicaatlogica"@nl
"predicatencalculus"@nl
"predikaatlogica"@nl
"predikatencalculus"@nl
"predikatenlogica"@nl
"predikatkalkyle"@nb
"predikátumkalkulus"@hu
"relationslogik"@da
"логика предикатов"@ru
"предикатная логика"@ru
"прэдыкатная лёгіка"@be-tarask
"תחשיב פרדיקטים"@he
"منطق دسته یکم"@fa
"منطق دسته-یکم"@fa
"منطق محمولات"@fa
"منطق مرتبه اول"@fa
"منطق مسندی"@fa
"謂詞邏輯"@zh
"述詞邏輯"@zh
"述語論理学"@ja
"술어논리"@ko
|
|
schema:description
|
"Familie logischer Systeme"@de
"familia de sistemas lógicos"@es
"specialisme binnen de logica"@nl
"subfield of logic"@en
"symbolisen logiikan osa-alue"@fi
"разьдзел лёгікі"@be-tarask
"逻辑类型"@zh
"逻辑类型"@zh-hans
|
|
schema:dateModified
|
"2026-10-27T17:47:16+00:00"^^xsd:dateTime
|
|
schema:version
|
2561491809
|
|
wikibase:identifiers
|
14
|
|
wikibase:sitelinks
|
28
|
|
wikibase:statements
|
26
|
|
p:P1051
|
wd:statement/Q35148-907A5246-CF6D-4675-9DE9-3E6D45623850
|
|
p:P10565
|
wd:statement/Q35148-68602d85-42fa-9e8d-1e30-095befb6b01f
|
|
p:P1417
|
wd:statement/Q35148-75e9678c-4005-b9aa-9c59-203cdb04d4cd
|
|
p:P14541
|
wd:statement/Q35148-D9AA5984-CF32-4785-B7DC-9197CC3BFD61
|
|
p:P1482
|
wd:statement/Q35148-a063a79a-4b6f-0b03-330c-a368b7d491be
|
|
wd:statement/Q35148-dd90299f-4049-61aa-6c54-bf22de2400f3
|
|
p:P1889
|
wd:statement/Q35148-2e598431-4d07-0bd8-71d2-cc45710006e1
|
|
p:P227
|
wd:statement/Q35148-5717D83E-A0E4-4900-9306-0E0283549EB4
|
|
p:P2283
|
wd:statement/Q35148-e6594ccb-4f04-9c00-1baf-ec55feaed5b7
|
|
p:P2347
|
wd:statement/Q35148-C3A30D17-6E9B-4495-8E14-0A78A24D9BDA
|
|
p:P279
|
wd:statement/Q35148-9c621714-40d5-791e-c07f-f515d94e1ef7
|
|
p:P31
|
wd:statement/Q35148-eb3b21ed-4063-f887-54ad-1632c7b3ca9b
|
|
p:P3417
|
wd:statement/Q35148-17BF8A94-EBEA-47EC-AA0B-14AAC23E0214
|
|
p:P361
|
wd:statement/Q35148-987A08CB-3B1B-43E8-8105-904E7D4B471F
|
|
wd:statement/Q35148-D182C275-B546-4957-B7F3-811D592216A0
|
|
p:P373
|
wd:statement/Q35148-2B49E0ED-7748-469E-80AF-AA3D0527F3FC
|
|
p:P527
|
wd:statement/Q35148-12e7da1a-440e-d2e3-ec56-fe098e3e5c2f
|
|
wd:statement/Q35148-2a30f0a2-433a-d383-a913-d6e47a7c9ff0
|
|
p:P646
|
wd:statement/Q35148-F9F1A6F0-8696-483D-9F39-2604068094B6
|
|
p:P6781
|
wd:statement/Q35148-5f1c5d61-44da-5a39-8ca3-242a4a5f0645
|
|
p:P691
|
wd:statement/Q35148-8173FF1B-91D7-43CF-A215-0BCD6A8A6FB2
|
|
p:P7666
|
wd:statement/Q35148-0f7b9668-4ac1-7182-1797-a9ab952e6ef7
|
|
p:P8313
|
wd:statement/Q35148-FE7211CD-15D6-4445-8320-00DF4A54DF99
|
|
p:P8408
|
wd:statement/Q35148-CCD488D3-7085-4A57-9887-7CEB67248837
|
|
p:P910
|
wd:statement/Q35148-7D9CF651-2B50-4FEA-BD23-F8B5D916EBFF
|
|
p:P9322
|
wd:statement/Q35148-C122752A-3A00-48F2-BAD1-9E9EFDA8FE12
|
|
p:direct-normalized/P227
|
<https://d-nb.info/gnd/4046974-8>
|
|
p:direct-normalized/P2347
|
<http://www.yso.fi/onto/yso/p10365>
|
|
p:direct-normalized/P8408
|
<http://kbpedia.org/kko/rc/PredicateLogic>
|
|
wdt:P1051
|
"7101"
|
|
wdt:P10565
|
"215367"
|
|
wdt:P1417
|
"topic/predicate-calculus"
|
|
wdt:P14541
|
"2cpt0E"
|
|
wdt:P1482
|
<https://math.stackexchange.com/tags/predicate-logic>
|
|
<https://philosophy.stackexchange.com/tags/predicate-logic>
|
|
wdt:P1889
|
first-order logic
|
|
wdt:P227
|
"4046974-8"
|
|
wdt:P2283
|
quantifier
|
|
wdt:P2347
|
"10365"
|
|
wdt:P279
|
logical system
|
|
wdt:P31
|
mathematical theory
|
|
wdt:P3417
|
"Predicate-Logic"
|
|
wdt:P361
|
mathematical logic
|
|
logic
|
|
wdt:P373
|
"Predicate logic"
|
|
wdt:P527
|
higher-order logic
|
|
first-order logic
|
|
wdt:P646
|
"/m/02p0wbc"
|
|
wdt:P6781
|
"Definition:Predicate_Logic"
|
|
wdt:P691
|
"ph124584"
|
|
wdt:P7666
|
"predikatu-logika"
|
|
wdt:P8313
|
"prædikatslogik"
|
|
wdt:P8408
|
"PredicateLogic"
|
|
wdt:P910
|
Category:Predicate logic
|
|
wdt:P9322
|
"0202696-predikatova-logika"
|