 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | |||||||||||||||||
| Wissensbrowser starten | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Glossareintrag |
|
Skolemkonstante |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Erläuterung | |||||||||
| |||||||||
| Als Skolemform bezeichnet man eine prädikatenlogische Formel, die sich in einer Normalform nach Albert Thoralf Skolem befindet. Bei der Umformung zur Klausel-Normalform stellt die Skolemform einen hilfreichen Zwischenschritt da.
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||
| ||
| ||
| ||
| Skolemkonstante | ||
| ||
| ||
| ||
| | |
| ||||||||||||||
|
