About: Normalization property (abstract rewriting)

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

An object that cannot be rewritten further

Property	Value
dbo:description	an object that cannot be rewritten further (en) forma in cui un oggetto non può essere ulteriormente riscritto (it)
dbo:thumbnail	wiki-commons:Special:FilePath/Cyclic_locally,_but_n...onfluent_rewrite_system.png?width=300
dbo:wikiPageWikiLink	dbr:System_F dbr:Total_functional_programming dbc:Computability_theory dbc:Lambda_calculus dbr:Lambda_calculus dbc:Rewriting_systems dbr:Abstract_rewriting_system dbr:Typed_lambda_calculus dbc:Logic_in_computer_science dbr:Canonical_form dbr:Termination_analysis dbr:Newman's_lemma dbr:Collatz_conjecture dbc:Formal_languages dbr:Jean-Yves_Girard dbr:Thierry_Coquand dbr:Rewriting dbr:Calculus_of_constructions dbr:Simply_typed_lambda_calculus dbr:Meta-circular_evaluator dbr:Abstract_rewriting dbr:Turing_complete dbr:File:Cyclic_locally,_but_not_globally_confluent_rewrite_system.png dbr:Barendregt–Geuvers–Klop_conjecture dbr:Left_associative dbr:Confluence_(term_rewriting) dbr:Commutativity dbr:Normalization_by_evaluation
dbp:wikiPageUsesTemplate	dbt:Normal_forms_in_logic dbt:Reflist dbt:R_to_section dbt:Short_description
dct:subject	dbc:Computability_theory dbc:Lambda_calculus dbc:Rewriting_systems dbc:Logic_in_computer_science dbc:Formal_languages
rdfs:label	Normalization property (abstract rewriting) (en) Normal form (abstract rewriting) (en) Forma normal (reescritura abstracta) (es) 正規化 (項書き換え) (ja) Postać normalna (matematyka) (pl) Forma normal (pt)
owl:sameAs	freebase:Normalization property (abstract rewriting) yago-res:Normalization property (abstract rewriting) wikidata:Normalization property (abstract rewriting) dbpedia-ja:Normalization property (abstract rewriting) dbpedia-pt:Normalization property (abstract rewriting) dbpedia-es:Normalization property (abstract rewriting) dbpedia-pl:Normalization property (abstract rewriting) dbpedia-global:Normalization property (abstract rewriting) dbr:Normalization property (abstract rewriting)
prov:wasDerivedFrom	wikipedia-en:Normal_form_(abstract_rewriting)?oldid=1276404053&ns=0 wikipedia-en:Normalization_property_(abstract_rewriting)?oldid=1043796498&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Cyclic_locally,_but_not_globally_confluent_rewrite_system.png
foaf:isPrimaryTopicOf	wikipedia-en:Normal_form_(abstract_rewriting) wikipedia-en:Normalization_property_(abstract_rewriting)
is dbo:wikiPageDisambiguates of	dbr:Normal_form
is dbo:wikiPageRedirects of	dbr:Normalization_property_(abstract_rewriting) dbr:Normalization_property_(abstract_rewriting) dbr:Strong_normalisation dbr:Strong_normalization dbr:Strong_normalization_property dbr:Strongly_normalising dbr:Strongly_normalizing dbr:Weak_normalization dbr:Weak_normalization_property dbr:Weakly_normalising dbr:Normal_form_(formal_languages) dbr:Normal_form_(term_rewriting) dbr:Normalization_property dbr:Normalization_property_(lambda-calculus) dbr:Normalizing_(abstract_rewriting) dbr:Normalizing_(rewriting)
is dbo:wikiPageWikiLink of	dbr:Confluence_(abstract_rewriting) dbr:Natural_deduction dbr:Proper_equilibrium dbr:Type_theory dbr:Abstract_rewriting_system dbr:Disjunctive_normal_form dbr:Word_problem_(mathematics) dbr:Combinatory_logic dbr:Feedback_linearization dbr:Normal_form dbr:Pure_type_system dbr:Braid_group dbr:Rewriting dbr:Böhm_tree dbr:Divergence_(computer_science) dbr:Structural_proof_theory dbr:Prenex_normal_form dbr:Algebraic_semantics_(computer_science) dbr:Normalization_property_(abstract_rewriting) dbr:Mogensen–Scott_encoding dbr:Semiotic_theory_of_Charles_Sanders_Peirce dbr:Word_problem_for_groups dbr:Strong_normalisation dbr:Strong_normalization dbr:Strong_normalization_property dbr:Strongly_normalising dbr:Strongly_normalizing dbr:Weak_normalization dbr:Weak_normalization_property dbr:Weakly_normalising dbr:Normal_form_(formal_languages) dbr:Normal_form_(term_rewriting) dbr:Normalization_property dbr:Normalization_property_(lambda-calculus) dbr:Normalizing_(abstract_rewriting) dbr:Normalizing_(rewriting)
is foaf:primaryTopic of	wikipedia-en:Normal_form_(abstract_rewriting) wikipedia-en:Normalization_property_(abstract_rewriting)