Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

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

Newman's lemma · Vinony

🌐English

English Deutsch Français Português Русский 日本語

EntityQ1208706· pop 5· linked from 8 articles

Newman's lemma

lemma

Connections

International Standard Book Number

digital object identifier

Categories

Lemmas Rewriting systems Wellfoundedness

Sources

wikipedia.externallinksexternallink

bubble sort

Entity

theoretical computer science

Royal Institute of Technology

Annals of Mathematics

well-founded relation

Journal of the ACM

abstract rewriting system

Sign in to save

What links here8 pages

abstract rewriting system

Similar entities

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

Entitydist 0.47

Poincaré lemma

Entitydist 0.51

Entitydist 0.56

Lehmann–Scheffé theorem

Entitydist 0.57

Entitydist 0.58

Hardy–Littlewood tauberian theorem

Entitydist 0.58

Liouville-Arnold theorem

Entitydist 0.60

Lebesgue's decomposition theorem

Entitydist 0.60

Popoviciu's inequality

Entitydist 0.61

Entitydist 0.61

Entitydist 0.61

Bipolar theorem

Entitydist 0.62