אנגלית ⇄ אוקראינית איטלקית אנגלית גרמנית דנית הולנדית יוונית סינית ספרדית פורטוגלית פינית צרפתית רוסית שוודית +

first order logic מתח
מחש.	логика первого порядка
first-order logic
.מָתֵי	логика первого порядка; первопорядковая логика (vitalinew); логика предикатов первого порядка (= first-order predicate logic ssn)
.מכשיר	логика предикатов первого порядка
מחש.	исчисление предикатов первого порядка
אנגלית אוצר מילים
first-order logic
.מָתֵי	first-order predicate logic (ssn)

first- order logic : 8 צירופים, 4 נושאים

בינה מלאכותית	2
הִגָיוֹן	4
מָתֵימָטִיקָה	1
תִכנוּת	1