information about Well-formed formula field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 55.7M papers | Artificial intelligence 11.4M papers | Programming language 7.3M papers | Theoretical computer science 632k papers |
Description logic 19k papers | Multimodal logic 8,940 papers | Intermediate logic 4,599 papers | Autoepistemic logic 3,442 papers |
Propositional variable 2,985 papers | Zeroth-order logic 1,959 papers | ||
Current | |||
Well-formed formula 963 papers | |||
Child |
Trends