Conjecture synthesis for inductive theories (Q438543): Difference between revisions

@@ Property / Wikidata QID @@
+Q122961283
@@ Property / Wikidata QID: Q122961283 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Theorema
@@ Property / describes a project that uses: Theorema / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IsaPlanner
@@ Property / describes a project that uses: IsaPlanner / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HR
@@ Property / describes a project that uses: HR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MATHsAiD
@@ Property / describes a project that uses: MATHsAiD / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2014136929
@@ Property / OpenAlex ID: W2014136929 / rank @@
+Normal rank