An Interactive Derivation Viewer (Q2867942): Difference between revisions

@@ Property / author @@
-Geoff Sutcliffe
@@ Property / author: Geoff Sutcliffe / rank @@
-Normal rank
@@ Property / author @@
+Geoff Sutcliffe
@@ Property / author: Geoff Sutcliffe / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VAMPIRE
@@ Property / describes a project that uses: VAMPIRE / 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 @@
+TRAMP
@@ Property / describes a project that uses: TRAMP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IDV
@@ Property / describes a project that uses: IDV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPASS
@@ Property / describes a project that uses: SPASS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+P.rex
@@ Property / describes a project that uses: P.rex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+E Theorem Prover
@@ Property / describes a project that uses: E Theorem Prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SystemOnTPTP
@@ Property / describes a project that uses: SystemOnTPTP / 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.1016/j.entcs.2006.09.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2078574774
@@ Property / OpenAlex ID: W2078574774 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126263457
@@ Property / Wikidata QID: Q126263457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539626
@@ Property / cites work: Q4539626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723444
@@ Property / cites work: Q2723444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753006
@@ Property / cites work: Q2753006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150300
@@ Property / cites work: Q3150300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150301
@@ Property / cites work: Q3150301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723436
@@ Property / cites work: Q2723436 / rank @@
+Normal rank
@@ Property / cites work @@
+Using the TPTP Language for Writing Derivations and Finite Interpretations
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4672985
@@ Property / cites work: Q4672985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809064
@@ Property / cites work: Q4809064 / rank @@
+Normal rank