برهان صوري (Q73558)
الإثبات والاستدلال
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | برهان صوري |
الإثبات والاستدلال |
|
| الإنجليزية | formal proof |
establishment of a theorem using inference from the axioms |
|
بيانات
Wikidata item الإنجليزية
Freebase ID الإنجليزية
has part(s) الإنجليزية
said to be the same as الإنجليزية
subclass of الإنجليزية
Microsoft Academic ID الإنجليزية
follows الإنجليزية
وصلات الموقع
Marefa(١ مدخلات)
- marefa برهان صوري
ويكيبيديا(٣ مدخلات)
- enwiki Formal proof
- eswiki Prueba formal
- frwiki Démonstration formelle