Resolution |
| 26.05.2015, 20:01 | Auf diesen Beitrag antworten » |
| neuling96 | Resolution Die Resolution am Anfang : allgemeinster Unifikator ist G:={x/z, y/x} damit gilt nach der ersten Resolution {p(y,y),p(v,v)} statt {p(x,x),p(v,v)}? |
|
|
|
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
|