computable predicate

Information technology and data processing
da evaluerbart prædikat
de berechenbares Prädikat
el κατηγορηματική λογική πρώτου βαθμού , κατηγορηματικός λογισμός πρώτου βαθμού , λογική πρώτου βαθμού
fi laskettavissa oleva predikaatti
fr prédicat calculable
it predicato computabile
nl evalueerbaar predikaat
sv beräkningsbart predikat