Contributi di 79.24.168.179
Per 79.24.168.179 discussione blocchi registri
15 giu 2011
- 20:0420:04, 15 giu 2011 diff cron +835 N Discussione:Skolemizzazione ←Nuova pagina: Una domanda su questo passo dell'algoritmo di skolemizzazione: : ''Se il quantificatore Q<sub>n-1</sub> era di tipo ∃ ovvero ∃x<sub>n-1</sub>∃x<sub>n</sub> allora s...
- 19:4119:41, 15 giu 2011 diff cron +1 Skolemizzazione congiuntivo