Matches in Wikidata for { <http://www.wikidata.org/entity/Q4055684> ?p ?o ?g. }
- Q4055684 description "Teilgebiet der mathematischen Logik: Familie logischer Systeme" @default.
- Q4055684 description "collection of formal systems used in mathematics, philosophy, linguistics, and computer science" @default.
- Q4055684 description "méthode formelle, utilise des variables sur des objets non logiques et permet l'usage de phrases qui contiennent des variables; seules les variables sont quantifiées" @default.
- Q4055684 description "sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden" @default.
- Q4055684 description "sistema formale usato in matematica, filosofia, linguistica e informatica" @default.
- Q4055684 description "sistema lógico que estende a lógica proposicional" @default.
- Q4055684 description "در منطق مرتبه اول جملاتی وجود دارد که از «متغیرهای سور داده شده» روی اشیای غیر منطقی استفاده میکند." @default.
- Q4055684 description "使用於數學、哲學、語言學及電腦科學中的一種形式系統" @default.
- Q4055684 description "引数として変数を取る関数や述語の量化は許さず、個体のみの量化を許す述語論理のこと。" @default.
- Q4055684 description "形式系统" @default.
- Q4055684 name "1차 논리" @default.
- Q4055684 name "First-Order Logic" @default.
- Q4055684 name "First-order logic" @default.
- Q4055684 name "Första ordningens logik" @default.
- Q4055684 name "Lehen mailako lengoaia logiko" @default.
- Q4055684 name "Logic bậc nhất" @default.
- Q4055684 name "Logika predikat tingkat pertama" @default.
- Q4055684 name "Lohika ng unang orden" @default.
- Q4055684 name "Lógica de primeira ordem" @default.
- Q4055684 name "Prädikatenlogik erster Stufe" @default.
- Q4055684 name "Prädikatenlogik erster Stufe" @default.
- Q4055684 name "eerste orde logica" @default.
- Q4055684 name "elsőrendű nyelv" @default.
- Q4055684 name "first-order logic" @default.
- Q4055684 name "first-order logic" @default.
- Q4055684 name "første-ordens logikk" @default.
- Q4055684 name "logica del primo ordine" @default.
- Q4055684 name "logică de ordinul întâi" @default.
- Q4055684 name "logika prvega reda" @default.
- Q4055684 name "logique du premier ordre" @default.
- Q4055684 name "lògica de primer ordre" @default.
- Q4055684 name "lógica de primeira ordem" @default.
- Q4055684 name "lógica de primer orden" @default.
- Q4055684 name "predikátová logika prvního řádu" @default.
- Q4055684 name "rachunek predykatów pierwszego rzędu" @default.
- Q4055684 name "unuaorda logiko" @default.
- Q4055684 name "Λογική πρώτου βαθμού" @default.
- Q4055684 name "Логика првог реда" @default.
- Q4055684 name "Логика првог реда" @default.
- Q4055684 name "логика первого порядка" @default.
- Q4055684 name "логіка першого порядку" @default.
- Q4055684 name "лёгіка першага парадку" @default.
- Q4055684 name "Պրեդիկատների տրամաբանություն" @default.
- Q4055684 name "שפה מסדר ראשון" @default.
- Q4055684 name "د لومړي ترتیب منطق" @default.
- Q4055684 name "منطق الرتبة الأولى" @default.
- Q4055684 name "منطق مرتبه اول" @default.
- Q4055684 name "一阶逻辑" @default.
- Q4055684 name "一阶逻辑" @default.
- Q4055684 name "一階述語論理" @default.
- Q4055684 name "一階邏輯" @default.
- Q4055684 name "一階邏輯" @default.
- Q4055684 type Item @default.
- Q4055684 label "1차 논리" @default.
- Q4055684 label "First-Order Logic" @default.
- Q4055684 label "First-order logic" @default.
- Q4055684 label "Första ordningens logik" @default.
- Q4055684 label "Lehen mailako lengoaia logiko" @default.
- Q4055684 label "Logic bậc nhất" @default.
- Q4055684 label "Logika predikat tingkat pertama" @default.
- Q4055684 label "Lohika ng unang orden" @default.
- Q4055684 label "Lógica de primeira ordem" @default.
- Q4055684 label "Prädikatenlogik erster Stufe" @default.
- Q4055684 label "Prädikatenlogik erster Stufe" @default.
- Q4055684 label "eerste orde logica" @default.
- Q4055684 label "elsőrendű nyelv" @default.
- Q4055684 label "first-order logic" @default.
- Q4055684 label "first-order logic" @default.
- Q4055684 label "første-ordens logikk" @default.
- Q4055684 label "logica del primo ordine" @default.
- Q4055684 label "logică de ordinul întâi" @default.
- Q4055684 label "logika prvega reda" @default.
- Q4055684 label "logique du premier ordre" @default.
- Q4055684 label "lògica de primer ordre" @default.
- Q4055684 label "lógica de primeira ordem" @default.
- Q4055684 label "lógica de primer orden" @default.
- Q4055684 label "predikátová logika prvního řádu" @default.
- Q4055684 label "rachunek predykatów pierwszego rzędu" @default.
- Q4055684 label "unuaorda logiko" @default.
- Q4055684 label "Λογική πρώτου βαθμού" @default.
- Q4055684 label "Логика првог реда" @default.
- Q4055684 label "Логика првог реда" @default.
- Q4055684 label "логика первого порядка" @default.
- Q4055684 label "логіка першого порядку" @default.
- Q4055684 label "лёгіка першага парадку" @default.
- Q4055684 label "Պրեդիկատների տրամաբանություն" @default.
- Q4055684 label "שפה מסדר ראשון" @default.
- Q4055684 label "د لومړي ترتیب منطق" @default.
- Q4055684 label "منطق الرتبة الأولى" @default.
- Q4055684 label "منطق مرتبه اول" @default.
- Q4055684 label "一阶逻辑" @default.
- Q4055684 label "一阶逻辑" @default.
- Q4055684 label "一階述語論理" @default.
- Q4055684 label "一階邏輯" @default.
- Q4055684 label "一階邏輯" @default.
- Q4055684 altLabel "CPPO" @default.
- Q4055684 altLabel "FOL" @default.
- Q4055684 altLabel "FOL" @default.
- Q4055684 altLabel "L1O" @default.
- Q4055684 altLabel "LPO" @default.