| dbo:abstract
|
- Grigori Samuilowitsch Zeitin (russisch Григорий Самуилович Цейтин, wiss. Transliteration Grigorij Samuilovič Cejtin; 15. November 1936 – 27. August 2022) war ein sowjetischer Mathematiker und Informatiker, der ab 1999 in den Vereinigten Staaten lebte. (de)
- Grigori Samuilovitsch Tseitin (Russian: Григорий Самуилович Цейтин, born November 15, 1936 in Leningrad, USSR, deceased August 27, 2022 in Campbell, CA, USA) was a Russian mathematician and computer scientist, who moved to the United States in 1999. He is best known for Tseitin transformation used in SAT solvers, Tseitin tautologies used in the proof complexity theory, and for his work on Algol 68. (en)
- Григорий Самуилович Цейтин (15 ноября 1936 года, Ленинград — 27 августа 2022 года, Кемпбелл, Калифорния, США) — советский и американский учёный в области математики и информатики. Занимался проблемами конструктивной математики, логики высказываний, теории групп и математической лингвистики. (ru)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3564 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Grigori Samuilowitsch Zeitin (russisch Григорий Самуилович Цейтин, wiss. Transliteration Grigorij Samuilovič Cejtin; 15. November 1936 – 27. August 2022) war ein sowjetischer Mathematiker und Informatiker, der ab 1999 in den Vereinigten Staaten lebte. (de)
- Grigori Samuilovitsch Tseitin (Russian: Григорий Самуилович Цейтин, born November 15, 1936 in Leningrad, USSR, deceased August 27, 2022 in Campbell, CA, USA) was a Russian mathematician and computer scientist, who moved to the United States in 1999. He is best known for Tseitin transformation used in SAT solvers, Tseitin tautologies used in the proof complexity theory, and for his work on Algol 68. (en)
- Григорий Самуилович Цейтин (15 ноября 1936 года, Ленинград — 27 августа 2022 года, Кемпбелл, Калифорния, США) — советский и американский учёный в области математики и информатики. Занимался проблемами конструктивной математики, логики высказываний, теории групп и математической лингвистики. (ru)
|
| rdfs:label
|
- Grigori Samuilowitsch Zeitin (de)
- Grigori Tseitin (en)
- Цейтин, Григорий Самуилович (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
