Matches in Wikidata for { <http://www.wikidata.org/entity/Q99558542> ?p ?o ?g. }
Showing items 1 to 38 of
38
with 100 items per page.
- Q99558542 description "article published in 1988" @default.
- Q99558542 description "article scientifique publié en 1988" @default.
- Q99558542 description "wetenschappelijk artikel" @default.
- Q99558542 description "наукова стаття, опублікована в 1988" @default.
- Q99558542 name "IMPLEMENTATION AND APPLICATION OF THEOREM PROVING ENVIRONMENT KTPE" @default.
- Q99558542 name "IMPLEMENTATION AND APPLICATION OF THEOREM PROVING ENVIRONMENT KTPE" @default.
- Q99558542 name "定理证明环境KTPE系统的实现与应用" @default.
- Q99558542 type Item @default.
- Q99558542 label "IMPLEMENTATION AND APPLICATION OF THEOREM PROVING ENVIRONMENT KTPE" @default.
- Q99558542 label "IMPLEMENTATION AND APPLICATION OF THEOREM PROVING ENVIRONMENT KTPE" @default.
- Q99558542 label "定理证明环境KTPE系统的实现与应用" @default.
- Q99558542 prefLabel "IMPLEMENTATION AND APPLICATION OF THEOREM PROVING ENVIRONMENT KTPE" @default.
- Q99558542 prefLabel "IMPLEMENTATION AND APPLICATION OF THEOREM PROVING ENVIRONMENT KTPE" @default.
- Q99558542 prefLabel "定理证明环境KTPE系统的实现与应用" @default.
- Q99558542 P1433 Q99558542-3180CEBA-C6A3-440D-BFB0-F164D3C52138 @default.
- Q99558542 P1476 Q99558542-6EA1FCD7-892F-4C0E-BA84-411CF8BA5B51 @default.
- Q99558542 P1476 Q99558542-A1988B43-FCEE-4E88-A8C5-FBEC1609E44E @default.
- Q99558542 P2093 Q99558542-30F1875A-BBA2-4A0B-8E33-80A9DF2F5A64 @default.
- Q99558542 P2093 Q99558542-C477F8FD-8261-4012-B1FC-74C491803FB5 @default.
- Q99558542 P2093 Q99558542-E8D88D2D-EED6-4E2B-BBE9-863C8DB380AC @default.
- Q99558542 P2093 Q99558542-FDC791C5-87BF-46A1-8D94-D5965D66E963 @default.
- Q99558542 P31 Q99558542-20D8A516-4244-416B-8752-CE008DEE154E @default.
- Q99558542 P407 Q99558542-348A6CBD-4BD6-42F5-9713-09A94263F4E7 @default.
- Q99558542 P433 Q99558542-70D4CD03-82DE-406C-BCA2-DC67AD6C148F @default.
- Q99558542 P577 Q99558542-2A5F7F52-FC73-48E5-8D59-344A90039268 @default.
- Q99558542 P6769 Q99558542-EB137A16-DB83-48B9-B542-0F33694645CA @default.
- Q99558542 P1433 Q15762314 @default.
- Q99558542 P1476 "IMPLEMENTATION AND APPLICATION OF THEOREM PROVING ENVIRONMENT KTPE" @default.
- Q99558542 P1476 "定理证明环境KTPE系统的实现与应用" @default.
- Q99558542 P2093 "孙永强" @default.
- Q99558542 P2093 "毕华" @default.
- Q99558542 P2093 "赵毅" @default.
- Q99558542 P2093 "陆汝占" @default.
- Q99558542 P31 Q13442814 @default.
- Q99558542 P407 Q7850 @default.
- Q99558542 P433 "08" @default.
- Q99558542 P577 "1988-01-01T00:00:00Z" @default.
- Q99558542 P6769 "JSJX198808001" @default.