Q4726218 (Q4726218): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Recommended article @@
+Reflections on the Categorical Foundations of Mathematics
+Normal rank
+Similarity Score: 0.8876238Amount 0.8876238
Unit 1
-Amount
+.8876238
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3783260
@@ Property / Recommended article: Q3783260 / rank @@
+Normal rank
@@ Property / Recommended article: Q3783260 / qualifier @@
+Similarity Score: 0.84887516Amount 0.84887516
Unit 1
-Amount
+.84887516
 Unit
@@ Property / Recommended article: Q3783260 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Higher-Order Logic and Type Theory
@@ Property / Recommended article: Higher-Order Logic and Type Theory / rank @@
+Normal rank
@@ Property / Recommended article: Higher-Order Logic and Type Theory / qualifier @@
+Similarity Score: 0.84097916Amount 0.84097916
Unit 1
-Amount
+.84097916
 Unit
@@ Property / Recommended article: Higher-Order Logic and Type Theory / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Constructive natural deduction and its ‘ω-set’ interpretation
+Normal rank
+Similarity Score: 0.8323583Amount 0.8323583
Unit 1
-Amount
+.8323583
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Type Theory and Formal Proof
@@ Property / Recommended article: Type Theory and Formal Proof / rank @@
+Normal rank
@@ Property / Recommended article: Type Theory and Formal Proof / qualifier @@
+Similarity Score: 0.8274631Amount 0.8274631
Unit 1
-Amount
+.8274631
 Unit
@@ Property / Recommended article: Type Theory and Formal Proof / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4247310
@@ Property / Recommended article: Q4247310 / rank @@
+Normal rank
@@ Property / Recommended article: Q4247310 / qualifier @@
+Similarity Score: 0.8252842Amount 0.8252842
Unit 1
-Amount
+.8252842
 Unit
@@ Property / Recommended article: Q4247310 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The seven virtues of simple type theory
@@ Property / Recommended article: The seven virtues of simple type theory / rank @@
+Normal rank
+Similarity Score: 0.82426Amount 0.82426
Unit 1
-Amount
+.82426
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3707360
@@ Property / Recommended article: Q3707360 / rank @@
+Normal rank
@@ Property / Recommended article: Q3707360 / qualifier @@
+Similarity Score: 0.8227126Amount 0.8227126
Unit 1
-Amount
+.8227126
 Unit
@@ Property / Recommended article: Q3707360 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Simple Type Theory
@@ Property / Recommended article: Simple Type Theory / rank @@
+Normal rank
@@ Property / Recommended article: Simple Type Theory / qualifier @@
+Similarity Score: 0.8206621Amount 0.8206621
Unit 1
-Amount
+.8206621
 Unit
@@ Property / Recommended article: Simple Type Theory / qualifier @@
+Recommender Run: Recommender Run 2
@@ links / mardi / name / links / mardi / name @@
+Publication:4726218