Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:research_institute
|
| gptkbp:abbreviation |
gptkb:MMRC
|
| gptkbp:field |
数学
机械化 |
| gptkbp:foundedBy |
gptkb:吴文俊
|
| gptkbp:foundedYear |
1997
|
| gptkbp:location |
gptkb:中国
gptkb:中国科学院 |
| gptkbp:parentOrganization |
gptkb:中国科学院数学与系统科学研究院
|
| gptkbp:website |
http://mmrc.iss.ac.cn/
|
| gptkbp:bfsParent |
gptkb:中国科学院数学与系统科学研究院
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
数学机械化研究中心
|