Investigating Diagrammatic Reasoning with Deep Neural Networks (Q5878880): Difference between revisions

@@ Property / Wikidata QID @@
+Q62046867
@@ Property / Wikidata QID: Q62046867 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Speedith
@@ Property / describes a project that uses: Speedith / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hyperproof
@@ Property / describes a project that uses: Hyperproof / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GNMT
@@ Property / describes a project that uses: GNMT / 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/978-3-319-91376-6_36
+Normal rank
@@ Property / OpenAlex ID @@
+W2804930488
@@ Property / OpenAlex ID: W2804930488 / rank @@
+Normal rank
@@ Property / cites work @@
+On automating diagrammatic proofs of arithmetic arguments
+Normal rank
@@ Property / cites work @@
+Automated theorem proving in Euler diagram systems
+Normal rank
@@ Property / cites work @@
+Speedith: a reasoner for spider diagrams
@@ Property / cites work: Speedith: a reasoner for spider diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Euler’s visual logic
@@ Property / cites work: Euler’s visual logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5878880