(Q3073772)
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
Freebase ID الإنجليزية
copyright license الإنجليزية
official website الإنجليزية
operating system الإنجليزية
developer الإنجليزية
inception الإنجليزية
image الإنجليزية
programmed in الإنجليزية
has use الإنجليزية
copyright status الإنجليزية
Stack Exchange tag الإنجليزية
وصلات الموقع
Marefa(٠ : لا وصلات)
ويكيبيديا(٤ وصلات)
- dewiki Isabelle (Theorembeweiser)
- enwiki Isabelle (proof assistant)
- eswiki Isabelle
- frwiki Isabelle (logiciel)