Vladimir Sazonov

URI: https://gptkb.org/entity/Vladimir_Sazonov
GPTKB entity
Statements (11)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:affiliation gptkb:Russian_Academy_of_Sciences
gptkbp:field gptkb:theoretical_computer_science
gptkb:logic
gptkbp:knownFor gptkb:Sazonov's_theorem
work on bounded arithmetic
gptkbp:nationality gptkb:Russian
gptkbp:occupation gptkb:mathematician
gptkbp:bfsParent gptkb:The_Unprovability_of_Consistency
gptkbp:bfsLayer 7
https://www.w3.org/2000/01/rdf-schema#label Vladimir Sazonov