Termination (term rewriting)

http://dbpedia.org/resource/Termination_(term_rewriting)

rdfs:label

rdf:langString Termination (term rewriting)

dbpedia-owl:wikiPageID

xsd:integer 42967060

dbpedia-owl:wikiPageRevisionID

xsd:integer 611659908

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 84

dcterms:subject

dbpedia:Category:Rewriting_systems

dbpedia-owl:wikiPageWikiLink

dbpedia:Rewriting

dbpedia:Category:Rewriting_systems

dbpedia-owl:wikiPageRedirects

dbpedia:Rewriting

dbpprop:wikiPageUsesTemplate

dbpedia:Template:R_to_section

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Termination_(term_rewriting)?oldid=611659908&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Termination_(term_rewriting)>

data from the linked data cloud