برهان صوري (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