Matches in Wikidata for { <http://www.wikidata.org/entity/Q649732> ?p ?o ?g. }
- Q649732 description "Lengoaia formal batez (alfabetoa eta formazio-erregelak) eta dedukzio-sistema batez (axiomak eta inferentzia-erregelak) osatutako sistema." @default.
- Q649732 description "any well-defined system of abstract thought based on the model of mathematics" @default.
- Q649732 description "modélisation mathématique d'un langage" @default.
- Q649732 description "sistema matematico" @default.
- Q649732 description "system von Symbolketten und Regeln" @default.
- Q649732 description "çdo sistem i mirëpërcaktuar i mendimit abstrakt bazuar në modelin e matematikës" @default.
- Q649732 description "数学のモデルに基づき、明確に定義した抽象的思考のシステム" @default.
- Q649732 name "Aksiomatika" @default.
- Q649732 name "Formala sistemo" @default.
- Q649732 name "Formales System" @default.
- Q649732 name "Formalsystem" @default.
- Q649732 name "Formelt system" @default.
- Q649732 name "Siostam foirmeil" @default.
- Q649732 name "córas foirmeálta" @default.
- Q649732 name "dedukciniai samprotavimai" @default.
- Q649732 name "formaali järjestelmä" @default.
- Q649732 name "formaalne süsteem" @default.
- Q649732 name "formal system" @default.
- Q649732 name "formala sistemo" @default.
- Q649732 name "formalni sistem" @default.
- Q649732 name "formeel systeem" @default.
- Q649732 name "formellt system" @default.
- Q649732 name "formelt system" @default.
- Q649732 name "formelt system" @default.
- Q649732 name "formální systém" @default.
- Q649732 name "hệ hình thức" @default.
- Q649732 name "logikai kalkulus" @default.
- Q649732 name "sistem axiomatic" @default.
- Q649732 name "sistem formal" @default.
- Q649732 name "sistem formal" @default.
- Q649732 name "sistem formal" @default.
- Q649732 name "sistem formal" @default.
- Q649732 name "sistema formal" @default.
- Q649732 name "sistema formal" @default.
- Q649732 name "sistema formal" @default.
- Q649732 name "sistema formal" @default.
- Q649732 name "sistema formal" @default.
- Q649732 name "sistema formal" @default.
- Q649732 name "sistema formale" @default.
- Q649732 name "system formalny" @default.
- Q649732 name "système formel" @default.
- Q649732 name "Τυπικό σύστημα" @default.
- Q649732 name "Аксиоматикалык метод" @default.
- Q649732 name "Формалды жүйе" @default.
- Q649732 name "Формален систем" @default.
- Q649732 name "Формаллĕ тытăм" @default.
- Q649732 name "логички систем" @default.
- Q649732 name "фармальная сыстэма" @default.
- Q649732 name "формальна система" @default.
- Q649732 name "формальная система" @default.
- Q649732 name "Աքսիոմատիկ մեթոդ" @default.
- Q649732 name "מערכת פורמלית" @default.
- Q649732 name "سیستم صوری" @default.
- Q649732 name "نظام شكلي" @default.
- Q649732 name "ߞߊߒߞߋ ߛߎ߯ߦߊߟߌ" @default.
- Q649732 name "প্রথাগত ব্যবস্থা" @default.
- Q649732 name "形式体系" @default.
- Q649732 name "形式系統" @default.
- Q649732 name "形式系統" @default.
- Q649732 name "형식 체계" @default.
- Q649732 type Item @default.
- Q649732 label "Aksiomatika" @default.
- Q649732 label "Formala sistemo" @default.
- Q649732 label "Formales System" @default.
- Q649732 label "Formalsystem" @default.
- Q649732 label "Formelt system" @default.
- Q649732 label "Siostam foirmeil" @default.
- Q649732 label "córas foirmeálta" @default.
- Q649732 label "dedukciniai samprotavimai" @default.
- Q649732 label "formaali järjestelmä" @default.
- Q649732 label "formaalne süsteem" @default.
- Q649732 label "formal system" @default.
- Q649732 label "formala sistemo" @default.
- Q649732 label "formalni sistem" @default.
- Q649732 label "formeel systeem" @default.
- Q649732 label "formellt system" @default.
- Q649732 label "formelt system" @default.
- Q649732 label "formelt system" @default.
- Q649732 label "formální systém" @default.
- Q649732 label "hệ hình thức" @default.
- Q649732 label "logikai kalkulus" @default.
- Q649732 label "sistem axiomatic" @default.
- Q649732 label "sistem formal" @default.
- Q649732 label "sistem formal" @default.
- Q649732 label "sistem formal" @default.
- Q649732 label "sistem formal" @default.
- Q649732 label "sistema formal" @default.
- Q649732 label "sistema formal" @default.
- Q649732 label "sistema formal" @default.
- Q649732 label "sistema formal" @default.
- Q649732 label "sistema formal" @default.
- Q649732 label "sistema formal" @default.
- Q649732 label "sistema formale" @default.
- Q649732 label "system formalny" @default.
- Q649732 label "système formel" @default.
- Q649732 label "Τυπικό σύστημα" @default.
- Q649732 label "Аксиоматикалык метод" @default.
- Q649732 label "Формалды жүйе" @default.
- Q649732 label "Формален систем" @default.
- Q649732 label "Формаллĕ тытăм" @default.