(Q73558)
بيانات
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