Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Convergence_(logic)> ?p ?o }
Showing triples 1 to 27 of
27
with 100 triples per page.
- Convergence_(logic) abstract "In mathematics, computer science and logic, convergence refers to the idea that different sequences of transformations come to a conclusion in a finite amount of time (the transformations are terminating), and that the conclusion reached is independent of the path taken to get to it (they are confluent).More formally, a preordered set of term rewriting transformations are said to be convergent if they are confluent and terminating.".
- Convergence_(logic) wikiPageID "32106812".
- Convergence_(logic) wikiPageLength "935".
- Convergence_(logic) wikiPageOutDegree "13".
- Convergence_(logic) wikiPageRevisionID "627004384".
- Convergence_(logic) wikiPageWikiLink Category:Rewriting_systems.
- Convergence_(logic) wikiPageWikiLink Computer_science.
- Convergence_(logic) wikiPageWikiLink Confluence_(abstract_rewriting).
- Convergence_(logic) wikiPageWikiLink Logic.
- Convergence_(logic) wikiPageWikiLink Logical_equality.
- Convergence_(logic) wikiPageWikiLink Logical_equivalence.
- Convergence_(logic) wikiPageWikiLink Mathematics.
- Convergence_(logic) wikiPageWikiLink Newmans_lemma.
- Convergence_(logic) wikiPageWikiLink Preorder.
- Convergence_(logic) wikiPageWikiLink Rewriting.
- Convergence_(logic) wikiPageWikiLink Rule_of_replacement.
- Convergence_(logic) wikiPageWikiLinkText "Convergence (logic)".
- Convergence_(logic) wikiPageUsesTemplate Template:Comp-sci-stub.
- Convergence_(logic) wikiPageUsesTemplate Template:Plt-stub.
- Convergence_(logic) subject Category:Rewriting_systems.
- Convergence_(logic) comment "In mathematics, computer science and logic, convergence refers to the idea that different sequences of transformations come to a conclusion in a finite amount of time (the transformations are terminating), and that the conclusion reached is independent of the path taken to get to it (they are confluent).More formally, a preordered set of term rewriting transformations are said to be convergent if they are confluent and terminating.".
- Convergence_(logic) label "Convergence (logic)".
- Convergence_(logic) sameAs Q5166366.
- Convergence_(logic) sameAs m.0gx20bs.
- Convergence_(logic) sameAs Q5166366.
- Convergence_(logic) wasDerivedFrom Convergence_(logic)?oldid=627004384.
- Convergence_(logic) isPrimaryTopicOf Convergence_(logic).