A(z) „Skolem-normálforma” lapra hivatkozó lapok
Ugrás a navigációhoz
Ugrás a kereséshez
Az alábbi lapok hivatkoznak erre: Skolem-normálforma
(előző 50 | következő 50) (20 | 50 | 100 | 250 | 500)- Konjunktív normálforma (← erre mutató hivatkozások | szerkesztés)
- Diszjunktív normálforma (← erre mutató hivatkozások | szerkesztés)
- Herbrand-univerzum (← erre mutató hivatkozások | szerkesztés)
- Szerkesztő:BinBot/qtyqrutty (← erre mutató hivatkozások | szerkesztés)
- Kanonikus alak (← erre mutató hivatkozások | szerkesztés)
- Wikipédia:Cikkértékelési műhely/Matematikai szócikkek/32 (← erre mutató hivatkozások | szerkesztés)