Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (Q6135743)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties |
scientific article; zbMATH DE number 7731908
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties |
scientific article; zbMATH DE number 7731908 |
Statements
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (English)
0 references
26 August 2023
0 references
congruence closure
0 references
canonical form
0 references
canonical rewrite systems
0 references
associative-commutative
0 references
idempotency
0 references
nilpotency
0 references
cancelation
0 references
group
0 references
Gröbner basis
0 references
0 references
0 references
0.8244286775588989
0 references
0.7905449271202087
0 references
0.7535383105278015
0 references
