Difference between revisions of "Template:Computable knowledge"
Jump to navigation
Jump to search
imported>Biogeographist (Undid revision 752489897 by Pleasantville (talk): WL existed before 2013, & Wolfram Alpha (written in WL) is already in template) |
imported>Anuragggbasu |
||
| Line 12: | Line 12: | ||
* [[Commonsense reasoning]] | * [[Commonsense reasoning]] | ||
* [[Computability]] | * [[Computability]] | ||
| − | * [[Formal system]] | + | * [[Formal system and informal system]] |
* [[Inference engine]] | * [[Inference engine]] | ||
* [[Knowledge base]] | * [[Knowledge base]] | ||