Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

http://dbpedia.org/resource/Term_rewriting_system

http://dbpedia.org/ontology/wikiPageID	659141
http://dbpedia.org/ontology/wikiPageLength	46
http://dbpedia.org/ontology/wikiPageRedirects	http://dbpedia.org/resource/Rewriting +
http://dbpedia.org/ontology/wikiPageRevisionID	788753742
http://dbpedia.org/ontology/wikiPageWikiLink	http://dbpedia.org/resource/Rewriting +
http://www.w3.org/ns/prov#wasDerivedFrom	http://en.wikipedia.org/wiki/Term_rewriting_system?oldid=788753742&ns=0 +
http://xmlns.com/foaf/0.1/isPrimaryTopicOf	http://en.wikipedia.org/wiki/Term_rewriting_system +
owl:sameAs	http://dbpedia.org/resource/Term_rewriting_system +
rdfs:label	Term rewriting system

http://dbpedia.org/resource/Ronald_V._Book +	http://dbpedia.org/ontology/knownFor
http://dbpedia.org/resource/Term_algebra + , http://dbpedia.org/resource/Word_problem_%28mathematics%29 + , http://dbpedia.org/resource/David_Plaisted + , http://dbpedia.org/resource/Overlap_%28term_rewriting%29 + , http://dbpedia.org/resource/Knuth%E2%80%93Bendix_completion_algorithm + , http://dbpedia.org/resource/Ronald_V._Book + , http://dbpedia.org/resource/Tree_transducer + , http://dbpedia.org/resource/Bluespec + , http://dbpedia.org/resource/Orthogonality_%28mathematics%29 + , http://dbpedia.org/resource/Critical_pair_%28term_rewriting%29 + , http://dbpedia.org/resource/Hall_word + , http://dbpedia.org/resource/Abstract_rewriting_machine + , http://dbpedia.org/resource/System_F + , http://dbpedia.org/resource/Reduction_strategy +	http://dbpedia.org/ontology/wikiPageWikiLink
http://en.wikipedia.org/wiki/Term_rewriting_system +	http://xmlns.com/foaf/0.1/primaryTopic
http://dbpedia.org/resource/Term_rewriting_system +	owl:sameAs

Navigation menu