http://schema.org/description
|
any well-defined system of abstract thought based on the model of mathematics
, Lengoaia formal batez (alfabetoa eta formazio-erregelak) eta dedukzio-sistema batez (axiomak eta inferentzia-erregelak) osatutako sistema.
, modélisation mathématique d'un langage
, sistema matematico
, system von Symbolketten und Regeln
, 数学のモデルに基づき、明確に定義した抽象的思考のシステム
, çdo sistem i mirëpërcaktuar i mendimit abstrakt bazuar në modelin e matematikës
|
http://schema.org/name
|
logikai kalkulus
, نظام شكلي
, sistema formal
, Formalsystem
, formal system
, سیستم صوری
, système formel
, Siostam foirmeil
, sistema formale
, 形式体系
, Аксиоматикалык метод
, Формален систем
, formeel systeem
, system formalny
, sistem axiomatic
, формальная система
, sistem formal
, логички систем
, formellt system
, формальна система
, 形式系統
, מערכת פורמלית
, Формалды жүйе
, Τυπικό σύστημα
, Formales System
, Աքսիոմատիկ մեթոդ
, Formelt system
, formala sistemo
, formální systém
, formelt system
, фармальная сыстэма
, formaali järjestelmä
, 형식 체계
, córas foirmeálta
, ߞߊߒߞߋ ߛߎ߯ߦߊߟߌ
, hệ hình thức
, Формаллĕ тытăм
, প্রথাগত ব্যবস্থা
, dedukciniai samprotavimai
, formalni sistem
, Formala sistemo
, Aksiomatika
, formaalne süsteem
|
http://www.w3.org/2004/02/skos/core#altLabel
|
Аксиомалық теорияның толықтығы
, формальная теория
, дедуктивная система
, logical calculus
, formalsystem
, formális rendszer
, formális szabályrendszer
, formaalsüsteem
, loogiline arvutus
|
http://www.w3.org/2004/02/skos/core#prefLabel
|
logikai kalkulus
, نظام شكلي
, sistema formal
, Formalsystem
, formal system
, سیستم صوری
, système formel
, Siostam foirmeil
, sistema formale
, 形式体系
, Аксиоматикалык метод
, Формален систем
, formeel systeem
, system formalny
, sistem axiomatic
, формальная система
, sistem formal
, логички систем
, formellt system
, формальна система
, 形式系統
, מערכת פורמלית
, Формалды жүйе
, Τυπικό σύστημα
, Formales System
, Աքսիոմատիկ մեթոդ
, Formelt system
, formala sistemo
, formální systém
, formelt system
, фармальная сыстэма
, formaali järjestelmä
, 형식 체계
, córas foirmeálta
, ߞߊߒߞߋ ߛߎ߯ߦߊߟߌ
, hệ hình thức
, Формаллĕ тытăм
, প্রথাগত ব্যবস্থা
, dedukciniai samprotavimai
, formalni sistem
, Formala sistemo
, Aksiomatika
, formaalne süsteem
|
http://www.wikidata.org/prop/P10283
|
http://www.wikidata.org/entity/statement/Q649732-C5139212-612C-431F-AF76-95D9D13A67A3 +
|
http://www.wikidata.org/prop/P11514
|
http://www.wikidata.org/entity/statement/Q649732-0C28F43E-EA32-48A1-9DE3-10854C981EAE +
|
http://www.wikidata.org/prop/P1245
|
http://www.wikidata.org/entity/statement/Q649732-C4063847-9964-4563-8E43-FB02253E9716 +
|
http://www.wikidata.org/prop/P1417
|
http://www.wikidata.org/entity/statement/Q649732-8894C6F1-9AC2-4D40-AC5B-5541DAA17A66 +
, http://www.wikidata.org/entity/statement/Q649732-87D4A3CD-3CAF-4E1D-9615-DB10330730A8 +
|
http://www.wikidata.org/prop/P1552
|
http://www.wikidata.org/entity/statement/Q649732-6c97027f-495e-c984-f4ac-c8e40086a488 +
, http://www.wikidata.org/entity/statement/Q649732-6b3dd842-41c1-e16d-e6b2-7a94d5bfcba4 +
|
http://www.wikidata.org/prop/P1889
|
http://www.wikidata.org/entity/statement/Q649732-91589629-445d-0928-785e-180fae8cc711 +
|
http://www.wikidata.org/prop/P2079
|
http://www.wikidata.org/entity/statement/Q649732-1e1aaa82-4ee3-4964-e14a-e38101290da8 +
|
http://www.wikidata.org/prop/P2581
|
http://www.wikidata.org/entity/statement/Q649732-53414CD1-B8AA-4059-8B7E-57CE3C876656 +
|
http://www.wikidata.org/prop/P279
|
http://www.wikidata.org/entity/statement/Q649732-3e9bff86-48aa-60f6-e526-e4672a39953b +
|
http://www.wikidata.org/prop/P2924
|
http://www.wikidata.org/entity/statement/Q649732-977bb878-4d02-3810-9ba3-2d99eb2bd350 +
|
http://www.wikidata.org/prop/P31
|
http://www.wikidata.org/entity/statement/Q649732-5012893e-409e-4c63-8f7b-3fcf79ab1fe8 +
|
http://www.wikidata.org/prop/P3417
|
http://www.wikidata.org/entity/statement/Q649732-D1386793-FB0B-47AD-9B2C-D5F9B91051E9 +
|
http://www.wikidata.org/prop/P3827
|
http://www.wikidata.org/entity/statement/Q649732-8087C2D2-BDD5-4664-AE0A-2DDA667D482B +
|
http://www.wikidata.org/prop/P4746
|
http://www.wikidata.org/entity/statement/Q649732-FD69CCD2-3089-4274-8E01-C4FDDE70ED87 +
|
http://www.wikidata.org/prop/P6366
|
http://www.wikidata.org/entity/statement/Q649732-2CC54C04-7CE5-4114-82FF-4CB3AE107873 +
|
http://www.wikidata.org/prop/P646
|
http://www.wikidata.org/entity/statement/Q649732-6A53AEA3-956F-4C29-854E-D83357BB8FD2 +
|
http://www.wikidata.org/prop/P7993
|
http://www.wikidata.org/entity/statement/Q649732-EA990679-44C9-4BF7-8598-DA0034072297 +
|
http://www.wikidata.org/prop/P8408
|
http://www.wikidata.org/entity/statement/Q649732-AAFB2DE2-478A-4B4A-A90A-56E1F298307E +
|
http://www.wikidata.org/prop/P910
|
http://www.wikidata.org/entity/statement/Q649732-77B17560-D2C2-41FC-9EE0-0567B7C19E05 +
|
http://www.wikidata.org/prop/direct-normalized/P2581
|
http://babelnet.org/rdf/s14401372n +
|
http://www.wikidata.org/prop/direct-normalized/P6366
|
https://makg.org/entity/102315432 +
|
http://www.wikidata.org/prop/direct-normalized/P8408
|
http://kbpedia.org/kko/rc/FormalSystem +
|
http://www.wikidata.org/prop/direct/P10283
|
C102315432
|
http://www.wikidata.org/prop/direct/P11514
|
formal-naia-sistema-303daf
|
http://www.wikidata.org/prop/direct/P1245
|
1098805
|
http://www.wikidata.org/prop/direct/P1417
|
topic/logical-calculus
, topic/formal-system
|
http://www.wikidata.org/prop/direct/P1552
|
http://www.wikidata.org/entity/Q15846555 +
, http://www.wikidata.org/entity/Q1319773 +
|
http://www.wikidata.org/prop/direct/P1889
|
http://www.wikidata.org/entity/Q792542 +
|
http://www.wikidata.org/prop/direct/P2079
|
http://www.wikidata.org/entity/Q5469988 +
|
http://www.wikidata.org/prop/direct/P2581
|
14401372n
|
http://www.wikidata.org/prop/direct/P279
|
http://www.wikidata.org/entity/Q3622126 +
|
http://www.wikidata.org/prop/direct/P31
|
http://www.wikidata.org/entity/Q96116695 +
|
http://www.wikidata.org/prop/direct/P3417
|
Formal-System
|
http://www.wikidata.org/prop/direct/P3827
|
formal-systems
|
http://www.wikidata.org/prop/direct/P4746
|
139742
|
http://www.wikidata.org/prop/direct/P6366
|
102315432
|
http://www.wikidata.org/prop/direct/P646
|
/m/0239v0
|
http://www.wikidata.org/prop/direct/P7993
|
sistema-formale
|
http://www.wikidata.org/prop/direct/P8408
|
FormalSystem
|
http://www.wikidata.org/prop/direct/P910
|
http://www.wikidata.org/entity/Q8466138 +
|
rdf:type |
http://wikiba.se/ontology#Item +
|
rdfs:label |
logikai kalkulus
, نظام شكلي
, sistema formal
, Formalsystem
, formal system
, سیستم صوری
, système formel
, Siostam foirmeil
, sistema formale
, 形式体系
, Аксиоматикалык метод
, Формален систем
, formeel systeem
, system formalny
, sistem axiomatic
, формальная система
, sistem formal
, логички систем
, formellt system
, формальна система
, 形式系統
, מערכת פורמלית
, Формалды жүйе
, Τυπικό σύστημα
, Formales System
, Աքսիոմատիկ մեթոդ
, Formelt system
, formala sistemo
, formální systém
, formelt system
, фармальная сыстэма
, formaali järjestelmä
, 형식 체계
, córas foirmeálta
, ߞߊߒߞߋ ߛߎ߯ߦߊߟߌ
, hệ hình thức
, Формаллĕ тытăм
, প্রথাগত ব্যবস্থা
, dedukciniai samprotavimai
, formalni sistem
, Formala sistemo
, Aksiomatika
, formaalne süsteem
|