(Q1307834)
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- dewiki Einheitsresolution
- enwiki Unit propagation
- frwiki Propagation unitaire
- huwiki Egységszaporítás
- nlwiki One-literal rule
procedure of automated theorem proving