Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Mathematician
|
| gptkbp:alma_mater |
gptkb:Moscow_State_University
|
| gptkbp:birth_place |
gptkb:Soviet_Union
|
| gptkbp:field |
gptkb:Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Vladimir Lifschitz
|
| gptkbp:influenced |
Computer Science
|
| gptkbp:influenced_by |
gptkb:Alfred_Tarski
|
| gptkbp:known_for |
Contributions to mathematical logic
|
| gptkbp:nationality |
gptkb:American
|
| gptkbp:occupation |
gptkb:Professor
|
| gptkbp:research_areas |
Computational Logic
|
| gptkbp:bfsParent |
gptkb:Mikhail_I._Gurevich
|
| gptkbp:bfsLayer |
6
|