Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

confluence · Vinony

EntityQ1140902· pop 7· linked from 34 articles

confluence

Sign in to save

property of abstract rewriting systems

Connections

lambda calculus

International Standard Book Number

universal algebra

Eric W. Weisstein

Church–Rosser theorem

J. Barkley Rosser

Categories

Rewriting systems

Sources

wikipedia.externallinksexternallink

What links here34 pages

binary relation

Church–Rosser theorem

abstract rewriting system

lambda calculus

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Category:Formal specification languages

Entitydist 0.57

Entitydist 0.57

Semantic MediaWiki

Entitydist 0.57

Entitydist 0.58

Entitydist 0.58

Entitydist 0.60

syntax-directed translation

Entitydist 0.60

Language Of Temporal Ordering Specification

Entitydist 0.60

Abstract Syntax Notation One

Entitydist 0.61

constituent assembly

Entitydist 0.61

Template:Formal languages and grammars

Entitydist 0.61

identity of indiscernibles

Entitydist 0.61