About: Rewriting

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Replacing subterm in a mathematical formula with another term

Property	Value
dbo:description	Uku-ripleyisa i-sabuthemu kwifomula enelinye igama (zu) заміна підвиразу у математичній формулі на інший член (uk) replacing subterm in a mathematical formula with another term (en) formales Berechnungsmodell in der Theoretischen Informatik (de) замена подвыражения формулы на другое (ru) 用另一個術語替換公式中的子項 (zh) matematikai képletben egy kifejezés helyettesítése egy másik kifejezéssel (hu)
dbo:thumbnail	wiki-commons:Special:FilePath/Triangle_diagram_of_rewrite_rule_application_svg.svg?width=300
dbo:wikiPageExternalLink	http://www.cs.tau.ac.il/~nachum/papers/hand-final.pdf http://www.termination-portal.org/ https://ifip-wg-rewriting.cs.ru.nl/ http://rewriting.loria.fr/ http://rewriting.loria.fr/documents/plaisted.ps.gz http://infolab.stanford.edu/pub/cstr/reports/cs/tr/80/785/CS-TR-80-785.pdf http://citeseer.ist.psu.edu/dershowitz90rewrite.html http://cl-informatik.uibk.ac.at/~ami/research/rr/index.php http://maude.cs.illinois.edu/w/index.php/The_Maude_System
dbo:wikiPageWikiLink	dbr:Confluence_(abstract_rewriting) dbr:Samson_Abramsky dbr:Congruence_relation dbr:Aart_Middeldorp dbr:C._J._Hogger dbr:File:Example_term_for_position,_path,_depth,_match_svg.svg dbr:File:Triangle_diagram_of_rewrite_rule_application_svg.svg dbr:Handbook_of_Logic_in_Artificial_Intelligence_and_Logic_Programming dbr:Handbook_of_Logic_in_Computer_Science dbr:Tree_(graph_theory) dbr:Free_monoid dbr:Compiler dbr:Peano_axioms dbr:Signature_(logic) dbr:Reflexive_transitive_closure dbr:Generative_grammar dbr:Jean-Pierre_Jouannaud dbr:Closure_(mathematics) dbr:Automated_theorem_proving dbr:Free_group dbc:Rewriting_systems dbr:Lecture_Notes_in_Computer_Science dbr:Abstract_rewriting_system dbr:Handbook_of_Automated_Reasoning dbc:Logic_in_computer_science dbr:Well-formed_formula dbr:L-system dbr:Normal_form_(abstract_rewriting) dbr:Word_problem_(mathematics) dbr:Logic dbr:Mathematics dbr:Symmetric_closure dbr:Substitution_(logic) dbr:Noun_phrase dbr:Transitive_closure dbr:Newman's_lemma dbr:Symmetric_relation dbr:Empty_string dbr:Term_(logic) dbr:Gérard_Huet dbr:Jan_van_Leeuwen dbr:Algorithm dbc:Mathematical_logic dbr:Linguistics dbc:Formal_languages dbr:Preprint dbr:Andrei_Voronkov dbr:Martin_Davis_(mathematician) dbr:Knuth–Bendix_completion_algorithm dbr:Trace_monoid dbr:David_Plaisted dbr:Jan_Willem_Klop dbr:Computer_science dbr:Computer_program dbr:Sentence_(linguistics) dbr:Ronald_V._Book dbr:Binary_relation dbr:Equivalence_relation dbr:Substring dbr:Ground_term dbr:Morpheme dbr:Verb_phrase dbr:Trace_theory dbr:Logical_equivalence dbr:Conjunctive_normal_form dbr:Undecidable_problem dbr:Successor_function dbr:Causality dbr:De_Morgan's_laws dbr:String_(computer_science) dbr:Tuple dbr:Graph_rewriting dbr:Syntactic_category dbr:Critical_pair_(logic) dbr:Natural_number dbr:John_Alan_Robinson dbr:Referential_transparency dbr:University_of_Innsbruck dbr:History_monoid dbr:Presentation_of_a_monoid dbr:Michael_M._Richter dbr:Regulated_rewriting dbr:Rewrite_order dbr:Term_algebra dbr:Path_ordering_(term_rewriting) dbr:Tom_Maibaum dbr:Nachum_Dershowitz dbr:Distributivity dbr:Rho_calculus dbr:Phrase_structure_rule dbr:Iff dbr:Elaine_J._Weyuker dbr:Isomorphic dbr:Monoid_presentation dbr:Graph_(graph_theory) dbr:Handbook_of_Theoretical_Computer_Science dbr:Alphabet_(computer_science) dbr:Marc_Bezem dbr:Roel_de_Vrijer dbr:Bicyclic_monoid dbr:Declarative_programming_language dbr:Church–Rosser_property dbr:Factor_monoid dbr:Reflexive_transitive_symmetric_closure dbr:Double_negation_elimination dbr:Dov_M._Gabbay dbr:Lambda_term dbr:Non-deterministic_algorithm dbr:Ron_Sigal
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:Main dbt:Reflist dbt:Redirect dbt:Math dbt:Wiktionary dbt:ISBN dbt:Other_uses dbt:NoteFoot dbt:Section_link dbt:Isbn dbt:Nobreak dbt:Short_description
dct:subject	dbc:Rewriting_systems dbc:Logic_in_computer_science dbc:Mathematical_logic dbc:Formal_languages
rdf:type	owl:Thing owl:Thing
rdfs:label	Rewriting (en) Termersetzungssystem (de) Reescritura (es) Réécriture (informatique) (fr) Riscrittura (it) 項書き換え (ja) 재작성 (ko) Herschrijven (theoretische informatica) (nl) Sistema de redução (pt) Рерайтинг (математика) (uk) Переписывание (ru) 重写逻辑 (zh)
owl:sameAs	freebase:Rewriting wikidata:Rewriting dbpedia-it:Rewriting dbpedia-nl:Rewriting dbpedia-de:Rewriting dbpedia-fr:Rewriting dbpedia-tr:Rewriting dbpedia-zh:Rewriting dbpedia-ja:Rewriting dbpedia-pt:Rewriting dbpedia-es:Rewriting dbpedia-fa:Rewriting dbpedia-ru:Rewriting dbpedia-ko:Rewriting dbpedia-uk:Rewriting dbpedia-global:Rewriting dbr:Rewriting
prov:wasDerivedFrom	wikipedia-en:Rewriting?oldid=1288716685&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Example_term_for_position,_path,_depth,_match_svg.svg wiki-commons:Special:FilePath/Triangle_diagram_of_rewrite_rule_application_svg.svg
foaf:isPrimaryTopicOf	wikipedia-en:Rewriting
is dbo:academicDiscipline of	dbr:Deepak_Kapur dbr:Nachum_Dershowitz dbr:Klaus_Peter_Jantke
is dbo:knownFor of	dbr:Ronald_V._Book
is dbo:wikiPageRedirects of	dbr:Reduction_system dbr:Term-rewriting dbr:Term-rewriting dbr:Termination_(term_rewriting) dbr:Term_rewriting_system dbr:Term_rewriting_system dbr:Term_rewriting dbr:Term_rewriting dbr:Term_Rewriting_System dbr:Term_rewrite_system dbr:Termination_(rewriting) dbr:Redex dbr:Reducible_expression dbr:Reduction_systems dbr:Phase-structure_rule dbr:Rewrite_rule dbr:Rewrite_rules dbr:Rewrite_system dbr:Rewriter dbr:Rewriting_logic dbr:Rewriting_system dbr:Substitution_system dbr:Tree_rewriting dbr:Trace_rewriting_system dbr:Transformational_rule
is dbo:wikiPageWikiLink of	dbr:Modal_operator dbr:URL_redirection dbr:Sierpiński_curve dbr:Hyperoperation dbr:Confluence_(abstract_rewriting) dbr:List_of_computability_and_complexity_topics dbr:Reduction_strategy dbr:Monad_(functional_programming) dbr:List_of_Apache_modules dbr:Lambda_calculus dbr:Compiler dbr:Quantifier_shift dbr:Integer dbr:Automated_theorem_proving dbr:Unification_(computer_science) dbr:Type_theory dbr:Hilbert_curve dbr:Abstract_rewriting_system dbr:Universal_Turing_machine dbr:OBJ_(programming_language) dbr:Rule-based_system dbr:Normal_form_(abstract_rewriting) dbr:Word_problem_(mathematics) dbr:Kripke_semantics dbr:Web_framework dbr:Newman's_lemma dbr:M-expression dbr:Message_Authenticator_Algorithm dbr:Explicit_substitution dbr:Index_of_philosophy_articles_(R–Z) dbr:International_Conference_on_Rewriting_Techniques_and_Applications dbr:UUCP dbr:Doxastic_logic dbr:Frits_Staal dbr:Substructural_logic dbr:List_of_unsolved_problems_in_computer_science dbr:Production_system_(computer_science) dbr:Computer_algebra dbr:Data_type dbr:Prefix_grammar dbr:Left_recursion dbr:James_Hoe dbr:De_Bruijn_index dbr:TRS dbr:Ackermann_function dbr:Well-founded_relation dbr:.htaccess dbr:Cyclic_order dbr:Semi-Thue_system dbr:Literal_movement_grammar dbr:Nqthm dbr:Charlotte_MacLeod dbr:Reduction_(mathematics) dbr:List_of_lemmas dbr:Böhm_tree dbr:Directed_algebraic_topology dbr:Moore_curve dbr:Prenex_normal_form dbr:Graph_rewriting dbr:List_of_algorithms dbr:Rewrite dbr:Critical_pair_(term_rewriting) dbr:Referential_transparency dbr:Algebraic_Petri_net dbr:Binary_combinatory_logic dbr:Rewrite_engine dbr:Maude_system dbr:Reduction_system dbr:Aspects_of_the_Theory_of_Syntax dbr:Atom_(programming_language) dbr:Constraint_Handling_Rules dbr:Larch_Prover dbr:Rewrite_order dbr:Grigore_Roșu dbr:Term-rewriting dbr:Arvind_(computer_scientist) dbr:Termination_(term_rewriting) dbr:Resolution_proof_reduction_via_local_context_rewriting dbr:Semigroup_with_involution dbr:Term_rewriting_system dbr:Nachum_Dershowitz dbr:Word_problem_for_groups dbr:Hans_Zantema dbr:Gunther_Schmidt dbr:Jose_Meseguer dbr:Linear_graph_grammar dbr:Klaus_Peter_Jantke dbr:Term_rewriting dbr:Term_Rewriting_System dbr:Term_rewrite_system dbr:Termination_(rewriting) dbr:Redex dbr:Reducible_expression dbr:Reduction_systems dbr:Phase-structure_rule dbr:Rewrite_rule dbr:Rewrite_rules dbr:Rewrite_system dbr:Rewriter dbr:Rewriting_logic dbr:Rewriting_system dbr:Substitution_system dbr:Tree_rewriting dbr:Trace_rewriting_system dbr:Transformational_rule
is dbp:fields of	dbr:Deepak_Kapur dbr:Nachum_Dershowitz
is dbp:paradigm of	dbr:Pure_(programming_language) dbr:Wolfram_Language
is foaf:primaryTopic of	wikipedia-en:Rewriting