Metadata
Author: QED
Data
German[de]
Gültigkeit und Erfüllbarkeit von Aussagen, auch wenn wir sie nicht diskutiert haben.
English[en]
And there are very efficient inference mechanisms for determining validity and satisfiability, alhough we haven't discussed them.
Hebrew[he]
אם פסוק הוא קביל או מספק. למרות שלא דיברנו עליהם.
Polish[pl]
Istniją bardzo wydajne mechanizmy wnioskowania do określania tautologii i niesprzeczności, chociaż nie mówiliśmy nic na ten temat.
Russian[ru]
Существует к тому же очень эффективные механизмы для определения обоснованности и выполнимости, хотя мы их не рассматривали.