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

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

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

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