Term rewriting
http://dbpedia.org/resource/Term_rewriting
rdf:langString
Term rewriting
xsd:integer
418280
xsd:integer
784063315
xsd:nonNegativeInteger
96