About: Abstract rewriting system

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

Formal system for transcribing expressions into equivalent terms

Property	Value
dbo:description	formal system for transcribing expressions into equivalent terms (en) 式を等価な項に置き換える形式体系 (ja)
dbo:thumbnail	wiki-commons:Special:FilePath/Cyclic_locally,_but_n...onfluent_rewrite_system.png?width=300
dbo:wikiPageExternalLink	http://downloads.hindawi.com/journals/ijmms/2010/458563.pdf http://citeseer.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.64.3114 https://books.google.com/books%3Fid=N7BvXVUCQk8C%7Cisbn=9780521779203
dbo:wikiPageWikiLink	dbr:Confluence_(abstract_rewriting) dbr:Lambda_calculus dbr:Composition_of_relations dbr:Reflexive_transitive_closure dbr:Set_(mathematics) dbr:Jean-Pierre_Jouannaud dbc:Rewriting_systems dbc:Logic_in_computer_science dbr:J._Barkley_Rosser dbr:Preorder dbr:Normal_form_(abstract_rewriting) dbr:Word_problem_(mathematics) dbr:Equational_logic dbr:Symmetric_closure dbr:Transitive_closure dbr:Gérard_Huet dbr:Jan_van_Leeuwen dbc:Formal_languages dbr:Preprint dbr:Converse_relation dbr:Theoretical_computer_science dbr:Jan_Willem_Klop dbr:Alonzo_Church dbr:Ronald_V._Book dbr:Binary_relation dbr:Equivalence_relation dbr:Mathematical_logic dbr:Rewriting dbr:John_Harrison dbr:Associativity dbr:Termination_(term_rewriting) dbr:Nachum_Dershowitz dbr:Formalism_(mathematics) dbr:JACM dbr:File:Cyclic_locally,_but_not_globally_confluent_rewrite_system.png dbr:Marc_Bezem dbr:Roel_de_Vrijer dbr:State_transition_system dbr:Well-founded_induction dbr:Reflexive_transitive_symmetric_closure dbr:Identity_relation dbr:Commutativity dbr:Newman's_Lemma dbr:Noetherian_relation
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Main dbt:Reflist dbt:Cite_journal dbt:ISBN dbt:Harvid dbt:Short_description
dct:subject	dbc:Rewriting_systems dbc:Logic_in_computer_science dbc:Formal_languages
rdfs:label	Abstract rewriting system (en) Sistema abstracte de reescriptura (ca) Reduktionssystem (de) 추상 재작성 시스템 (ko)
owl:sameAs	freebase:Abstract rewriting system yago-res:Abstract rewriting system wikidata:Abstract rewriting system dbpedia-de:Abstract rewriting system dbpedia-ko:Abstract rewriting system dbpedia-ca:Abstract rewriting system dbpedia-global:Abstract rewriting system dbr:Abstract rewriting system
prov:wasDerivedFrom	wikipedia-en:Abstract_rewriting_system?oldid=1294535740&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Cyclic_locally,_but_not_globally_confluent_rewrite_system.png
foaf:isPrimaryTopicOf	wikipedia-en:Abstract_rewriting_system
is dbo:wikiPageDisambiguates of	dbr:Ars
is dbo:wikiPageRedirects of	dbr:Abstract_reduction_system dbr:Abstract_rewrite_system dbr:Abstract_rewriting dbr:Terminating_relation dbr:Convergent_rewrite_system dbr:Convergent_rewriting_system dbr:Convergent_term_rewrite_system dbr:Convergent_term_rewriting_system dbr:Canonical_rewrite_system dbr:Canonical_rewriting_system dbr:Canonical_term_rewrite_system dbr:Canonical_term_rewriting_system dbr:Reduction_(abstract_rewriting) dbr:Reduction_relation
is dbo:wikiPageWikiLink of	dbr:Confluence_(abstract_rewriting) dbr:Reduction_strategy dbr:Church–Rosser_theorem dbr:Preorder dbr:Canonical_form dbr:Normal_form_(abstract_rewriting) dbr:Word_problem_(mathematics) dbr:Stephen_Wolfram dbr:Newman's_lemma dbr:Boolean_algebra_(structure) dbr:Transition_system dbr:Géraud_Sénizergues dbr:Binary_relation dbr:Semi-Thue_system dbr:Noetherian dbr:Ars dbr:Rewriting dbr:Divergence_(computer_science) dbr:Model_of_computation dbr:Abstract_reduction_system dbr:Abstract_rewrite_system dbr:Abstract_rewriting dbr:Relation_(mathematics) dbr:Dershowitz–Manna_ordering dbr:Susan_Hermiller dbr:Terminating_relation dbr:Convergent_rewrite_system dbr:Convergent_rewriting_system dbr:Convergent_term_rewrite_system dbr:Convergent_term_rewriting_system dbr:Canonical_rewrite_system dbr:Canonical_rewriting_system dbr:Canonical_term_rewrite_system dbr:Canonical_term_rewriting_system dbr:Reduction_(abstract_rewriting) dbr:Reduction_relation
is foaf:primaryTopic of	wikipedia-en:Abstract_rewriting_system