Unverified50% confidenceFactExact time
Coq诞生于1989年的法国INRIA研究所
1
Sources
50%
Confidence
Long-term
Relevance
8/22/2026
First Seen
Sources
Related Entities
Cite This Claim
Stable URI
https://kongchang.com/claim/787774API
curl https://kongchang.com/api/v1/knowledge/claims/787774MCP
get_claim(id=787774)