Steps toward a computational metaphysics (Q877243): Difference between revisions

@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / 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/s10992-006-9038-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1986279051
@@ Property / OpenAlex ID: W1986279051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of unification in third order logic
+Normal rank
@@ Property / cites work @@
+Q4524794
@@ Property / cites work: Q4524794 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4388953
@@ Property / cites work: Q4388953 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858033
@@ Property / cites work: Q4858033 / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Mechanization of Second-Order Type Theory
+Normal rank
@@ Property / cites work @@
+Theorem-Proving on the Computer
@@ Property / cites work: Theorem-Proving on the Computer / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541351
@@ Property / cites work: Q5541351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624683
@@ Property / cites work: Q5624683 / rank @@
+Normal rank
@@ Property / cites work @@
+The Concept of Demodulation in Theorem Proving
@@ Property / cites work: The Concept of Demodulation in Theorem Proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296171
@@ Property / cites work: Q4296171 / rank @@
+Normal rank
@@ Property / cites work @@
+Twenty-five basic theorems in situation and world theory
+Normal rank
@@ Property / cites work @@
+Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory
+Normal rank