Misplaced Pages

Z3

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

Z3 may refer to:

Mobile phones

Computing

  • Z3 (computer), the world's first working programmable, fully automatic digital computer created by Konrad 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

Search for "z3"  or "z-3" on Misplaced Pages. Disambiguation iconTopics referred to by the same termThis disambiguation page lists articles associated with the same title formed as a letter–number combination.
If an internal link led you here, you may wish to change the link to point directly to the intended article. Category: