Plagiator — A learning prover (Q5234707): Difference between revisions

@@ Property / describes a project that uses @@
+ABSFOL
@@ Property / describes a project that uses: ABSFOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PLAGIATOR
@@ Property / describes a project that uses: PLAGIATOR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KIV
@@ Property / describes a project that uses: KIV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+InKa
@@ Property / describes a project that uses: InKa / 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/3-540-63104-6_24
+Normal rank
@@ Property / OpenAlex ID @@
+W1568014907
@@ Property / OpenAlex ID: W1568014907 / rank @@
+Normal rank
@@ Property / cites work @@
+Ωmega: Towards a mathematical assistant
@@ Property / cites work: Ωmega: Towards a mathematical assistant / rank @@
+Normal rank
@@ Property / cites work @@
+ABSFOL: A proof checker with abstraction
@@ Property / cites work: ABSFOL: A proof checker with abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+INKA: The next generation
@@ Property / cites work: INKA: The next generation / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of theorem proving by reuse
@@ Property / cites work: Termination of theorem proving by reuse / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5234707