An Interactive Derivation Viewer (Q2867942): Difference between revisions

@@ 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