Term-rewriting

http://dbpedia.org/resource/Term-rewriting

rdf:langString Term-rewriting
xsd:integer 919924
xsd:integer 16712199
xsd:nonNegativeInteger 23

data from the linked data cloud