Robert Nieuwenhuis: Difference between revisions
Jump to navigation
Jump to search
Jackkausch (talk | contribs) (CSV import) |
Jackkausch (talk | contribs) (CSV import) |
||
Line 1: | Line 1: | ||
{{Mathematician | {{Mathematician | ||
|coauthor= | |coauthor=Andrei Voronkov | ||
|authorQID=Q4357461 | |authorQID=Q4357461 | ||
|coauthorQID=Q102755138 | |||
}} | }} |
Revision as of 23:22, 9 July 2025
This person was found in either the SIGSAM or JSYMCOMP bibliographies. There may be some errors in how their name was transcribed.
The following are their known coauthors:
Andrei Voronkov with a tentative wikidata QID: Q102755138