a person in the record
Bernard Meltzer
British computer scientist1916 to 2008
Supervised 4 doctoral students at The University of Edinburgh between 1970 and 1976; Wikidata names Reinhold Furth as doctoral advisor and lists 2 doctoral students. Linked to Wikidata, Mathematics Genealogy Project, and 5 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlex
Students4
- cited by a thesis record1976 · The University of Edinburgh · doctoral
- cited by a thesis record
Patrick J. Hayes“Semantic trees: New foundations for automatic theorem-proving”
1973 · The University of Edinburgh · doctoral - cited by a thesis record
Donald Grant Kuehner“Strategies for improving the efficiency of automatic theorem-proving”
1971 · The University of Edinburgh · doctoral - cited by a thesis record
Robert Anthony Kowalski“Studies in the completeness and efficiency of theorem-proving by resolution”
1970 · The University of Edinburgh · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata2
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1941
- stated by Wikidataborn 1944
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataReinhold Furth
- 2 steps up
stated by WikidataPhilipp Frank
- 3 steps up
stated by WikidataLudwig Boltzmann
- 4 steps up
stated by WikidataJosef Stefan
Below them, within 3 steps, the record reaches 81 people: 4 cited by thesis records, 77 stated by Wikidata.
Education and career2
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
- undatedworked