Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Confluence_(abstract_rewriting)> ?p ?o }
Showing triples 1 to 61 of
61
with 100 triples per page.
- Confluence_(abstract_rewriting) abstract "In computer science, confluence is a property of rewriting systems, describing which terms in such a system can be rewritten in more than one way, to yield the same result. This article describes the properties in the most abstract setting of an abstract rewriting system.".
- Confluence_(abstract_rewriting) thumbnail Koblenz_im_Buga-Jahr_2011_-_Deutsches_Eck_01.jpg?width=300.
- Confluence_(abstract_rewriting) wikiPageID "3755377".
- Confluence_(abstract_rewriting) wikiPageLength "12283".
- Confluence_(abstract_rewriting) wikiPageOutDegree "24".
- Confluence_(abstract_rewriting) wikiPageRevisionID "668066694".
- Confluence_(abstract_rewriting) wikiPageWikiLink Abstract_rewriting_system.
- Confluence_(abstract_rewriting) wikiPageWikiLink Category:Rewriting_systems.
- Confluence_(abstract_rewriting) wikiPageWikiLink Church-Rosser_theorem.
- Confluence_(abstract_rewriting) wikiPageWikiLink Church–Rosser_theorem.
- Confluence_(abstract_rewriting) wikiPageWikiLink Closure_(mathematics).
- Confluence_(abstract_rewriting) wikiPageWikiLink Convergence_(logic).
- Confluence_(abstract_rewriting) wikiPageWikiLink Critical_pair_(logic).
- Confluence_(abstract_rewriting) wikiPageWikiLink Franz_Baader.
- Confluence_(abstract_rewriting) wikiPageWikiLink Group_(mathematics).
- Confluence_(abstract_rewriting) wikiPageWikiLink Gröbner_basis.
- Confluence_(abstract_rewriting) wikiPageWikiLink Idempotence.
- Confluence_(abstract_rewriting) wikiPageWikiLink Matsumotos_theorem_(group_theory).
- Confluence_(abstract_rewriting) wikiPageWikiLink Newmans_lemma.
- Confluence_(abstract_rewriting) wikiPageWikiLink Rewriting.
- Confluence_(abstract_rewriting) wikiPageWikiLink Term_(logic).
- Confluence_(abstract_rewriting) wikiPageWikiLink Term_rewriting.
- Confluence_(abstract_rewriting) wikiPageWikiLink Tobias_Nipkow.
- Confluence_(abstract_rewriting) wikiPageWikiLink File:Confluence.svg.
- Confluence_(abstract_rewriting) wikiPageWikiLink File:Cyclic_locally,_but_not_globally_confluent_rewrite_system.png.
- Confluence_(abstract_rewriting) wikiPageWikiLink File:Koblenz_im_Buga-Jahr_2011_-_Deutsches_Eck_01.jpg.
- Confluence_(abstract_rewriting) wikiPageWikiLink File:Non-cyclic_locally,_but_not_globally_confluent_rewrite_system.gif.
- Confluence_(abstract_rewriting) wikiPageWikiLinkText "Confluence (abstract rewriting)".
- Confluence_(abstract_rewriting) wikiPageWikiLinkText "Confluence (abstract rewriting)#Motivating examples".
- Confluence_(abstract_rewriting) wikiPageWikiLinkText "Confluence_(abstract_rewriting)#Local_confluence".
- Confluence_(abstract_rewriting) wikiPageWikiLinkText "Confluence_(abstract_rewriting)#Strong_confluence".
- Confluence_(abstract_rewriting) wikiPageWikiLinkText "Confluent".
- Confluence_(abstract_rewriting) wikiPageWikiLinkText "confluence".
- Confluence_(abstract_rewriting) wikiPageWikiLinkText "confluent".
- Confluence_(abstract_rewriting) wikiPageWikiLinkText "locally confluent".
- Confluence_(abstract_rewriting) hasPhotoCollection Confluence_(abstract_rewriting).
- Confluence_(abstract_rewriting) title "Confluent".
- Confluence_(abstract_rewriting) urlname "Confluent".
- Confluence_(abstract_rewriting) wikiPageUsesTemplate Template:Authority_control.
- Confluence_(abstract_rewriting) wikiPageUsesTemplate Template:Clear.
- Confluence_(abstract_rewriting) wikiPageUsesTemplate Template:MathWorld.
- Confluence_(abstract_rewriting) wikiPageUsesTemplate Template:Mvar.
- Confluence_(abstract_rewriting) wikiPageUsesTemplate Template:Reflist.
- Confluence_(abstract_rewriting) subject Category:Rewriting_systems.
- Confluence_(abstract_rewriting) hypernym Property.
- Confluence_(abstract_rewriting) type Building.
- Confluence_(abstract_rewriting) type Thing.
- Confluence_(abstract_rewriting) comment "In computer science, confluence is a property of rewriting systems, describing which terms in such a system can be rewritten in more than one way, to yield the same result. This article describes the properties in the most abstract setting of an abstract rewriting system.".
- Confluence_(abstract_rewriting) label "Confluence (abstract rewriting)".
- Confluence_(abstract_rewriting) sameAs Konfluenz_(Informatik).
- Confluence_(abstract_rewriting) sameAs Confluence_(informatique).
- Confluence_(abstract_rewriting) sameAs 合流性.
- Confluence_(abstract_rewriting) sameAs 합류성_(재작성_시스템).
- Confluence_(abstract_rewriting) sameAs Relacja_silnie_konfluentna.
- Confluence_(abstract_rewriting) sameAs Confluência_(sistemas_de_reescrita_de_termos).
- Confluence_(abstract_rewriting) sameAs m.09z7p4.
- Confluence_(abstract_rewriting) sameAs Q1140902.
- Confluence_(abstract_rewriting) sameAs Q1140902.
- Confluence_(abstract_rewriting) wasDerivedFrom Confluence_(abstract_rewriting)?oldid=668066694.
- Confluence_(abstract_rewriting) depiction Koblenz_im_Buga-Jahr_2011_-_Deutsches_Eck_01.jpg.
- Confluence_(abstract_rewriting) isPrimaryTopicOf Confluence_(abstract_rewriting).
