|
rdfs:label
|
"Aksiomatika"@az
"Formala sistemo"@io
"Formales System"@gsw
"Formalsystem"@de
"Formelt system"@da
"Siostam foirmeil"@gd
"córas foirmeálta"@ga
"dedukciniai samprotavimai"@lt
"formaali järjestelmä"@fi
"formaalne süsteem"@et
"formal system"@en
"formala sistemo"@eo
"formalni sistem"@sl
"formeel systeem"@nl
"formellt system"@sv
"formelt system"@nb
"formelt system"@nn
"formální systém"@cs
"hệ hình thức"@vi
"logikai kalkulus"@hu
"morna ciste"@jbo
"sistem axiomatic"@ro
"sistem formal"@id
"sistem formal"@lfn
"sistem formal"@ms
"sistem formal"@sq
"sistema formal"@es
"sistema formal"@ca
"sistema formal"@eu
"sistema formal"@gl
"sistema formal"@pt
"sistema formal"@pt-br
"sistema formale"@it
"sistema formałe"@vec
"system formalny"@pl
"systema formale"@la
"système formel"@fr
"Τυπικό σύστημα"@el
"Аксиоматикалык метод"@ky
"Формал систем"@mn
"Формалды жүйе"@kk
"Формаллĕ тытăм"@cv
"логички систем"@sr
"фармальная сыстэма"@be-tarask
"формален систем"@mk
"формальна система"@uk
"формальная система"@ru
"Աքսիոմատիկ մեթոդ"@hy
"מערכת פורמלית"@he
"سیستم صوری"@fa
"نظام شكلي"@ar
"ߞߊߒߞߋ ߛߎ߯ߦߊߟߌ"@nqo
"প্রথাগত ব্যবস্থা"@bn
"ระบบรูปนัย"@th
"形式体系"@ja
"形式系統"@yue
"形式系統"@zh
"형식 체계"@ko
|
|
skos:altLabel
|
"formaalsüsteem"@et
"formalsystem"@nn
"formális rendszer"@hu
"formális szabályrendszer"@hu
"logical calculus"@en
"loogiline arvutus"@et
"systema typicum"@la
"Аксиомалық теорияның толықтығы"@kk
"дедуктивная система"@ru
"формальная теория"@ru
|
|
schema:description
|
"Lengoaia formal batez (alfabetoa eta formazio-erregelak) eta dedukzio-sistema batez (axiomak eta inferentzia-erregelak) osatutako sistema."@eu
"System von Symbolketten und Regeln für deren Umwandlung"@de
"any well-defined system of abstract thought based on the model of mathematics"@en
"modélisation mathématique d'un langage"@fr
"sistema matematico"@es
"çdo sistem i mirëpërcaktuar i mendimit abstrakt bazuar në modelin e matematikës"@sq
"כל מערכת מוגדרת היטב של מחשבה מופשטת המבוססת על מודל המתמטיקה"@he
"数学のモデルに基づき、明確に定義した抽象的思考の体系"@ja
|
|
schema:dateModified
|
"2026-10-04T06:09:34+00:00"^^xsd:dateTime
|
|
schema:version
|
2552929921
|
|
wikibase:identifiers
|
14
|
|
wikibase:sitelinks
|
38
|
|
wikibase:statements
|
21
|
|
p:P10283
|
wd:statement/Q649732-C5139212-612C-431F-AF76-95D9D13A67A3
|
|
p:P11514
|
wd:statement/Q649732-0C28F43E-EA32-48A1-9DE3-10854C981EAE
|
|
p:P1245
|
wd:statement/Q649732-C4063847-9964-4563-8E43-FB02253E9716
|
|
p:P1417
|
wd:statement/Q649732-87D4A3CD-3CAF-4E1D-9615-DB10330730A8
|
|
wd:statement/Q649732-8894C6F1-9AC2-4D40-AC5B-5541DAA17A66
|
|
p:P1552
|
wd:statement/Q649732-6b3dd842-41c1-e16d-e6b2-7a94d5bfcba4
|
|
wd:statement/Q649732-6c97027f-495e-c984-f4ac-c8e40086a488
|
|
p:P1889
|
wd:statement/Q649732-91589629-445d-0928-785e-180fae8cc711
|
|
p:P2079
|
wd:statement/Q649732-1e1aaa82-4ee3-4964-e14a-e38101290da8
|
|
p:P2581
|
wd:statement/Q649732-53414CD1-B8AA-4059-8B7E-57CE3C876656
|
|
p:P279
|
wd:statement/Q649732-3e9bff86-48aa-60f6-e526-e4672a39953b
|
|
p:P2924
|
wd:statement/Q649732-977bb878-4d02-3810-9ba3-2d99eb2bd350
|
|
p:P31
|
wd:statement/Q649732-5012893e-409e-4c63-8f7b-3fcf79ab1fe8
|
|
p:P3417
|
wd:statement/Q649732-D1386793-FB0B-47AD-9B2C-D5F9B91051E9
|
|
p:P3827
|
wd:statement/Q649732-8087C2D2-BDD5-4664-AE0A-2DDA667D482B
|
|
p:P4746
|
wd:statement/Q649732-FD69CCD2-3089-4274-8E01-C4FDDE70ED87
|
|
p:P6366
|
wd:statement/Q649732-2CC54C04-7CE5-4114-82FF-4CB3AE107873
|
|
p:P646
|
wd:statement/Q649732-6A53AEA3-956F-4C29-854E-D83357BB8FD2
|
|
p:P7993
|
wd:statement/Q649732-EA990679-44C9-4BF7-8598-DA0034072297
|
|
p:P8408
|
wd:statement/Q649732-AAFB2DE2-478A-4B4A-A90A-56E1F298307E
|
|
p:P910
|
wd:statement/Q649732-77B17560-D2C2-41FC-9EE0-0567B7C19E05
|
|
p:direct-normalized/P2581
|
<http://babelnet.org/rdf/s14401372n>
|
|
p:direct-normalized/P6366
|
<https://makg.org/entity/102315432>
|
|
p:direct-normalized/P8408
|
<http://kbpedia.org/kko/rc/FormalSystem>
|
|
wdt:P10283
|
"C102315432"
|
|
wdt:P11514
|
"formal-naia-sistema-303daf"
|
|
wdt:P1245
|
"1098805"
|
|
wdt:P1417
|
"topic/formal-system"
|
|
"topic/logical-calculus"
|
|
wdt:P1552
|
consistency
|
|
completeness
|
|
wdt:P1889
|
axiomatic system
|
|
wdt:P2079
|
formalization
|
|
wdt:P2581
|
"14401372n"
|
|
wdt:P279
|
conceptual system
|
|
wdt:P31
|
type of system
|
|
wdt:P3417
|
"Formal-System"
|
|
wdt:P3827
|
"formal-systems"
|
|
wdt:P4746
|
"139742"
|
|
wdt:P6366
|
"102315432"
|
|
wdt:P646
|
"/m/0239v0"
|
|
wdt:P7993
|
"sistema-formale"
|
|
wdt:P8408
|
"FormalSystem"
|
|
wdt:P910
|
Category:Formal systems
|