Term-rewriting
http://dbpedia.org/resource/Term-rewriting
rdf:langString
Term-rewriting
xsd:integer
919924
xsd:integer
16712199
xsd:nonNegativeInteger
23