🌐EnglishEnglishDeutschFrançaisItalianoNederlandsEntityQ1307834· pop 5· linked from 13 articlesUnit propagationAlso known as UP, Boolean Constraint propagation, BCP, one-literal rule, OLRprocedure of automated theorem provingAvailable in 5 languagesFrançaisDeutschHungarianNederlandsvia Wikidata sitelinks · CC0ConnectionsalgorithmEntitydigital object identifierEntityCategoriesAutomated theorem proving