| Property | Value |
|---|
| rdf:type | |
| rdfs:label | - Abstract rewriting system
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| skos:prefLabel | - Abstract rewriting system
|
| skos:altLabel | - noetherian
- rewriting rules
- term rewriting systems
- terminating
- Abstract_rewriting_system#Termination_and_convergence
- Rewriting Systems
- abstract rewriting system
- abstract rewriting system#Basic notions
- rule-based algorithm
- Abstract rewriting system#Termination and convergence
|