Q693083

Soundness [edit]

No description defined yet [edit]

---

No aliases defined. [add]

Statements

List of pages linked to this item

Language	Code	Linked article
català	ca	Solidesa	[edit]
Deutsch	de	Korrektheit (Logik)	[edit]
English	en	Soundness	[edit]
español	es	Solidez	[edit]
فارسی	fa	صحت	[edit]
français	fr	Correction (logique)	[edit]
עברית	he	נאותות	[edit]
íslenska	is	Rétt röksemdafærsla	[edit]
italiano	it	Correttezza (logica matematica)	[edit]
日本語	ja	健全性	[edit]
한국어	ko	건전성 정리	[edit]
македонски	mk	Правилност	[edit]
Nederlands	nl	Correctheid (logica)	[edit]
português	pt	Correção	[edit]
svenska	sv	Sund (logik)	[edit]
українська	uk	Правильність	[edit]
中文	zh	可靠性定理	[edit]
			[add]