Category:Theorem proving software systems الإنجليزية (Q2213997)
تصنيف ويكيميديا
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
تصنيف ويكيميديا |
|
| الإنجليزية | Category:Theorem proving software systems |
Wikimedia category |
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
تصنيف ويكيميديا |
|
| الإنجليزية | Category:Theorem proving software systems |
Wikimedia category |