Citius altius fortius (Q4916218): Difference between revisions

@@ Property / describes a project that uses @@
+DISCOUNT
@@ Property / describes a project that uses: DISCOUNT / 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 @@
+EQP
@@ Property / describes a project that uses: EQP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On using ground joinable equations in equational theorem proving
+Normal rank
@@ Property / cites work @@
+Q4539648
@@ Property / cites work: Q4539648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000281
@@ Property / cites work: Q4000281 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993363
@@ Property / cites work: Q3993363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936127
@@ Property / cites work: Q4936127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809080
@@ Property / cites work: Q4809080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4349924
@@ Property / cites work: Q4349924 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments with discrimination-tree indexing and path indexing for term retrieval
+Normal rank
@@ Property / cites work @@
+Q4539610
@@ Property / cites work: Q4539610 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Q2751378
@@ Property / cites work: Q2751378 / rank @@
+Normal rank
@@ Property / cites work @@
+Limited resource strategy in resolution theorem proving
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+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 @@
+Q4539595
@@ Property / cites work: Q4539595 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751379
@@ Property / cites work: Q2751379 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80649-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1481397676
@@ Property / OpenAlex ID: W1481397676 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4916218