Formalizing Hilbert’s Grundlagen in Isabelle/Isar (Q3559773): Difference between revisions

@@ Property / author @@
-Jacques D. Fleuriot
@@ Property / author: Jacques D. Fleuriot / rank @@
-Normal rank
@@ Property / author @@
+Jacques D. Fleuriot
@@ Property / author: Jacques D. Fleuriot / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/10930755_21
+Normal rank
@@ Property / OpenAlex ID @@
+W1606604604
@@ Property / OpenAlex ID: W1606604604 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56432564
@@ Property / Wikidata QID: Q56432564 / rank @@
+Normal rank