Automating Leibniz’s Theory of Concepts (Q3454082): Difference between revisions

@@ Property / cites work @@
+Complete independence of an axiom system for central translations
+Normal rank
@@ Property / cites work @@
+QUANTUM THEORY OF WORMHOLES
@@ Property / cites work: QUANTUM THEORY OF WORMHOLES / rank @@
+Normal rank
@@ Property / cites work @@
+Chains with infinite connections: Uniqueness and Markov representation
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3967718
@@ Property / cites work: Q3967718 / rank @@
+Normal rank
@@ Property / cites work @@
+Effect of tensor g-factor on the spectrum of eigen modes in magnetoactive plasma
+Normal rank
@@ Property / cites work @@
+Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
+Normal rank
@@ Property / cites work @@
+Twenty-five basic theorems in situation and world theory
+Normal rank
@@ Property / cites work @@
+Uniqueness in<i>g</i>-measures
@@ Property / cites work: Uniqueness in<i>g</i>-measures / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving via General Matings
@@ Property / cites work: Theorem Proving via General Matings / rank @@
+Normal rank