Semantic representation of general topology in the Wolfram language (Q2364674): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-62075-6_12
+Normal rank
@@ Property / OpenAlex ID @@
+W2729165223
@@ Property / OpenAlex ID: W2729165223 / rank @@
+Normal rank
@@ Property / cites work @@
+Mizar: State-of-the-art and Beyond
@@ Property / cites work: Mizar: State-of-the-art and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+The Lean Theorem Prover (System Description)
@@ Property / cites work: The Lean Theorem Prover (System Description) / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete Semantics
@@ Property / cites work: Concrete Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4167271
@@ Property / cites work: Q4167271 / rank @@
+Normal rank