Unverified50% confidenceFactExact time
德国Konrad Zuse在1941年完成的Z3被认为是世界上第一台可编程的自动计算机
1
Sources
50%
Confidence
Long-term
Relevance
8/11/2026
First Seen
Sources
Related Claims
UnverifiedZ3 is a Satisfiability Modulo Theories (SMT) solver developed by Microsoft Research.59% similarUnverifiedThe Legend of Zelda: Ocarina of Time is the first mainline 3D Zelda title and one of the first games in history to introduce a real-time Z-axis lock-on (Z-Targeting) combat system.54% similarUnverifiedZYNQ is an SoC platform launched by Xilinx (now AMD) that integrates ARM processors and FPGA programmable logic.51% similarUnverifiedThe Z3 solver was developed by Microsoft Research and supports bit-vector arithmetic, floating-point theory, array theory, and more51% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/730359API
curl https://kongchang.com/api/v1/knowledge/claims/730359MCP
get_claim(id=730359)