Intuitionistic completeness of first-order logic (Q392280): Difference between revisions

@@ Property / author @@
-Robert L. Constable
@@ Property / author: Robert L. Constable / rank @@
-Normal rank
@@ Property / author @@
+Robert L. Constable
@@ Property / author: Robert L. Constable / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MetaPRL
@@ Property / describes a project that uses: MetaPRL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LCF
@@ Property / describes a project that uses: LCF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Agda
@@ Property / describes a project that uses: Agda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Twelf
@@ Property / describes a project that uses: Twelf / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1999807931
@@ Property / OpenAlex ID: W1999807931 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q55967618
@@ Property / Wikidata QID: Q55967618 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1614
@@ Property / arXiv ID: 1110.1614 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:392280