Integration of automated and interactive theorem proving in ILF (Q5234689): Difference between revisions

@@ Property / describes a project that uses @@
+SPASS
@@ Property / describes a project that uses: SPASS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SETHEO
@@ Property / describes a project that uses: SETHEO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / 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 @@
+FLOTTER
@@ Property / describes a project that uses: FLOTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DISCOUNT
@@ Property / describes a project that uses: DISCOUNT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KoMeT
@@ Property / describes a project that uses: KoMeT / 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_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1587902436
@@ Property / OpenAlex ID: W1587902436 / rank @@
+Normal rank
@@ Property / cites work @@
+KoMeT
@@ Property / cites work: KoMeT / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of automated and interactive theorem proving in ILF
+Normal rank
@@ Property / cites work @@
+Q4858948
@@ Property / cites work: Q4858948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385443
@@ Property / cites work: Q4385443 / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library
@@ Property / cites work: The TPTP problem library / rank @@
+Normal rank
@@ Property / cites work @@
+SPASS &amp; FLOTTER version 0.42
@@ Property / cites work: SPASS & FLOTTER version 0.42 / rank @@
+Normal rank