🌐EnglishEnglishDeutschFrançaisPolskiPortuguêsРусский한국어日本語EntityQ1140902· pop 7· linked from 34 articlesconfluenceAlso known as Church–Rosser property, Church–Rosserproperty of abstract rewriting systemsAvailable in 7 languagesFrançaisDeutsch日本語PortuguêsPolski한국어via Wikidata sitelinks · CC0Connectionslambda calculusEntityrewritingEntityCategoriesRewriting systems