|
Abgeschlossenheit
|
104 |
32 |
15 |
14 |
2.6 |
|
Baumkalkül
|
528 |
22 |
13 |
10 |
2.2 |
|
Begriffsschrift
|
56 |
8 |
10 |
2 |
3.3 |
|
Boolesche Algebra
|
45 |
17 |
32 |
8 |
2.7 |
|
Boolesche Funktion
|
287 |
15 |
20 |
18 |
1.5 |
|
Computation Tree Logic
|
83 |
5 |
17 |
5 |
1.5 |
|
Elementare Sprache
|
102 |
9 |
17 |
2 |
3.4 |
|
Erfüllbarkeitsproblem für quantifizierte boolesche Formeln
|
199 |
10 |
14 |
10 |
1.3 |
|
Gentzenscher Hauptsatz
|
84 |
5 |
9 |
6 |
2 |
|
Goodstein-Folge
|
151 |
18 |
18 |
9 |
2 |
|
Gödelscher Vollständigkeitssatz
|
168 |
12 |
9 |
4 |
1.8 |
|
Heyting-Algebra
|
365 |
15 |
46 |
15 |
2.1 |
|
Hoare-Kalkül
|
206 |
26 |
17 |
8 |
2.3 |
|
Karnaugh-Veitch-Diagramm
|
144 |
8 |
48 |
9 |
3 |
|
Konstruierbarkeitsaxiom
|
202 |
37 |
56 |
5 |
1.2 |
|
Lineare temporale Logik
|
138 |
10 |
16 |
12 |
3.2 |
|
Merkmalexploration
|
148 |
1 |
17 |
5 |
1.4 |
|
Modelltheorie
|
161 |
26 |
15 |
5 |
1.5 |
|
Quantorenelimination
|
316 |
27 |
51 |
16 |
1.6 |
|
Resolution (Logik)
|
117 |
19 |
28 |
5 |
1.5 |
|
