About: Confluence (abstract rewriting)

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

About: Confluence (abstract rewriting) Goto Sponge NotDistinct Permalink

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

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.

Attributes	Values
rdf:type	Thing building
rdfs:label	Confluence (abstract rewriting) (en)
rdfs: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. (en)
sameAs	Confluence (abstract rewriting) Confluence (abstract rewriting) Confluence (abstract rewriting)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Clear dbt:MathWorld dbt:Mvar dbt:Overset dbt:Reflist
Subject	Rewriting systems
Link from a Wikipage to an external page	https://books.google.com/books%3Fid=N7BvXVUCQk8C&printsec=frontcover%23v=onepage&q=confluence%20OR%20confluent&f=false
thumbnail	wiki-commons:Special:FilePath/Koblenz_im_Buga-Jahr_2011_-_Deutsches_Eck_01.jpg?width=300
foaf:depiction
gold:hypernym	Property
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Confluence_(abstract_rewriting)?oldid=1061796828&ns=0
Wikipage page ID	3755377 (xsd:integer)
page length (characters) of wiki page	15493 (xsd:nonNegativeInteger)
Wikipage revision ID	1061796828 (xsd:integer)
Link from a Wikipage to another Wikipage	Franz Baader Ground expression Group (mathematics) Normal form (abstract rewriting) Abstract rewriting system Alonzo Church Universal algebra Rewriting systems Directed graph Church–Rosser theorem Critical pair (term rewriting) Term (logic) Tobias Nipkow Closure (mathematics) Convergence (logic) Newman's lemma Rewriting Ideal (ring theory) Idempotence If and only if Gröbner basis Lambda calculus J. Barkley Rosser Matsumoto's theorem (group theory) Polynomial
has 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. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Confluence_(abstract_rewriting)
is Wikipage redirect of	Church-Rosser property Church–Rosser property Local confluence Locally confluent Directed relation Ground confluent Confluence (computer science) Confluence (rewriting system) Confluence (term rewriting) Confluent (abstract rewriting) Strong confluence Strongly confluent
is Link from a Wikipage to another Wikipage of	Normal form (abstract rewriting) Abstract rewriting system Algebraic semantics (computer science) Amalgamation property Binary relation Divergence (computer science) Chase (algorithm) Church-Rosser property Church–Rosser theorem Critical pair (term rewriting) Curry (programming language) Hypergraph Linear graph grammar Confluence (disambiguation) Constraint Handling Rules Convergence (logic) Newman's lemma Church–Rosser property Local confluence Locally confluent Hall word Lambda-mu calculus Lambda calculus Lambda cube Knuth–Bendix completion algorithm Laws of Form Directed relation Ground confluent Confluence (computer science) Confluence (rewriting system)

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 (71 GB total memory, 1007 MB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software