Visualising Reasoning: What ATP Can Learn From CP (Q5170236): Difference between revisions

@@ Property / author @@
+John K. Slaney
@@ Property / author: John K. Slaney / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniZinc
@@ Property / describes a project that uses: MiniZinc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DiSCiPl
@@ Property / describes a project that uses: DiSCiPl / 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.2012.06.006
+Normal rank
@@ Property / OpenAlex ID @@
+W1998784026
@@ Property / OpenAlex ID: W1998784026 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318099
@@ Property / Wikidata QID: Q113318099 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Logic Programming Using ECL<sup><i>i</i></sup>PS<sup><i>e</i></sup>
+Normal rank
@@ Property / cites work @@
+Visualization and optimization
@@ Property / cites work: Visualization and optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472308
@@ Property / cites work: Q4472308 / rank @@
+Normal rank