Bijdragen van 77.175.47.85
Uiterlijk
Voor 77.175.47.85 overleg blokkeerlogboek logboeken
13 apr 2013
- 17:5713 apr 2013 17:57 wijz gesch +74 Overleg:Horn-vervulbaarheid Geen bewerkingssamenvatting laatste wijziging
- 17:4113 apr 2013 17:41 wijz gesch +15 Horn-vervulbaarheid betere verwijzing voor atoom
- 17:2413 apr 2013 17:24 wijz gesch +129 N Overleg:Horn-vervulbaarheid Nieuwe pagina aangemaakt met 'Dit zou wellicht nog wat mooier uitgelegd kunnen worden, maar het leek mij een goed begin voor bijvoorbeeld studenten van logica.'
- 17:2313 apr 2013 17:23 wijz gesch +1.680 N Horn-vervulbaarheid Een simpele samenvatting van het horn-vervulbaarheids algoritme.