Term rewriting

http://dbpedia.org/resource/Term_rewriting

rdf:langString Term rewriting
xsd:integer 418280
xsd:integer 784063315
xsd:nonNegativeInteger 96

data from the linked data cloud