About: Convergence (logic)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Convergence (logic) Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

In mathematics, computer science and logic, convergence is 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.

Attributes	Values
rdfs:label	Convergence (logic) (en)
rdfs:comment	In mathematics, computer science and logic, convergence is 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. (en)
sameAs	Convergence (logic) Convergence (logic)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Mathlogic-stub dbt:Plt-stub
Subject	Rewriting systems
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Convergence_(logic)?oldid=1017184773&ns=0
Wikipage page ID	32106812 (xsd:integer)
page length (characters) of wiki page	971 (xsd:nonNegativeInteger)
Wikipage revision ID	1017184773 (xsd:integer)
Link from a Wikipage to another Wikipage	Logic Logical equality Logical equivalence Rewriting systems Preorder Rule of replacement Computer science Confluence (abstract rewriting) Newman's lemma Rewriting Mathematics
has abstract	In mathematics, computer science and logic, convergence is 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. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Convergence_(logic)
is Wikipage redirect of	Convergence (abstract rewriting) Convergence in logic
is Link from a Wikipage to another Wikipage of	Confluence (abstract rewriting) Convergence Convergence (abstract rewriting) Convergence in logic
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Convergence_(logic)

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software