Statements (135)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Software_Solutions
|
| gptkbp:architecture |
programmable
binary floating-point arithmetic |
| gptkbp:available_on |
gptkb:Git_Hub
|
| gptkbp:challenges |
overcame limitations of previous computing devices
|
| gptkbp:collaborator |
Zuse's team
|
| gptkbp:components |
gptkb:fans
gptkb:Transformers gptkb:Control_Panel gptkb:cloud_storage gptkb:power_adapter housing cables connectors electrical circuits switches control circuits circuit boards frame mechanical parts indicators relays signal amplifiers output printer timing circuits input reader relay racks programming board |
| gptkbp:contribution |
demonstrated the feasibility of programmable computing
|
| gptkbp:control_system |
gptkb:Switch
|
| gptkbp:cultural_impact |
inspired computer science research
influenced perceptions of computing in post-war Europe |
| gptkbp:design_influence |
influenced the design of future programmable computers
|
| gptkbp:developed_by |
gptkb:Microsoft_Research
|
| gptkbp:development |
1938-1941
|
| gptkbp:dimensions |
2.4 m x 1.2 m x 0.9 m
2.4 m x 3.0 m x 1.0 m |
| gptkbp:educational_use |
used in computer science curricula
|
| gptkbp:exhibitions |
displayed in museums
|
| gptkbp:featured_in |
historical computing discussions
|
| gptkbp:first_released |
gptkb:2008
|
| gptkbp:function |
calculating
|
| gptkbp:functionality |
binary arithmetic
|
| gptkbp:funding |
gptkb:German_government
|
| gptkbp:has_community |
active user community
discussion forums mailing lists contributions from users Git Hub issues |
| gptkbp:has_documentation |
tutorials
API reference examples official documentation Zuse's technical papers |
| gptkbp:has_feature |
quantifier elimination
incremental solving model generation proof generation custom theories theory of arrays theory of bit-vectors theory of floating-point numbers theory of integers theory of reals theory of strings |
| gptkbp:has_user_interface |
gptkb:._NET_API
gptkb:API Python API C API Ruby API Go API Scala API Haskell API Rust API OCaml API |
| gptkbp:historical_achievement |
recognized as a pioneering achievement in computing.
|
| gptkbp:historical_context |
developed during the early days of computer science
|
| gptkbp:historical_significance |
first programmable computer
considered the world's first working programmable computer |
| https://www.w3.org/2000/01/rdf-schema#label |
Z3
|
| gptkbp:influenced |
modern computing
|
| gptkbp:influenced_by |
Boolean algebra
Z1 |
| gptkbp:input_output |
printed results
punch cards printout |
| gptkbp:inspired |
subsequent computer designs
|
| gptkbp:invention |
gptkb:Konrad_Zuse
not patented Zuse patented the design |
| gptkbp:involved_technology |
Z2
Z1 influenced the development of later computers |
| gptkbp:is_a_supporter_of |
1941
|
| gptkbp:legacy |
foundation for future computers
paved the way for modern computing technology |
| gptkbp:legal_principle |
mechanical computation
|
| gptkbp:location |
gptkb:Germany
|
| gptkbp:memory_type |
limited memory capacity
relay-based memory |
| gptkbp:notable_feature |
programmable via punched tape
|
| gptkbp:notable_users |
scientists and engineers of the time
|
| gptkbp:operational_status |
non-operational
destroyed during World War II |
| gptkbp:original_run |
May 12, 1941
|
| gptkbp:power_source |
gptkb:electricity
|
| gptkbp:power_supply |
electromechanical relays
|
| gptkbp:programming_language |
gptkb:C++
Zuse's own programming language |
| gptkbp:provides |
SMT solver
|
| gptkbp:recognized_by |
gptkb:IEEE_Milestone
|
| gptkbp:research_areas |
computational theory
|
| gptkbp:revival |
reconstructed in 1960s
Z3 (reconstructed) |
| gptkbp:successor |
Z4
|
| gptkbp:supports |
satisfiability modulo theories
|
| gptkbp:technology |
binary floating-point arithmetic
|
| gptkbp:type |
electromechanical computer
|
| gptkbp:used_for |
calculating complex mathematical problems
|
| gptkbp:used_in |
formal verification
scientific calculations model checking software testing automated theorem proving software analysis hardware verification engineering calculations program synthesis |
| gptkbp:weight |
approximately 1 ton
approx. 1 ton |
| gptkbp:written_in |
gptkb:C#
|
| gptkbp:year |
1941
|
| gptkbp:year_created |
1941
|
| gptkbp:bfsParent |
gptkb:Zedd
|
| gptkbp:bfsLayer |
4
|