De volgende pagina's verwijzen naar Resolutie (logica):
Er worden 16 items getoond.
- Resolutie (← koppelingen | bewerken)
- Nucleus (← koppelingen | bewerken)
- Propositielogica (← koppelingen | bewerken)
- Satelliet (← koppelingen | bewerken)
- One-literal rule (← koppelingen | bewerken)
- Monotone variable fixing (← koppelingen | bewerken)
- Resolvent (redirect) (← koppelingen | bewerken)
- Vervulbaarheid (← koppelingen | bewerken)
- Tseitin-transformatie (← koppelingen | bewerken)
- Demodulatie (afleidingsregel) (← koppelingen | bewerken)
- Horn-clausule (← koppelingen | bewerken)
- DPLL-algoritme (← koppelingen | bewerken)
- Vervulbaarheidsprobleem (← koppelingen | bewerken)
- Cut-eliminatiestelling (← koppelingen | bewerken)
- Gebruiker:Simeon (← koppelingen | bewerken)
- Gebruiker:Simeon/Bijdragen (← koppelingen | bewerken)