Matches in DBpedia 2016-04 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_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 Critical_pair_(logic).
- 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) 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) type Language.
- Normal_form_(abstract_rewriting) type Combinatoric.
- Normal_form_(abstract_rewriting) type Language.
- Normal_form_(abstract_rewriting) type Page.
- 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 Q7051809.
- 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) wasDerivedFrom Normal_form_(abstract_rewriting)?oldid=644970006.
- Normal_form_(abstract_rewriting) isPrimaryTopicOf Normal_form_(abstract_rewriting).