(Q1515343)

English

Gert Smolka

German computer scientist

In more languages

Statements

1 reference

imported from Wikimedia project

German Wikipedia

1 reference

imported from Wikimedia project

German Wikipedia

country of citizenship

0 references

name in native language

Gert Smolka (German)

0 references

0 references

0 references

5 January 1955

0 references

1 reference

imported from Wikimedia project

German Wikipedia

languages spoken, written or signed

1 reference

imported from Wikimedia project

German Wikipedia

0 references

computer scientist

1 reference

Integrated Authority File

14 March 2015

university teacher

1 reference

imported from Wikimedia project

German Wikipedia

computational logic

0 references

Saarland University

0 references

German Research Center for Artificial Intelligence

31 December 1998

1 reference

https://www.dfki.de/newsletter_alt/NL1/resfel.htm

15 June 2023

supports qualifier

Cornell University

0 references

University of Karlsruhe

0 references

University of Kaiserslautern

1 reference

Mathematics Genealogy Project

academic degree

doctor rerum naturalium

University of Kaiserslautern

1989

1 reference

Integrated Authority File

14 March 2015

0 references

doctoral advisor

1 reference

Mathematics Genealogy Project

doctoral student

Andreas V. Hense

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

Alexander Koller

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

Joachim Niehren

1 reference

Mathematics Genealogy Project

Ralf Scheidhauer

1 reference

Mathematics Genealogy Project

Christian Schulte

1 reference

Mathematics Genealogy Project

Joachim Paul Walser

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

Leif Kornstaedt

1 reference

Mathematics Genealogy Project

Andreas Rossberg

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

Christian Doczkal

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

Ralph Debusmann

1 reference

Mathematics Genealogy Project

1 reference

https://www.ps.uni-saarland.de/Publications/documents/Stark_2020_Mechanising.pdf

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

1 reference

Virtual International Authority File

7 October 2018

0000000116325457

0 references

1 reference

imported from Wikimedia project

German Wikipedia

National Library of Israel J9U ID

987007457392705171

1 reference

National Library of Israel Names and Subjects Authority File

Library of Congress authority ID

1 reference

imported from Wikimedia project

German Wikipedia

Nationale Thesaurus voor Auteursnamen ID

1 reference

Virtual International Authority File

28 August 2018

1 reference

Virtual International Authority File

4 August 2020

1 reference

Virtual International Authority File

7 October 2018

WorldCat Identities ID (superseded)

1 reference

ACM Digital Library author ID

0 references

0 references

GitHub username

0 references

Google Knowledge Graph ID

0 references

0 references

Mathematics Genealogy Project ID

0 references

0 references

0 references

ResearchGate contributions ID

0 references

Scopus author ID

0 references

zbMATH author ID

0 references

Sitelinks

Wikipedia(1 entry)

dewiki Gert Smolka

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q1515343&oldid=2135143252"