Properties (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
computer game
|
| gptkbp:aimsTo |
formal semantics
|
| gptkbp:designedFor |
learning logic
|
| gptkbp:developedBy |
gptkb:Daniel_E._Willard
|
| gptkbp:features |
3D geometric shapes
|
| gptkbp:focusesOn |
model theory
|
| gptkbp:genre |
educational
|
| https://www.w3.org/2000/01/rdf-schema#label |
Tarski's World
|
| gptkbp:includes |
interactive puzzles
|
| gptkbp:isAvailableIn |
CD-ROM
|
| gptkbp:isPartOf |
Tarski's_theory
|
| gptkbp:isUsedIn |
mathematics education
|
| gptkbp:platforms |
Windows
|
| gptkbp:releaseYear |
1994
|
| gptkbp:supports |
visualization of logical concepts
|
| gptkbp:userInterface |
graphical
|
| gptkbp:utilizes |
gptkb:Tarski's_definitions
|