Gérard A. Huet: Difference between revisions
Jackkausch (talk | contribs) (CSV import) |
Jackkausch (talk | contribs) (CSV import) |
||
| Line 1: | Line 1: | ||
{{Mathematician | |||
|coauthor=Thierry Coquand | |||
|coauthorQID=Q3524190 | |||
}} | |||
{{Mathematician | {{Mathematician | ||
|coauthor=Thierry Coquand | |coauthor=Thierry Coquand | ||
|coauthorQID=Q3524190 | |coauthorQID=Q3524190 | ||
}} | }} | ||
Latest revision as of 14:35, 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:
Thierry Coquand with a tentative wikidata QID: Q3524190
This is a tentative Wikidata ID for the author listed on this page:
{{{authorQID}}}Property "Has Wikidata item ID" (as page type) with input value "{{{authorQID}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process. 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:
Thierry Coquand with a tentative wikidata QID: Q3524190
This is a tentative Wikidata ID for the author listed on this page:
{{{authorQID}}}Property "Has Wikidata item ID" (as page type) with input value "{{{authorQID}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.