Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Normal_form_(abstract_rewriting)> ?p ?o }
Showing triples 1 to 37 of
37
with 100 triples per page.
- Normal_form_(abstract_rewriting) abstract "In abstract rewriting, an object is in normal form if it cannot be rewritten any further. Depending on the rewriting system and the object, several normal forms may exist, or none at all.".
- Normal_form_(abstract_rewriting) wikiPageID "5085531".
- Normal_form_(abstract_rewriting) wikiPageLength "4192".
- Normal_form_(abstract_rewriting) wikiPageOutDegree "11".
- Normal_form_(abstract_rewriting) wikiPageRevisionID "644970006".
- Normal_form_(abstract_rewriting) wikiPageWikiLink Abstract_rewriting.
- Normal_form_(abstract_rewriting) wikiPageWikiLink Abstract_rewriting_system.
- Normal_form_(abstract_rewriting) wikiPageWikiLink Category:Computability_theory.
- Normal_form_(abstract_rewriting) wikiPageWikiLink Category:Formal_languages.
- Normal_form_(abstract_rewriting) wikiPageWikiLink Category:Rewriting_systems.
- Normal_form_(abstract_rewriting) wikiPageWikiLink Confluence_(abstract_rewriting).
- Normal_form_(abstract_rewriting) wikiPageWikiLink Confluence_(term_rewriting).
- Normal_form_(abstract_rewriting) wikiPageWikiLink Critical_pair_(logic).
- Normal_form_(abstract_rewriting) wikiPageWikiLink Critical_pair_lemma.
- Normal_form_(abstract_rewriting) wikiPageWikiLink Newmans_lemma.
- Normal_form_(abstract_rewriting) wikiPageWikiLinkText "Normal form (abstract rewriting)".
- Normal_form_(abstract_rewriting) wikiPageWikiLinkText "normal form".
- Normal_form_(abstract_rewriting) wikiPageWikiLinkText "normal forms".
- Normal_form_(abstract_rewriting) date "June 2013".
- Normal_form_(abstract_rewriting) hasPhotoCollection Normal_form_(abstract_rewriting).
- Normal_form_(abstract_rewriting) reason "Explicitly state and justify the thus generalized lemma, or omit this sentence.".
- Normal_form_(abstract_rewriting) wikiPageUsesTemplate Template:Cite_book.
- Normal_form_(abstract_rewriting) wikiPageUsesTemplate Template:Clarify.
- Normal_form_(abstract_rewriting) wikiPageUsesTemplate Template:Reflist.
- Normal_form_(abstract_rewriting) subject Category:Computability_theory.
- Normal_form_(abstract_rewriting) subject Category:Formal_languages.
- Normal_form_(abstract_rewriting) subject Category:Rewriting_systems.
- Normal_form_(abstract_rewriting) comment "In abstract rewriting, an object is in normal form if it cannot be rewritten any further. Depending on the rewriting system and the object, several normal forms may exist, or none at all.".
- Normal_form_(abstract_rewriting) label "Normal form (abstract rewriting)".
- Normal_form_(abstract_rewriting) sameAs Forma_normal_(reescritura_abstracta).
- Normal_form_(abstract_rewriting) sameAs 正規化_(項書き換え).
- Normal_form_(abstract_rewriting) sameAs Forma_normal.
- Normal_form_(abstract_rewriting) sameAs m.0d2017.
- Normal_form_(abstract_rewriting) sameAs Q7051809.
- Normal_form_(abstract_rewriting) sameAs Q7051809.
- Normal_form_(abstract_rewriting) wasDerivedFrom Normal_form_(abstract_rewriting)?oldid=644970006.
- Normal_form_(abstract_rewriting) isPrimaryTopicOf Normal_form_(abstract_rewriting).