ILF-SETHEO (Q5234690): Difference between revisions

@@ Property / describes a project that uses @@
+SETHEO
@@ Property / describes a project that uses: SETHEO / 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 @@
+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_8
+Normal rank
@@ Property / OpenAlex ID @@
+W4233433372
@@ Property / OpenAlex ID: W4233433372 / rank @@
+Normal rank
@@ Property / cites work @@
+KoMeT
@@ Property / cites work: KoMeT / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory in first-order logic: Clauses for Gödel's axioms
+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 @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Reconstructing proofs at the assertion level
@@ Property / cites work: Reconstructing proofs at the assertion level / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled integration of the cut rule into connection tableau calculi
+Normal rank
@@ Property / cites work @@
+SETHEO: A high-performance theorem prover
@@ Property / cites work: SETHEO: A high-performance theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of cryptographic protocols with SETHEO
+Normal rank
@@ Property / cites work @@
+The TPTP problem library
@@ Property / cites work: The TPTP problem library / rank @@
+Normal rank