Q4202949 (Q4202949): Difference between revisions

← Older edit

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / Recommended article @@
+Q5603863
@@ Property / Recommended article: Q5603863 / rank @@
+Normal rank
@@ Property / Recommended article: Q5603863 / qualifier @@
+Similarity Score: 0.87832296Amount 0.87832296
Unit 1
-Amount
+.87832296
 Unit
@@ Property / Recommended article: Q5603863 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A local normal form theorem for infinitary logic with unary quantifiers
+Normal rank
+Similarity Score: 0.86857116Amount 0.86857116
Unit 1
-Amount
+.86857116
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4273421
@@ Property / Recommended article: Q4273421 / rank @@
+Normal rank
@@ Property / Recommended article: Q4273421 / qualifier @@
+Similarity Score: 0.8628263Amount 0.8628263
Unit 1
-Amount
+.8628263
 Unit
@@ Property / Recommended article: Q4273421 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Formulas of one propositional variable in intuitionistic logic with the Solovay modality
+Normal rank
+Similarity Score: 0.8614175Amount 0.8614175
Unit 1
-Amount
+.8614175
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Normalisation for Some Quite Interesting Many-Valued Logics
+Normal rank
+Similarity Score: 0.85730577Amount 0.85730577
Unit 1
-Amount
+.85730577
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank
+Similarity Score: 0.8571607Amount 0.8571607
Unit 1
-Amount
+.8571607
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5376343
@@ Property / Recommended article: Q5376343 / rank @@
+Normal rank
@@ Property / Recommended article: Q5376343 / qualifier @@
+Similarity Score: 0.8565161Amount 0.8565161
Unit 1
-Amount
+.8565161
 Unit
@@ Property / Recommended article: Q5376343 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On normal forms in Łukasiewicz logic
@@ Property / Recommended article: On normal forms in Łukasiewicz logic / rank @@
+Normal rank
+Similarity Score: 0.8554352Amount 0.8554352
Unit 1
-Amount
+.8554352
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4205073
@@ Property / Recommended article: Q4205073 / rank @@
+Normal rank
@@ Property / Recommended article: Q4205073 / qualifier @@
+Similarity Score: 0.855394Amount 0.855394
Unit 1
-Amount
+.855394
 Unit
@@ Property / Recommended article: Q4205073 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Normal forms in combinatory logic
@@ Property / Recommended article: Normal forms in combinatory logic / rank @@
+Normal rank
@@ Property / Recommended article: Normal forms in combinatory logic / qualifier @@
+Similarity Score: 0.853457Amount 0.853457
Unit 1
-Amount
+.853457
 Unit
@@ Property / Recommended article: Normal forms in combinatory logic / qualifier @@
+Recommender Run: Recommender Run 2