Top Qs
Timeline
Chat
Perspective

Z3

Topics referred to by the same term From Wikipedia, the free encyclopedia

Remove ads

Z3 may refer to:

Mobile phones

Computing

  • Z3 (computer), the world's first working programmable, fully automatic digital computer created by Konrad J Zuse
  • Z3 Theorem Prover, a satisfiability modulo theories solver by Microsoft
  • .Z3, a file extension for story files for the Infocom Z-machine

Vehicles

Other uses

See also

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads