B, C, K, W system
combinatory logic system
Press Enter · cited answer in seconds
0 sources
B, C, K, W system
Summary
B, C, K, W system is a model of computation[1]. It draws 19 Wikipedia views per month (model_of_computation category, ranking #5 of 3).[2]
Key Facts
- B, C, K, W system's instance of is recorded as model of computation[3].
- B, C, K, W system's Freebase ID is recorded as /m/02p3k4[4].
- B, C, K, W system's defining formula is recorded as \begin{aligned}B&=\lambda xyz.x(yz)\C&=\lambda xyz.xzy\K&=\lambda xy.x\W&=\lambda xy.xyy\end{aligned}[5].
- B, C, K, W system's maintained by WikiProject is recorded as WikiProject Mathematics[6].
Body
Designation and Status
B, C, K, W system's instance of is recorded as model of computation[3].
Why It Matters
B, C, K, W system draws 19 Wikipedia views per month (model_of_computation category, ranking #5 of 3).[2]