Правильність: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
SieBot (обговорення | внесок) м робот додав: ja:健全性 |
м робот додав: it:Correttezza (logica matematica), zh:可靠性定理 |
||
Рядок 23:
[[en:Soundness]]
[[is:Rétt röksemdafærsla]]
[[it:Correttezza (logica matematica)]]
[[ja:健全性]]
[[mk:Правилност]]
[[zh:可靠性定理]]
|