A Decision Method for Elementary Algebra and Geometry
GPTKB entity
AI-created image
Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic_journal
|
| gptkbp:author |
gptkb:Alfred_Tarski
|
| gptkbp:influenced |
automated theorem proving
quantifier elimination real closed fields |
| gptkbp:language |
English
|
| gptkbp:notableFor |
introducing a decision procedure for elementary algebra and geometry
|
| gptkbp:publicationYear |
1948
|
| gptkbp:publisher |
gptkb:University_of_California_Press
|
| gptkbp:subject |
gptkb:algebra
gptkb:geometry gptkb:logic |
| gptkbp:bfsParent |
gptkb:Alfred_Tarski
|
| gptkbp:bfsLayer |
4
|
| https://www.w3.org/2000/01/rdf-schema#label |
A Decision Method for Elementary Algebra and Geometry
|