Gerhard Gentzen (Q6481809): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+G. Gentzen
@@ Property / instance of @@
+human
@@ Property / instance of: human / rank @@
+Normal rank
@@ Property / zbMATH author ID @@
+gentzen.gerhard
@@ Property / zbMATH author ID: gentzen.gerhard / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI person profile
@@ Property / MaRDI profile type: MaRDI person profile / rank @@
+Normal rank
@@ Property / DBLP author ID @@
+/6010
@@ Property / DBLP author ID: 190/6010 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Person:1353257