| Property | Value |
|---|
| rdf:type | |
| rdfs:label | - Confluence (abstract rewriting)
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| skos:prefLabel | - Confluence (abstract rewriting)
|
| skos:altLabel | - Confluence (abstract_rewriting)#Ground confluence
- Confluence_(abstract_rewriting)#Local_confluence
- Confluence_(abstract_rewriting)#Strong_confluence
- confluence
- confluent
- locally confluent
- Confluence (abstract rewriting)#Church-Rosser property
- Confluence (abstract rewriting)#Motivating examples
|