| 2224 |
명제 증명 |
분류
|
162 |
480 |
32.828% |
| 3682 |
동치 증명 |
출처
원문
분류
|
159 |
568 |
24.888% |
| 4265 |
Tautology |
출처
원문
|
1 |
2 |
50.000% |
| 9170 |
Single Digit Adder |
출처
원문
|
3 |
7 |
42.857% |
| 4817 |
괄호 |
출처
원문
|
3 |
9 |
100.000% |
| 6582 |
Artificial Intelligence? |
출처
원문
|
2 |
3 |
100.000% |
| 7622 |
The (Bayesian) Hound and the Hare |
출처
원문
|
1 |
2 |
50.000% |
| 11264 |
Logical Functions: AND-OR |
출처
원문
|
2 |
4 |
50.000% |
| 10658 |
Learning by Example |
출처
원문
|
7 |
19 |
36.842% |
| 7778 |
Intelligent Design |
스페셜 저지
출처
원문
|
3 |
35 |
8.696% |
| 1013 |
Contact |
|
600 |
1946 |
30.924% |
| 3593 |
DFA |
출처
원문
|
4 |
13 |
30.000% |
| 3993 |
Disjoint Regular Expressions |
스페셜 저지
출처
원문
|
3 |
9 |
28.571% |
| 10356 |
Grammar |
출처
원문
|
3 |
4 |
75.000% |
| 10499 |
Out of context |
출처
원문
|
0 |
1 |
0.000% |
| 9167 |
도발 봇 |
출처
원문
|
1 |
2 |
50.000% |
| 6670 |
C Looooops |
출처
원문
|
2 |
5 |
40.000% |
| 11516 |
Interpreter |
출처
원문
|
0 |
0 |
0.000% |
| 7607 |
List Calculator |
출처
원문
|
0 |
0 |
0.000% |
| 2733 |
Brainf*ck |
출처
원문
분류
|
28 |
158 |
27.381% |
