待验证50% 置信事实精确时间

德国Konrad Zuse在1941年完成的Z3被认为是世界上第一台可编程的自动计算机

1

来源数

50%

置信度

长期有效

时效性

2026/8/11

首次发现

来源

Mailüfterl：欧洲首台晶体管计算机的诞生与传奇

相关事实

待验证Z3是微软研究院开发的可满足性模理论（SMT）求解器59% 相似待验证《塞尔达传说：时之笛》是第一款3D化的塞尔达正统作品，也是游戏史上首批引入实时Z轴锁定（Z-Targeting）战斗系统的作品之一54% 相似待验证ZYNQ是Xilinx（现AMD）推出的SoC平台，集成了ARM处理器和FPGA可编程逻辑51% 相似待验证Z3求解器由Microsoft Research开发，支持位向量算术、浮点数理论和数组理论等51% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/730359

API

curl https://kongchang.com/api/v1/knowledge/claims/730359

MCP

get_claim(id=730359)