Flat matching (Q999086): Difference between revisions

@@ Property / DOI @@
-.1016/j.jsc.2008.05.001
@@ Property / DOI: 10.1016/j.jsc.2008.05.001 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q56211738
@@ Property / Wikidata QID: Q56211738 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Theorema
@@ Property / describes a project that uses: Theorema / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CLP(Flex)
@@ Property / describes a project that uses: CLP(Flex) / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Veriflog
@@ Property / describes a project that uses: Veriflog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / 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.jsc.2008.05.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2912446835
@@ Property / OpenAlex ID: W2912446835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+The meaning of infinity in calculus and computer algebra systems
+Normal rank
@@ Property / cites work @@
+A tight, practical integration of relations and functions.
+Normal rank
@@ Property / cites work @@
+\textit{Theorema}: Towards computer-aided mathematical theory exploration
+Normal rank
@@ Property / cites work @@
+A review of Mathematica
@@ Property / cites work: A review of Mathematica / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227328
@@ Property / cites work: Q4227328 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Information and Knowledge Systems
@@ Property / cites work: Foundations of Information and Knowledge Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal and complete word unification
@@ Property / cites work: Minimal and complete word unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428306
@@ Property / cites work: Q4428306 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of the rule-based system ρLog
@@ Property / cites work: Foundations of the rule-based system ρLog / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838764
@@ Property / cites work: Q3838764 / rank @@
+Normal rank
@@ Property / cites work @@
+Solvability of context equations with two context variables is decidable
+Normal rank
@@ Property / cites work @@
+The complexity of linear and stratified context matching problems
+Normal rank
@@ Property / cites work @@
+Word unification and transformation of generalized equations
+Normal rank
@@ Property / cites work @@
+Q4714443
@@ Property / cites work: Q4714443 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JSC.2008.05.001
@@ Property / DOI: 10.1016/J.JSC.2008.05.001 / rank @@
+Normal rank