(Q1093632)
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
named after الإنجليزية
GND ID الإنجليزية
Freebase ID الإنجليزية
Microsoft Academic ID الإنجليزية
وصلات الموقع
Marefa(٠ : لا وصلات)
ويكيبيديا(٤ وصلات)
- dewiki Hoare-Kalkül
- enwiki Hoare logic
- eswiki Lógica de Hoare
- frwiki Logique de Hoare